Struct CalibrationChecker 

pub struct CalibrationChecker {
    pub form: [[f64; 3]; 3],
}

Checks if a 2-plane (given by two tangent vectors) is calibrated by a 2-form φ.

A 2-plane spanned by (u, v) is calibrated if φ(u,v) = Area(u,v) = |u×v|.

Fields

form: [[f64; 3]; 3]

The calibration 2-form stored as skew-symmetric matrix: φ_ij with φ(e_i, e_j) = mat[i][j]

Implementations

impl CalibrationChecker

pub fn new(form: [[f64; 3]; 3]) -> Self

pub fn area_form_r3() -> Self

Special Lagrangian calibration form Re(dz_1 ∧ dz_2 ∧ dz_3) restricted to R^3. In the (e_1, e_2, e_3) basis: φ = dx ∧ dy ∧ dz (volume form in R^3 treated as 3D). Here we return a simpler 2D version: φ = dx ∧ dy.

pub fn evaluate(&self, u: &[f64; 3], v: &[f64; 3]) -> f64

Evaluate φ(u, v) = Σ_{ij} φ_{ij} u^i v^j.

pub fn area(&self, u: &[f64; 3], v: &[f64; 3]) -> f64

Area of the 2-plane spanned by u, v: |u × v|.

pub fn is_calibrated(&self, u: &[f64; 3], v: &[f64; 3]) -> bool

Check if the 2-plane spanned by u, v is calibrated: φ(u,v) ≥ Area(u,v) · comass.