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)) (5) -> gcd(pu1,pu2) (5) 1 Type: SparseUnivariatePolynomial(Polynomial(Integer)) (6) -> gcd(p1,p2) (6) y + 1 Type: Polynomial(Integer) -- 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.
