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.