universalSOP -- Universal System of Parameters (USOP)

• Usage:

  universalSOP D

  universalSOP F

• Inputs:
  • D, an abstract simplicial complex,
  • F, a list, a list of facets defining a simplicial complex
• Outputs:
  • a list, a list of elements from the Stanley-Reisner ring of D

i1 : S = ZZ/2[a..e];

i2 : F = {a*b*c,c*d,e}

o2 = {a*b*c, c*d, e}

o2 : List

i3 : D = simplicialComplex F

o3 = simplicialComplex | e cd abc |

o3 : SimplicialComplex

i4 : universalSOP D

o4 = {a + b + c + d + e, a*b + a*c + b*c + c*d, a*b*c}

o4 : List

i5 : universalSOP F

o5 = {a + b + c + d + e, a*b + a*c + b*c + c*d, a*b*c}

o5 : List