Функция eval в Maple

[ArtemKim]

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 аргументов ? Можно ли эту ошибку как-нибудь обойти ?

[GAA]

eval может иметь не более двух параметров (выражение и равенство/равенства), но эти параметры могут быть множествами (или списками). Так было и в старых версиях (например, 7-ой). В данном случае (по смыслу) нужно использовать множества — «взять в фигурные скобки».
Например

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};

заменить на

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};