Описание тега computer-algebra-systems
Система компьютерной алгебры (CAS) - это программа, которая позволяет вычислять математические выражения с помощью символьных вычислений.
1
ответ
Сколько бит мне нужно, чтобы хранить AB+C?
Мне было интересно об этом Если A, B - 16-битные числа, а C - 8-битные, сколько бит мне нужно для сохранения результата? 32 или 33? И что, если C был 16-битным числом? Что тогда? Я был бы признателен, если бы я получил ответы с объяснением как и поч…
14 янв '14 в 11:55
1
ответ
Системы компьютерной алгебры, которые поддерживают матрицы переменного размера
Я знаком с sympy, символьным пакетом Matlab, Reduce и пробовал несколько других систем компьютерной алгебры. Однако, насколько я могу судить, ни один из них, похоже, не способен выполнять алгебру на матрицах переменного размера - они могут работать …
20 ноя '15 в 23:06
2
ответа
Максима: индивидуальные takewhile
Я не смог найти никакой документации для takewhile в Maxima. Итак, я попытался написать свою собственную, в которой указаны как элементы, так и их позиция. Он начинает получать данные из любой точки списка, как только критерии удовлетворены. Я получ…
20 мар '14 в 07:42
1
ответ
Максима: Упростите выражения, содержащие минимум
Я пытаюсь использовать Максима для упрощения математических выражений с участием min(a, b). Скажи, что я определил z = min(x1, x2) и d = abs (x1 - x2), затем следуют тождества x1 * x2 = z*(z+d) и x1 + x2 = 2*z + d. Например, возьмите следующее выраж…
09 дек '14 в 09:24
2
ответа
Библиотека C# перегружает оператор ^. Как использовать ** вместо этого?
Библиотека Symbolism перегружает арифметические операторы. Хотя он написан на C#, я могу использовать его из F#: open Symbolism let x = new Symbol("x") let y = new Symbol("y") let z = new Symbol("z") printfn "%A" (2*x + 3 + 4*x + 5*y + z + 8*y) выхо…
11 мар '13 в 16:08
2
ответа
Рекурсивная работа с древовидной структурой: как получить состояние "всего" дерева?
Во-первых, контекст: В качестве побочного проекта я строю систему компьютерной алгебры в Python, которая дает шаги, необходимые для решения уравнения. До сих пор мне удавалось анализировать алгебраические выражения и уравнения в дереве выражений. Эт…
27 ноя '13 в 19:21
4
ответа
C# библиотека для упрощения и решения алгебры
В сети есть довольно много решателей и упрощателей алгебры (например, приличный на algebra.com). Тем не менее, я ищу что-то, что можно подключить к C# в рамках более крупного проекта (я делаю свой собственный калькулятор, но, очевидно, я бы попросил…
17 июл '11 в 03:27
2
ответа
Максима: конвертировать матрицу в список
Я конвертирую список в матрицу в Maxima следующим образом: DataL : [ [1,2], [2,4], [3,6], [4,8] ]; DataM: apply('matrix,DataL); Как это сделать по-другому? Как преобразовать данную матрицу DataM в список DataL?
31 дек '11 в 15:23
1
ответ
"Закрытые" символы для sum(), diff() или интегрировать ()
Давайте рассмотрим следующую функцию, о которой я уже упоминал в моем предыдущем вопросе: rot[i](f) := sum(sum(sum(sum( G[r,i]*G[q,j]*W[i,j,k]*('diff(f[k], y[q]) + sum(K[k,q,m]*f[m], m, 1, N)), r, 1, N), j, 1, N), k, 1, N), q, 1, N) $ Это вроде рабо…
27 июл '15 в 16:59
0
ответов
Как решить уравнения одновременного сравнения в r
3x ≡ 7(mod2) 2x ≡ 5(mod3) 5x ≡ 4(mod7) Я решил эту конгруэнции в R, как указано ниже > modlin(3,7,2) [1] 1 > modlin(2,5,3) [1] 1 > modlin(5,4,7) [1] 5 > a<-c(1,1,5) > m<-c(2,3,7) > chinese(a,m) [1] 19 > prod(2,3,7) [1] 42 …
19 фев '16 в 10:33
3
ответа
Построение системы компьютерной алгебры
Я создаю CAS (систему компьютерной алгебры) на PHP, но я застрял прямо сейчас. Я использую этот сайт. Теперь я написал токенизатор. Это преобразует уравнение как это: 1+2x-3*(4-5*(3x)) к этому: NUMBER PLUS_OPERATOR NUMBER VAR[X] MINUS_OPERATOR NUMBE…
23 мар '11 в 22:45
0
ответов
Симптиевая геометрическая алгебра: переключение между ковариантной и контравариантной формами
Этот вопрос касается того, чтобы модуль геометрической алгебры Симпи использовал и ковариантные, и контравариантные векторные формы, чтобы сделать вывод намного более компактным. Пока что я могу использовать один или другой, но не оба вместе. Может …
10 окт '15 в 18:40
2
ответа
Использование кода LISP в максимумах
Я хочу использовать (make-array '(4 3 8)) в максимумах, которые в основном для создания матрицы Multi-D, так как я не могу найти API для создания матриц Multi-D, в том числе с array(name,d1,d2...dm), Я могу выполнить это с помощью :lisp (make-array …
04 мар '14 в 13:08
1
ответ
Принудительная оценка выражения индекса перед передачей в sum()
Я хочу написать (каким-то образом) расширенную функцию суммирования, которая принимает сразу несколько индексов, но я не могу понять, как заставить ее работать. Вот что у меня сейчас есть: (%i1) nsum(indexes, expr) := if indexes = [] then expr else …
22 июл '15 в 14:36
1
ответ
Максимум CAS - как заменить переменную для выражения?
В максимумах, есть ли способ применить переменные замены для подвыражения? Например, заменить экземпляры x+y с z, subst работает для тривиального случая, но не для чего-то большего. (%i92) subst(x + y = foo, x + y); (%o93) foo (%i94) subst(x + y = f…
24 июн '15 в 14:59
1
ответ
Существует ли язык, в котором используется система компьютерной алгебры для дополнительных функций и оптимизации?
Например, представьте себе такую функцию: int solveSomeEquation(int y) { y = (int x) * 2; return x; } Используя символьную алгебру, компилятор определит, что x = y / 2. Более того, он будет жаловаться на то, что int недостаточно для сохранения рез…
13 апр '13 в 20:31
2
ответа
Могу ли я заменить, используя символическое уравнение в Sage?
Я использую следующую карту в Sage: f = lambda x: sgn(x)*sgn(x); который оценивается как f(x) = 0 для x=0 и f(x)=1 для x! = 0; В символических результатах sgn (x) ^ 2, sgn (x) ^ 4 и sgn(x)^8 и т. Д. Рассматриваются как неравные, даже если они равны …
23 мар '14 в 01:15
0
ответов
Коэффициенты из бумаги М. Нисснер. Эффективное отбраковывание с обратной заплатой для аппаратной тесселяции.
http://research.microsoft.com/en-us/um/people/cloop/vmvbpc.pdf В этой статье авторы демонстрируют новый метод отбраковки пятен с обратной стороны в области клипов. В разделе 5, использующем программное обеспечение символической алгебры для расширен…
08 ноя '15 в 17:35
1
ответ
Работа с кусочными уравнениями, возвращаемыми Simpy integrate
В Симпи у меня есть интеграл, который возвращает кусочный объект, например In [2]: from sympy.abc import x,y,z In [3]: test = exp(-x**2/z**2) In [4]: itest = integrate(test,(x,0,oo)) In [5]: itest Out[5]: ⎧ ___ ⎪ ╲╱ π ⋅z │ ⎛ 1 ⎞│ π ⎪ ─────── for │pe…
14 мар '13 в 21:47
1
ответ
Магма CAS. Нахождение всех d в [1..100], таких что x^3+y^3=d для x,y в рациональных числах
> One := procedure(); procedure> P2<x,y,z> := ProjectiveSpace(Rationals(),2); procedure> for i := 1 to 100 do procedure|for> C_i := Curve(P2, x^3+y^3-i*z^3); procedure|for> E_i, C_itoE_i := EllipticCurve(C_i); procedure|for> …
10 сен '14 в 07:13