Documentation

Alias for primes.

take 12 primes_list == [2,3,5,7,11,13,17,19,23,29,31,37]

Give zero-index of prime, or Nothing if value is not prime.

map prime_k [2,3,5,7,11,13,17,19,23,29,31,37] == map Just [0 .. 11]
map prime_k [1,4,6,8,9,10,12,14,15,16,18,20,21,22] == replicate 14 Nothing

maybe error of prime_k

prime_k_err 13 == 5

Generate list of factors of n from x.

factor primes_list 315 == [3,3,5,7]
Primes.primeFactors 315 == [3,3,5,7]

As a special case 1 gives the empty list.

factor primes_list 1 == []
Primes.primeFactors 1 == []

factor of primes_list.

map prime_factors [-1,0,1] == [[],[],[]]
map prime_factors [1,4,231,315] == [[],[2,2],[3,7,11],[3,3,5,7]]
map Primes.primeFactors [1,4,231,315] == [[],[2,2],[3,7,11],[3,3,5,7]]

maximum of prime_factors

map prime_limit [243,125] == [3,5]
map prime_limit [0,1] == [1,1]

Collect number of occurences of each element of a sorted list.

multiplicities [1,1,1,2,2,3] == [(1,3),(2,2),(3,1)]

Pretty printer for histogram (multiplicites).

multiplicities_pp [(3,2),(5,1),(7,1)] == "3×2 5×1 7×1"

multiplicities of primeFactors.

prime_factors_m 1 == []
prime_factors_m 315 == [(3,2),(5,1),(7,1)]

multiplicities_pp of prime_factors_m.

Prime factors of n and d.

Ratio variant of rat_prime_factors

Variant that writes factors of numerator as positive and factors for denominator as negative. Sorted by absolute value.

rat_prime_factors_sgn (3 * 5 * 7 * 11,1) == [3,5,7,11]
rat_prime_factors_sgn (3 * 5,7 * 11) == [3,5,-7,-11]
rat_prime_factors_sgn (3 * 7,5) == [3,-5,7]

Rational variant.

rational_prime_factors_sgn (2 * 2 * 2 * 1/3 * 1/3 * 1/3 * 1/3 * 5) == [2,2,2,-3,-3,-3,-3,5]

The largest prime factor of n/d.

The largest prime factor of n.

rational_prime_limit (243/125) == 5

Merge function for rat_prime_factors_m

Collect the prime factors in a rational number given as a numerator/ denominator pair (n,m). Prime factors are listed in ascending order with their positive or negative multiplicities, depending on whether the prime factor occurs in the numerator or the denominator (after cancelling out common factors).

rat_prime_factors_m (1,1) == []
rat_prime_factors_m (16,15) == [(2,4),(3,-1),(5,-1)]
rat_prime_factors_m (10,9) == [(2,1),(3,-2),(5,1)]
rat_prime_factors_m (81,64) == [(2,-6),(3,4)]
rat_prime_factors_m (27,16) == [(2,-4),(3,3)]
rat_prime_factors_m (12,7) == [(2,2),(3,1),(7,-1)]
rat_prime_factors_m (5,31) == [(5,1),(31,-1)]

Ratio variant of rat_prime_factors_m

Variant of rat_prime_factors_m giving results in a list.

rat_prime_factors_l (1,1) == []
rat_prime_factors_l (2^5,9) == [5,-2]
rat_prime_factors_l (2*2*3,7) == [2,1,0,-1]
rat_prime_factors_l (3*3,11*13) == [0,2,0,0,-1,-1]

Ratio variant of rat_prime_factors_l

map rational_prime_factors_l [1/31,256/243] == [[0,0,0,0,0,0,0,0,0,0,-1],[8,-5]]

Variant of rational_prime_factors_l padding table to k places. It is an error for k to indicate a prime less than the limit of x.

map (rat_prime_factors_t 6) [(5,13),(12,7)] == [[0,0,1,0,0,-1],[2,1,0,-1,0,0]]
rat_prime_factors_t 3 (9,7) == undefined

Ratio variant of rat_prime_factors_t

Condense factors list to include only indicated places. It is an error if a deleted factor has a non-zero entry in the table.

rat_prime_factors_l (12,7) == [2,1,0,-1]
rat_prime_factors_c [2,3,5,7] (12,7) == [2,1,0,-1]
rat_prime_factors_c [2,3,7] (12,7) == [2,1,-1]

Ratio variant of rat_prime_factors_t

map (rational_prime_factors_c [3,5,31]) [3,5,31]

Pretty printer for prime factors. sup=superscript ol=overline

Pretty printer for prime factors. sup=superscript ol=overline

prime_factors_pp_sup_ol True [2,2,-3,5] == "2²·3̅·5"
prime_factors_pp_sup_ol False [-2,-2,-2,3,3,5,5,5,5] == "-2³·3²·5⁴"