geoit 0.0.2

Exact geometric algebra with governed multivectors
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//! Exact scalar arithmetic tower.
//!
//! The scalar types form a tower of increasing generality:
//!
//! - [`Rat`] — rational numbers (i128/u128), the fast path
//! - `BigRat` — arbitrary-precision rationals (automatic on i128 overflow)
//! - [`RadicalElement`] — element of a radical extension tower ℚ(α₁,...,αₖ)
//!
//! [`Scalar`] wraps all three and promotes/demotes automatically.
//! Every `Scalar` implements `Eq` and `Ord`.

pub mod bigint;
pub mod bigrat;
pub mod coeff;
pub mod promote;
pub mod radical;
pub mod rat;
pub mod trig;

pub use bigint::{BigInt, BigUint};
pub use bigrat::BigRat;
pub use coeff::Coeff;
pub use promote::Scalar;
pub use radical::{RadicalElement, RadicalLayer, RadicalTower};
pub use rat::Rat;