Ralf Hemmecke wrote:
>
> On 06/04/2014 11:55 AM, Ralf Hemmecke wrote:
> > Waldek,
> >
> > What type do you expect p1u and p2u to have in your test?
> >
> > https://github.com/fricas/fricas/blob/master/src/input/pgcd.input#L16
> >
> > Ralf
> >
> >
> > (1) -> p1:=x*(y+1)
> >
> > (1) x y + x
> > Type:
> > Polynomial(Integer)
> > (2) -> p2:=y+1
> >
> > (2) y + 1
> > Type:
> > Polynomial(Integer)
> > (3) -> pu1 := univariate(p1,x)
> >
> > (3) (y + 1)?
> > Type:
> > SparseUnivariatePolynomial(Polynomial(Integer))
> > (4) -> p2u := univariate(p2, x)
> >
> > (4) y + 1
> > Type:
> > SparseUnivariatePolynomial(Polynomial(Integer))
I expect SparseUnivariatePolynomial(Polynomial(Integer)), that is
the type you see.
> > (5) -> gcd(pu1,pu2)
> >
> > (5) 1
> > Type:
> > SparseUnivariatePolynomial(Polynomial(Integer))
> > (6) -> gcd(p1,p2)
> >
> > (6) y + 1
> > Type:
> > Polynomial(Integer)
> >
>
> Actually, I don't understand why (5) returns 1, since we have
>
Compute:
(7) -> gcd(pu1,p2u)
(7) y + 1
Type: SparseUnivariatePolynomial(Polynomial(Integer))
--
Waldek Hebisch
[email protected]
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
