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 (ZZ[a,b,c,d])

o1 = false

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

o2 = true

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

o3 = true

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

o4 = false

See also

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