Struct EnumerativeGeometryLaws 

pub struct EnumerativeGeometryLaws;

Enumerative geometry laws verification

Implementations

impl EnumerativeGeometryLaws

pub fn verify_intersection_theory( projective_space: &VerifiedContractProjectiveSpace, curves: &[&VerifiedChowClass], ) -> bool

Verify fundamental intersection theory properties

Contracts

• ensures(intersection_ring_axioms_hold())
• ensures(bezout_theorem_verified())
• ensures(projection_formula_holds())

pub fn verify_schubert_calculus( grassmannian: &VerifiedContractGrassmannian, schubert_classes: &[&VerifiedSchubertClass], ) -> bool

Verify Schubert calculus fundamental properties

Contracts

• ensures(schubert_ring_structure_holds())
• ensures(pieri_rule_verified())
• ensures(classical_problems_solved_correctly())

pub fn verify_tropical_correspondence( tropical_curve: &VerifiedContractTropicalCurve, ) -> bool

Verify tropical geometry correspondence theorems

Contracts

• ensures(correspondence_theorem_holds())
• ensures(balancing_condition_verified())
• ensures(moduli_dimension_correct())

pub fn verify_gromov_witten_theory( gw_invariants: &[&VerifiedContractGromovWitten], ) -> bool

Verify Gromov-Witten theory dimensional consistency

Contracts

• ensures(virtual_dimension_formula_correct())
• ensures(genus_degree_bounds_respected())