Marduk BP wrote:
>
> It turns out that code was never released because it was buggy, so we
> can forget about it.
>
> But IMHO what I want to do does not require factoring a polynomial. I just
> want to extract the variables and their exponents from a monomial of
> noncommutative variables.
>
> There must be a (hopefully simple) way of implementing that for
> XPolynomials,
> given that it is already there for MPOLY.
You mean:
(2) -> oV := OVAR([a, b, c])
(2) OrderedVariableList([a,b,c])
Type: Type
(3) -> xP := XDPOLY(oV, INT)
(3) XDistributedPolynomial(OrderedVariableList([a,b,c]),Integer)
Type: Type
(4) -> p := a::oV::xP*b::oV::xP*a::oV::xP
(4) a b a
Type: XDistributedPolynomial(OrderedVariableList([a,b,c]),Integer)
(5) -> leadingSupport(p)
(5) a b a
Type: FreeMonoid(OrderedVariableList([a,b,c]))
(6) -> factors(%)
(6) [[gen = a, exp = 1], [gen = b, exp = 1], [gen = a, exp = 1]]
Type: List(Record(gen: OrderedVariableList([a,b,c]),exp: NonNegativeInteger))
--
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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
