next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: isUnit

isUnit -- whether a ring element is a unit

Synopsis

Description

i1 : R = QQ[z]/(z^2+1);
i2 : isUnit z

o2 = true
i3 : S = QQ[x,y]/(1-(x-1)*(y-1));
i4 : isUnit (x^2 - 2*x + 1)

o4 = true
i5 : isUnit x

o5 = false

Ways to use isUnit :