On Sunday, 6 April 2025 at 18:38:36 UTC+2 Waldek Hebisch wrote:
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.
Thanks, yes, who knows. It seems that it's also used in xdfact, xdpolyf,
whereas in xlpoly (e.g. LiePolynomial) are new ones, apparently in the same
spirit, though.
I can use factor from XPFACT in the meantime ... which seems to work for my
purpose.
(6) -> factor (3*x*y-3*x*z)$XPFACT(Symbol,EXPR INT)
(6) [- 3 x, - y + z]
Type:
List(XDistributedPolynomial(Symbol,Expression(Integer)))
--
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/3f886ad0-f3ad-42c7-8fb9-e0f65b920437n%40googlegroups.com.
