p1:= 3*x*y*x*z --> 3 x y x z
lquo(p1,3*x*y) --> 9 x z (expected: x z)
Obviously, the coefficients are not taken into account. Even worse, they
are multiplied.
The docs speaks about "simplification".
-- Cat XFreeAlgebra (xpoly.spad, L28)
-- lquo : (%, %) -> %
-- ++ \spad{lquo(x, y)} returns the left simplification of \spad{x} by
\spad{y}.
Now it is a question how "simplification" actually is defined. :-(
Kurt, now you have to do some detective work to find out where those
lquo and rquo are actually used. I hope nowhere in the library.
To fix it, one must take into account that the domain parameter R is
only of type Ring.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/945e183e-65a0-4ea8-80e3-a7f1dae6ab32%40hemmecke.org.
