Ilya Zakharevich on Fri, 2 Nov 2001 00:57:38 -0500


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

subst() broken


? subst(Mod(1+y,z),y,Mod(x,z))
%78 = 0
? subst(Mod(y,-b*a^2+t^3),y,Mod(x,-b*a^2+t^3))
%75 = 0
? subst(Mod(1+y,-b*a^2+t^3),y,Mod(x,-b*a^2+t^3))
%76 = Mod(Mod(1, -b*a^2 + t^3), -b*a^2 + t^3)

The first two are "just wrong".  The last one is such, and also very
unusable...

Ilya