karpal-schubert-types 0.5.0

Schubert intersection type system for the Industrial Algebra ecosystem
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Schubert intersection type system for the Industrial Algebra ecosystem.
//!
//! `karpal-schubert-types` (Phase 14) wraps `amari-enumerative`'s Schubert
//! calculus as type-level markers for use in Karpal's proof and verification
//! infrastructure.

pub mod intersection;
pub mod schubert_proven;
pub mod schubert_type;
pub mod schubert_typed;
pub mod verification;

pub use intersection::{Intersection, IntersectionKind, check_intersection};
pub use schubert_proven::{SchubertProven, compose_checks};
pub use schubert_type::SchubertType;
pub use schubert_typed::SchubertTyped;
pub use verification::{schubert_bundle, verify_schubert};