coefficientRing(MultiprojectiveVariety) -- the coefficient ring of the variety

Synopsis

• Function: coefficientRing

• Usage:

  coefficientRing X

• Inputs:
  • X, a projective variety
• Outputs:
  • a ring, the coefficient ring of $X$

Description

i1 : X = projectiveVariety ideal random({2,1},ZZ/101[x_0,x_1,x_2,y_0,y_1,Degrees=>{3:{1,0},2:{0,1}}]);

o1 : ProjectiveVariety, surface in PP^2 x PP^1

i2 : coefficientRing X

      ZZ
o2 = ---
     101

o2 : QuotientRing

See also

• ring(MultiprojectiveVariety) -- the coordinate ring of the variety