On Sun, Apr 06, 2025 at 07:11:03AM -0700, Kurt Pagani wrote:
> Either my understanding of lquo/rquo (Category XFreeAlgebra) is wrong or
> there is a bug in the implementation of these functions in
> XDistributedPolynomial (XDPOLY).
>
> p1:= 3*x*y*x*z --> 3 x y x z
> lquo(p1,3*x*y) --> 9 x z (expected: x z)
>
> I think that by "left simplification" is meant mult by a left
> inverse/recip, similiar as in group theory, although there is no leftRecip
> of 3*x*y in XDPOLY, of course. Am I off the track?
Current definition of 'lquo' looks odd, I have noticed this some
time ago. OTOH there are some odd looking operations on XFreeAlgebra-s
which actually make a lot of sense. So, it requires some investigative
work to decide if this is a bug or an unfortunate name of operation
needed elsewhere.
--
Waldek Hebisch
--
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/Z_KuCHe6RNgWtQCI%40fricas.org.
