- cmp_prime :: Integral a => ([a] -> [a] -> Ordering) -> [a] -> [a]
- forte_prime :: Integral a => [a] -> [a]
- rahn_prime :: Integral a => [a] -> [a]
- encode_prime :: (Integral a, Bits a) => [a] -> [a]
Documentation
cmp_prime :: Integral a => ([a] -> [a] -> Ordering) -> [a] -> [a]Source
Prime form rule requiring comparator.
forte_prime :: Integral a => [a] -> [a]Source
Forte prime form.
rahn_prime :: Integral a => [a] -> [a]Source
Rahn prime form (comparison is rightmost inwards).
encode_prime :: (Integral a, Bits a) => [a] -> [a]Source
Binary encoding prime form algorithm, equalivalent to Rahn.