Я пытаюсь найти свободную альтернативу mathematica, в её качестве рассматриваю axiom (fricas, если точнее). Первый тест на профпригодность:
Код:
(97) -> y:=operator 'y;
(104) -> ode:= D(y x, x) = 0;
(105) -> solve(ode, y, x)
[particular=0,basis=[1]]
Type: Union(Record(particular: Expression(Integer),basis: List(Expression(Integer))),...)
Простейший линейный дифур решает. Несложный тест на сообразительность:
Код:
(108) -> ode:= D(y x, x)^3 = 0
y^,(x)^3=0
Type: Equation(Expression(Integer))
(110) -> solve(ode, y, x)
>> Error detected within library code:
getlincoeff: not an appropriate ordinary differential equation
... провален.
Действительно ли символьное ядро этого пакета настолько слабо, или я делаю что-то не так?
