pub fn classify_surcomplex(
metric: &Metric<Surcomplex<Surreal>>,
) -> Option<CliffordInvariants>Expand description
Classify a surcomplex-scalar Clifford algebra on the exact-square subdomain.
Returns None when a diagonal entry has no represented square root.