- 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.