Я попробовал функцию "at" с какой-то функцией внутри нее, а затем передал вывод некоторой переменной. Максима успешно продифференцировал выражение, но затем «at» не сработает, и на выходе получится «at (- некоторые успешно выполненные функции--, z = l) = 0». Мне нужно, чтобы "at" работал правильно, чтобы дать результат переменной.
(%i34) a: 45*z^2*l-1; /*expression*/
eq1: at(diff(a, z, 1), z = l)=0; /*giving the meaning of the operations to eq1*/
at(diff(a, z, 1), z = l)=0; /*trying the same without giving the result to a variable*/
ev(eq1, eval); /*trying ev*/
(a) l*z^2* 45-1
(eq1) at(2*l*z* 45,z=l)=0
(%o34) 2*l^2* 45=0
(%o35) at(2*l*z* 45,z=l)=0
Так что, когда я не даю результат at другим переменным, это нормально, но когда я пытаюсь - это терпит неудачу даже при дополнительной оценке. Как это работает? А также это было опробовано в Linux. В Windows у меня нет той же проблемы.