Crate amari_enumerative 

Amari Enumerative Geometry

This crate provides enumerative geometry capabilities for the Amari mathematical library. It implements intersection theory, Schubert calculus, and tools for counting geometric configurations such as curves, surfaces, and higher-dimensional varieties.

Features

• Intersection Theory: Chow rings, intersection multiplicities, and Bézout’s theorem
• Schubert Calculus: Computations on Grassmannians and flag varieties
• Gromov-Witten Theory: Curve counting and quantum cohomology
• Tropical Geometry: Tropical curve counting and correspondence theorems
• Moduli Spaces: Computations on moduli spaces of curves and surfaces

Usage

use amari_enumerative::{ProjectiveSpace, ChowClass, IntersectionRing};

// Create projective 2-space
let p2 = ProjectiveSpace::new(2);

// Define two curves
let cubic = ChowClass::hypersurface(3);
let quartic = ChowClass::hypersurface(4);

// Compute intersection number (Bézout's theorem)
let intersection = p2.intersect(&cubic, &quartic);
assert_eq!(intersection.multiplicity(), 12); // 3 * 4 = 12

Re-exports

pub use geometric_algebra::quantum_k_theory;

pub use geometric_algebra::signatures;

pub use geometric_algebra::GeometricProjectiveSpace;

pub use geometric_algebra::GeometricSchubertClass;

pub use geometric_algebra::GeometricVariety;

pub use gromov_witten::CurveClass as GWCurveClass;

pub use gromov_witten::GromovWittenInvariant;

pub use gromov_witten::QuantumCohomology;

pub use higher_genus::AdvancedCurveCounting;

pub use higher_genus::DTInvariant;

pub use higher_genus::HigherGenusCurve;

pub use higher_genus::JacobianData;

pub use higher_genus::PTInvariant;

pub use intersection::AlgebraicVariety;

pub use intersection::ChowClass;

pub use intersection::Constraint;

pub use intersection::Grassmannian;

pub use intersection::IntersectionNumber;

pub use intersection::IntersectionPoint;

pub use intersection::IntersectionRing;

pub use intersection::MockMultivector;

pub use intersection::ProjectiveSpace;

pub use intersection::QuantumProduct;

pub use moduli_space::CurveClass;

pub use moduli_space::ModuliSpace;

pub use moduli_space::TautologicalClass;

pub use performance::CurveBatchProcessor;

pub use performance::FastIntersectionComputer;

pub use performance::MemoryPool;

pub use performance::SparseSchubertMatrix;

pub use performance::WasmPerformanceConfig;

pub use schubert::FlagVariety;

pub use schubert::SchubertCalculus;

pub use schubert::SchubertClass;

pub use tropical_curves::TropicalCurve;

pub use tropical_curves::TropicalEdge;

pub use tropical_curves::TropicalIntersection;

pub use tropical_curves::TropicalModuliSpace;

pub use tropical_curves::TropicalPoint;

Modules

geometric_algebra

Integration between geometric algebra and enumerative geometry

gromov_witten

Gromov-Witten invariants and quantum cohomology

higher_genus

Higher genus computations and advanced enumerative geometry

intersection

Intersection theory and Chow rings

moduli_space

Moduli spaces of curves and algebraic varieties

performance

Performance optimization module for WASM-first enumerative geometry

schubert

Schubert calculus on Grassmannians and flag varieties

tropical_curves

Tropical curve counting and enumerative geometry

verified_contracts

Formal verification contracts for enumerative geometry

Enums

EnumerativeError

Error types for enumerative geometry computations

Type Aliases

EnumerativeResult

Result type for enumerative geometry computations