Yes! Thanks a lot Waldek.

leadingSupport is not mentioned in the FriCAS book. Could you explain what
does it do/why does it work?

Marduk

On Mon, May 28, 2018 at 2:08 PM, Waldek Hebisch <hebi...@math.uni.wroc.pl>
wrote:

> 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 a topic in the
> Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this topic, visit https://groups.google.com/d/
> topic/fricas-devel/6pz2ARTNlGw/unsubscribe.
> To unsubscribe from this group and all its topics, 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.
>

-- 
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.

Reply via email to