Surprisingly a non-homogeneous polynomial of the same degree works OK
(69) -> factor((h3+1)*(h3+1))
(69)
[1 - z y x + z x y + y z x - y x z - x z y + x y z,
1 - z y x + z x y + y z x - y x z - x z y + x y z]
Type:
List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
Time: 0.00 (IN) + 15.93 (EV) + 0.03 (OT) = 15.96 sec
but as Waldek noted 'factor(h3*h3)' does not complete in reasonable time.
On Wed, Nov 7, 2018 at 8:55 AM Bill Page <bill.p...@newsynthesis.org> wrote:
>
> On Wed, Nov 7, 2018 at 8:37 AM Ray <raymond.roger...@gmail.com> wrote:
> > ...
> > So homo_fact((x^2-y^2)^2)
> > would succeed?
> >
>
> Yes.
>
> (66) -> homo_fact((x^2-y^2)^2)
>
> 2 2 2 2
> (66) [- y + x , - y + x ]
> Type:
> List(XDistributedPolynomial(OrderedVariableList([x,y,z,w,x1,x2,x3,x4,x5]),Integer))
> Time: 0 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 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.
