Hello Bruno,
Thanks for your answer.
>> PS: On a related note, the following looks very wrong to me
>> {{{
>> sage: x = polygen(ZZ)
>> sage: (x+2).gcd(x+4)
>> 1
>> }}}
>
> Why does it look wrong to you? In ZZ[x], (x+2) and (x+4) are two
> irreducible monic polynomials, so their GCD is 1. Or I am missing
> something...
I forgot
{{{
sage: (x+2).xgcd(x+4)
(2, -1, 1)
}}}
The thing is that they have no common factor but (x+2, x+4) is not
ZZ[x]. Subtlety between PID and UFD, isn't it? What should we do in
that case?
Vincent
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
