Maple 2015 ругается на программу, скопированную из
On a Simple Proof of Butcher's Theorem and the Automatic Generation of Order Conditions: функция eval должна принимать 1 или 2 аргумента...
Код:
OrderConditions:=proc(order::posint,stages::posint)
option remember;
local eqs,vars,auto,explicit;
explicit:=seq(seq(a[i,j]=0,j=i..stages),i=1..stages);
vars:=eval(seq(b[i],i=1..stages),seq(seq(a[i,j],j=1..stages),i=1..stages),seq(c[i],i=1..stages),explicit) minus {0};
auto:=eval(seq(sum(a[i,j],j=1..stages)=c[i],i=1..stages),explicit);
eqs:=value(Eval(map(TreeOrderCondition,`union`(op(Trees(order)))),s=stages));
eqs:=eval(eval(eqs,explicit),auto);
eqs,auto,vars;
end: # OrderConditions
OrderConditions(4,4):%[1];
Error, (in OrderConditions) invalid input: eval expects 1 or 2 arguments, but received 4
В старых версиях Maple у этой функции могло быть больше 2 аргументов ? Можно ли эту ошибку как-нибудь обойти ?