# User:Contribution/Factor Limit

#### Purpose

A common way to determinate a subset of Just Intonation intervals is to demarcate an harmonic limit.

Another possible way would be to delimit a maximal amount of primes allowed in the factorization of the rational numbers.

# Maximal factor limit

## Definition

A positive rational number q belongs to the fmax-max-factor-limit, called the **maximal factor limit**, for a given positive integer fmax if and only if the sum of the exponent absolutes of its factorization into primes is less than or equal to fmax.

In other words, a positive rational number q belongs to the fmax-max-factor-limit if and only if the sum of the exponent absolutes of its factorization into primes is right-bounded to fmax.

### Examples

- 0-max-factor-limit contains only 1

- 1-max-factor-limit contains also the prime harmonic series (2, 3, 5, 7, 11, 13, 17, etc...) and the prime subharmonic series (2
^{-1}, 3^{-1}, 5^{-1}, 7^{-1}, 11^{-1}, 13^{-1}, 17^{-1}, etc...), called prime intervals.

- 2-max-factor-limit contains also 2
^{2}, 2^{-2}, 2*3, 2^{-1}*3^{-1}, 2^{-1}*3, 2*3^{-1}, 3^{2}, 3^{-2}, etc...

- 3-max-factor-limit contains also 2
^{3}, 2^{-3}, 2^{2}*3, 2^{-2}*3^{-1}, 2^{-2}*3, 2^{2}*3^{-1}, 2*3^{2}, 2^{-1}*3^{-2}, 2^{-1}*3^{2}, 2*3^{-2}, 3^{3}, 3^{-3}, etc...

# Minimal factor limit

## Definition

A positive rational number q belongs to the fmin-min-factor-limit, called the **minimal factor limit**, for a given positive integer fmin if and only if the sum of the exponent absolutes of its factorization into primes is more than or equal to fmin.

In other words, a positive rational number q belongs to the fmin-min-factor-limit if and only if the sum of the exponent absolutes of its factorization into primes is left-bounded to fmin.

### Examples

- 0-min-factor-limit contains ℚ+\{0}

- 1-min-factor-limit contains the above excluding 1

- 2-min-factor-limit contains the above excluding prime intervals

- 3-min-factor-limit contains the above excluding 2
^{2}, 2^{-2}, 2*3, 2^{-1}*3^{-1}, 2^{-1}*3, 2*3^{-1}, 3^{2}, 3^{-2}, etc...

# Operations on sets

Minimal harmonic limits, maximal harmonic limits, minimal factor limits, maximal factor limits, and all other kinds of Just Intonation subsets are sets of strictly positive rational numbers.

Set theory features binary operations on sets: union, intersection, set difference, symmetric difference, Cartesian product, power set.

# Prime-bounded and factor-bounded limit

## Definition

A positive rational number q belongs to the (pmin;pmax;fmin;fmax)-limit, called the **prime-bounded and factor-bounded limit**, if q ∈ pmin-min-prime-limit ∩ pmax-max-prime-limit ∩ fmin-min-factor-limit ∩ fmax-max-factor-limit.

### Examples

- (5;7;0;3)-limit contains only 1/1, 5/1, 1/5, 5*5/1, 1/5*5, 5*5*5/1, 1/5*5*5, 7/1, 1/7, 5*7/1, 1/5*7, 7/5, 5/7, 7*7/1, 1/7*7, 5*5*7/1, 1/5*5*7, 7/5*5, 5*5/7, 5*7*7/1, 1/5*7*7, 7*7/5, 5/7*7, 7*7*7/1, 1/7*7*7.

- (5;13;0;2)-limit contains only 1/1, 5/1, 1/5, 5*5/1, 1/5*5, 7/1, 1/7, 5*7/1, 1/5*7, 7/5, 5/7, 7*7/1, 1/7*7, 11/1, 1/11, 5*11/1, 1/5*11, 11/5, 5/11, 7*11/1, 1/7*11, 11/7, 7/11, 11*11/1, 1/11*11, 13/1, 1/13, 5*13/1, 1/5*13, 13/5, 5/13, 7*13/1, 1/7*13, 13/7, 7/13, 11*13/1, 1/11*13, 13/11, 11/13, 13*13/1, 1/13*13.

- (5;31;0;1)-limit contains only 1/1, 5/1, 1/5, 7/1, 1/7, 11/1, 1/11, 13/1, 1/13, 17/1, 1/17, 19/1, 1/19, 23/1, 1/23, 29/1, 1/29, 31/1, 1/31.

- (3;3;0;26)-limit contains only 1/1, 3/1, 1/3, 3
^{2}, 3^{-2}, 3^{3}, 3^{-3}, 3^{4}, 3^{-4}, 3^{5}, 3^{-5}, 3^{6}, 3^{-6}, 3^{7}, 3^{-7}, 3^{8}, 3^{-8}, 3^{9}, 3^{-9}, 3^{10}, 3^{-10}, 3^{11}, 3^{-11}, 3^{12}, 3^{-12}, 3^{13}, 3^{-13}, 3^{14}, 3^{-14}, 3^{15}, 3^{-15}, 3^{16}, 3^{-16}, 3^{17}, 3^{-17}, 3^{18}, 3^{-18}, 3^{19}, 3^{-19}, 3^{20}, 3^{-20}, 3^{21}, 3^{-21}, 3^{22}, 3^{-22}, 3^{23}, 3^{-23}, 3^{24}, 3^{-24}, 3^{25}, 3^{-25}, 3^{26}, 3^{-26}.

- (2;2;0;+∞)-limit contains only 1/1, 2/1, 1/2, 2
^{2}, 2^{-2}, 2^{3}, 2^{-3}, 2^{4}, 2^{-4}, 2^{5}, 2^{-5}, 2^{6}, 2^{-6}, 2^{7}, 2^{-7}, 2^{8}, 2^{-8}, 2^{9}, 2^{-9}, 2^{10}, 2^{-10}, 2^{11}, 2^{-11}, 2^{12}, 2^{-12}, 2^{13}, 2^{-13}, 2^{14}, 2^{-14}, 2^{15}, 2^{-15}, 2^{16}, 2^{-16}, 2^{17}, 2^{-17}, 2^{18}, 2^{-18}, 2^{19}, 2^{-19}, 2^{20}, 2^{-20}, etc...

- ((5;7;0;3)-limit ∪ (5;13;0;2)-limit ∪ (5;31;0;1)-limit) × (3;3;0;26)-limit × (2;2;0;+∞)-limit is represented by this table.