> > On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch
> > <[email protected]> wrote:
> > ...
> > >
> > > I have now implemented the lift part of Davenport-Caruso method.
> > > You fetch code at:
> > >
> > > http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input
> > > http://www.math.uni.wroc.pl/~hebisch/fricas/nc_ini04c.input
> > >
> > > As before, dcfact2.input is an actual routine, nc_ini04c.input
> > > set up needed types.
> ...
Here is a more minimal example of the problem:
(86) -> h3 := x*y*z - x*z*y + z*x*y
(86) z x y - x z y + x y z
Type:
XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Fraction(Integer))
Time: 0.00 (EV) + 0.00 (OT) = 0.00 sec
(87) -> dc_fact(h3*(1+y))
2 2
(87) [z x y - x z y + x y z + z x y - x z y + x y z y]
Type:
List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Fraction(Integer)))
Time: 0.00 (EV) + 0.00 (OT) = 0.00 sec
The xdpolyf1 code gives the following result:
(96) -> factor(h3*(1+y))
(96) [z x y - x z y + x y z, 1 + y]
Type:
List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
Time: 0.14 (EV) + 0.00 (OT) = 0.14 sec
--
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.
