Affine monoids give rise to toric varieties #
@[implicit_reducible]
noncomputable instance
AffineToricVarietyFromMonoid.instToricVariety
{𝕜 M : Type u}
[Field 𝕜]
[AddCancelCommMonoid M]
[AddMonoid.FG M]
[IsAddTorsionFree M]
:
Equations
- One or more equations did not get rendered due to their size.