Documentation
Toric
Search
return to top
source
Imports
Init
Toric.MvLaurentPolynomial
Toric.SphericalVariety
Toric.ToricIdeal
Toric.Examples.CharCocharPairing
Toric.Examples.SO2
Toric.GroupScheme.Character
Toric.GroupScheme.Diagonalizable
Toric.GroupScheme.HopfAffine
Toric.GroupScheme.MonoidAlgebra
Toric.GroupScheme.Torus
Toric.Hopf.Diagonalisable
Toric.Hopf.GrpAlg
Toric.MonoidAlgebra.TensorProduct
Toric.ToricVariety.Defs
Toric.ToricVariety.FromMonoid
Toric.Mathlib.AlgebraicGeometry.Pullbacks
Toric.Mathlib.RingTheory.AdjoinRoot
Toric.Mathlib.Algebra.AffineMonoid.Embedding
Toric.Mathlib.Algebra.AffineMonoid.Irreducible
Toric.Mathlib.Algebra.AffineMonoid.UniqueSums
Toric.Mathlib.Algebra.Category.CommBialgCat
Toric.Mathlib.Algebra.Category.CommHopfAlgCat
Toric.Mathlib.Algebra.MonoidAlgebra.Basic
Toric.Mathlib.Algebra.MonoidAlgebra.Module
Toric.Mathlib.Algebra.Polynomial.Bivariate
Toric.Mathlib.CategoryTheory.Monoidal.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Mon_
Toric.Mathlib.RingTheory.Bialgebra.Convolution
Toric.Mathlib.RingTheory.Bialgebra.GroupLike
Toric.Mathlib.RingTheory.Bialgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Bialgebra.TensorProduct
Toric.Mathlib.RingTheory.Coalgebra.CoassocSimps
Toric.Mathlib.RingTheory.Coalgebra.Convolution
Toric.Mathlib.RingTheory.Coalgebra.GroupLike
Toric.Mathlib.RingTheory.Coalgebra.Hom
Toric.Mathlib.RingTheory.Coalgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.Coalgebra.SimpAttr
Toric.Mathlib.RingTheory.HopfAlgebra.Convolution
Toric.Mathlib.RingTheory.HopfAlgebra.GroupLike
Toric.Mathlib.RingTheory.HopfAlgebra.MonoidAlgebra
Toric.Mathlib.RingTheory.HopfAlgebra.TensorProduct
Toric.Mathlib.RingTheory.TensorProduct.Basic
Toric.Mathlib.Algebra.Group.TypeTags.Hom
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.CommGrp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Grp_
Toric.Mathlib.CategoryTheory.Monoidal.Cartesian.Mon_
Toric.Mathlib.Geometry.Convex.Cone.Dual
Toric.Mathlib.Geometry.Convex.Cone.Pointed
Toric.Mathlib.Geometry.Convex.Cone.Polyhedral
Imported by