Bill Page wrote:
>
> On Tue, Nov 6, 2018 at 5:32 PM Bill Page <[email protected]> wrote:
> >
> > On Tue, Nov 6, 2018 at 8:35 AM Waldek Hebisch <[email protected]>
> > wrote:
> >
> > > Since nobody seems to be interested in coding Davenport method
> > > I did that.
> > ...
> > (111) -> homo_fact((x^2-1)^2)
> >
> > 2 4
> > (111) [1 - 2 x + x ]
> > Type:
> > List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
> > Time: 0.00 (IN) + 0.00 (OT) = 0.00
> > sec
>
> Yes I see that this is not a homogeneous polynomial so Davenport's
> algorithm does not handle it correctly.
Yes, that is only for homogeneous polynomials. In genral case
one needs to implement lift, somewhat like in Caruso preprint
(but Algorithm 2 has problems, one needs to correct it).
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
