Skip to main contentModule traits
Source Expand description
Adic traits
§Adic number traits
§Digital number traits
§Regular number + prime -> adic
- AdicInteger
- An adic number with only integer digits
- AdicPrimitive
- An adic number primitive, associated to a prime
p and with semiring arithmetic - CanApproximate
- Can be approximated into
Approximate - CanTruncate
- Can be truncated into
Truncation - HasApproximateDigits
- A structure that has digits with a concept of certain and uncertain digits
- HasDigits
- A structure with digits that can be accessed
- PrimedFrom
- Can be created from
N with the given Prime - PrimedInto
- Can be converted into
A with the given Prime - TryPrimedFrom
- Can attempt to create from
N with the given Prime - TryPrimedInto
- Can attempt to convert into
A with the given Prime