Function check_intersection 

pub fn check_intersection(a: &SchubertType, b: &SchubertType) -> Intersection

Compute the intersection of two Schubert types.

Uses amari-enumerative’s Schubert calculus engine to compute the intersection product and classify the result.