Affine monoids give rise to toric varieties

noncomputable instance AffineToricVarietyFromMonoid.instToricVariety {𝕜 M : Type u} [Field 𝕜] [AddCancelCommMonoid M] [AddMonoid.FG M] [IsAddTorsionFree M] : AlgebraicGeometry.ToricVariety 𝕜 ((AlgebraicGeometry.Spec { carrier := 𝕜, commRing := Field.toEuclideanDomain.toCommRing }).Diag M)

Equations

• One or more equations did not get rendered due to their size.