next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
MonomialAlgebras :: isSeminormalMA

isSeminormalMA -- Test whether a simplicial monomial algebra is seminormal.

Synopsis

Description

Test whether the simplicial monomial algebra K[B] is seminormal.

Note that this condition does not depend on K.

For the definition of seminormal see:

Richard G. Swan: On Seminormality, J. Algebra 67, no. 1 (1980), 210-229.

i1 : B={{1,0,0},{0,2,0},{0,0,2},{1,0,1},{0,1,1}}

o1 = {{1, 0, 0}, {0, 2, 0}, {0, 0, 2}, {1, 0, 1}, {0, 1, 1}}

o1 : List
i2 : R=QQ[x_0..x_4,Degrees=>B]

o2 = R

o2 : PolynomialRing
i3 : isSeminormalMA R

o3 = true
i4 : isNormalMA R

o4 = false

Ways to use isSeminormalMA :

  • isSeminormalMA(List)
  • isSeminormalMA(PolynomialRing)