- Scheme implementation overview
- Affine \(n\) space over a ring
- Points on affine varieties
- Morphisms on affine varieties
- Enumeration of rational points on affine schemes
- Set of homomorphisms between two affine schemes
- Schemes
- The Spec functor
- Scheme obtained by gluing two other schemes
- Points on schemes
- Ambient Spaces
- Algebraic schemes
- Hypersurfaces in affine and projective space
- Set of homomorphisms between two schemes
- Scheme morphism
- Divisors on schemes
- Projective \(n\) space over a ring
- Points on projective varieties
- Morphisms on projective varieties
- Enumeration of rational points on projective schemes
- Set of homomorphisms between two proejctive schemes
- Toric varieties
- Fano toric varieties
- Library of toric varieties
- Toric divisors and divisor classes
- The Chow group of a toric variety
- Toric ideals
- Morphisms of Toric Varieties
- Weierstrass form of a toric elliptic curve.
- Map to the Weierstrass form of a toric elliptic curve.
- Weierstrass for Elliptic Curves in Higher Codimension
- Set of homomorphisms between two toric varieties.
- Enumerate Points of a Toric Variety