isAffineRing -- whether something is an affine ring

Synopsis

• Usage:

  isAffineRing R

• Inputs:

  • R, a ring
• Outputs:

  • a Boolean value, true if R is an affine ring and false otherwise

Description

i1 : isAffineRing CC

o1 = true

i2 : isAffineRing (ZZ[a,b,c,d])

o2 = false

i3 : isAffineRing (ZZ/101[a,b,c,d])

o3 = true

i4 : isAffineRing (ZZ/2[x,y,z]/(x^2-y*z))

o4 = true

i5 : isAffineRing (QQ[x,dx, WeylAlgebra => {x => dx}])

o5 = true

See also

• coefficientRing -- get the coefficient ring
• isField -- whether something is a field
• ambient -- ambient free module of a subquotient, or ambient ring