1 | initial version |
It seems that the root of the problem is :
sage: R.<a> = LaurentPolynomialRing(ZZ)
sage: S.<b,c> = LaurentPolynomialRing(ZZ)
sage: a.is_unit()
True
sage: b.is_unit()
Traceback (most recent call last):
...
NotImplementedError: