Module field 

Types that form a field (commutative division ring with Euclidean structure).

Examples

use fp_library::classes::{
	DivisionRing,
	EuclideanRing,
	Semiring,
};

let a = 6.0f64;
let b = 2.0f64;
assert_eq!(f64::divide(a, b), 3.0);
assert_eq!(f64::reciprocate(b), 0.5);

Traits

Field

A marker trait for types that form a field.