Macaulay2 » Documentation
Packages » Macaulay2Doc » commutative algebra » isAffineRing

next | previous | forward | backward | up | index | toc

isAffineRing -- whether something is an affine ring

Usage:

isAffineRing R
Inputs:
- R, a ring
Outputs:
- a Boolean value, true if R is an affine ring and false otherwise

Description

For our purposes, an affine ring is a quotient of a (not necessarily commutative) polynomial ring over a field.

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

Ways to use isAffineRing:

isAffineRing(PolynomialRing)
isAffineRing(QuotientRing)
isAffineRing(Ring)

For the programmer

The object isAffineRing is a method function.

The source of this document is in Macaulay2Doc/functions/isAffineRing-doc.m2:26:0.