Data structures and algorithms for linear algebra.
Traits and data structures for different varieties of fields.
A vector over a PseudoField.
PseudoField
A type with a one element.
A type with a zero element.