Modules§
- fixed
- Number types whose value is fixed at compile time.
Macros§
- F
- Helper macro for tests.
- R8
- Shorthand for creating a rational number in tests.
- R16
- Shorthand for creating a rational number in tests.
- R32
- Shorthand for creating a rational number in tests.
- R64
- Shorthand for creating a rational number in tests.
- R128
- Shorthand for creating a rational number in tests.
- RB
- Shorthand for creating a rational number in tests.
Structs§
- NonZero
Factorization - Factorization of a nonzero integer or rational number.
- NonZero
Ubig - Non zero unsigned big integer.
- Ubig
- Unsigned big integer.
Enums§
- NonZero
Sign - Sign of a nonzero value.
- Sign
- Sign with a zero variant.
Traits§
- Abs
- Absolute value of a number.
- Absorb
- What a wide accumulator does with a narrow value.
- Absorb
All - A wide accumulator, together with the narrow values it reads.
- Encoding
Size - The size of a number’s representation, in bits.
- Factorization
Residual - The part of a value that a factorization did not decompose.
- Field
- Basic field operations with Self and with references to Self.
- Field
Ref - A reference to a variable that is in a
Field. - From
Primitive - A generic trait for converting a number to a value.
- Gcd
- The greatest common divisor of two numbers, in the integer sense.
- Narrow
- Storing a value in a narrower type, exactly or not at all.
- Negateable
- A number that can be negated, that is, who’s sign can be flipped.
- NonZero
- Nonzero values
- NonZero
Factorizable - Creating a factorization of an integer or rational number.
- NonZero
Signed - A signed number that can have a nonzero value.
- Ordered
Field - The simplex algorithm is defined over the ordered fields.
- Ordered
Field Ref - A reference to an ordered field.
- Prime
- Determining whether a number is a prime.
- Signed
- Signed numbers
Type Aliases§
- Big
- An arbitrary precision rational, with
Swords of its numerator and denominator held inline. - NonZero
Big - An arbitrary precision rational that is known not to be zero.
- NonZero
Rational8 - Non zero rational number.
- NonZero
Rational16 - Non zero rational number.
- NonZero
Rational32 - Non zero rational number.
- NonZero
Rational64 - Non zero rational number.
- NonZero
Rational128 - Non zero rational number.
- NonZero
Rational Big - A non zero arbitrary precision type.
- NonZero
Rational Usize - Non zero rational number.
- Rational8
- A signed ratio between two small integers.
- Rational16
- A signed ratio between two small integers.
- Rational32
- A signed ratio between two small integers.
- Rational64
- A signed ratio between two small integers.
- Rational128
- A signed ratio between two small integers.
- Rational
Big - An arbitrary precision type.
- Rational
Usize - A signed ratio between two small integers.