import { BivectorN, MatN, Rotor4 } from '@holotope/core'; /** * Applies a vector rotation to a 4D bivector: Ω' = R Ω Rᵀ. * * This dense reference path is intentionally simple and auditable. A later * optimized backend can replace it with the so(3)⊕so(3) split without * changing the observable coefficient convention. */ export declare function rotateBivector4(bivector: BivectorN, rotation: Rotor4 | MatN): BivectorN; /** Changes a world-frame bivector into the body frame of `bodyToWorld`. */ export declare function inverseRotateBivector4(bivectorWorld: BivectorN, bodyToWorld: Rotor4): BivectorN; //# sourceMappingURL=bivector4.d.ts.map