Logged In: YES
user_id=581700
On both SBCL and CLISP I get the expected result
(C4) rat(a^2);
(D4)/R/ a
I'd guess this is the same GCL specific misfeature as #706562
(mod(-2,4) => -2 not 2).
algebraic:true$ modulus:2$
tellrat(a^2+a)$
rat(a^2) => - a
With modulus=2, -1 is supposed to simplify to 1.
This can be fixed (bizarrely) by ev:
ev(%) => a
Logged In: YES
user_id=581700
On both SBCL and CLISP I get the expected result
(C4) rat(a^2);
(D4)/R/ a
I'd guess this is the same GCL specific misfeature as #706562
(mod(-2,4) => -2 not 2).
Logged In: YES
user_id=501686
Observed w/ 5.9.3cvs / gcl 2.6.7, but not 5.9.3cvs / sbcl
0.9.9 or clisp 2.38.