Expand description
Intersection theory and Chow rings
This module implements the fundamental concepts of intersection theory:
- Chow rings and Chow classes
- Intersection multiplicities and products
- Projective spaces and Grassmannians
- Bézout’s theorem and degree calculations
Structs§
- Algebraic
Variety - Algebraic variety with intersection capabilities
- Chow
Class - Represents a Chow class in the intersection ring
- Grassmannian
- Grassmannian Gr(k, n) of k-planes in n-space
- Intersection
Number - Represents an intersection number
- Intersection
Point - Point of intersection
- Mock
Multivector - Mock multivector type for compilation (will be replaced with real amari-core types)
- Projective
Space - Projective space P^n
- Quantum
Product - Quantum product result
Enums§
- Constraint
- Constraint for counting problems
Traits§
- Intersection
Ring - Trait for intersection rings