mathematical/src/lib.rs