Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion DIRECTORY.md
Original file line number Diff line number Diff line change
Expand Up @@ -249,6 +249,7 @@
* [PrimeFactors](Maths/PrimeFactors.js)
* [QuadraticRoots](Maths/QuadraticRoots.js)
* [RadianToDegree](Maths/RadianToDegree.js)
* [RepunitTheorem](Maths/RepunitTheorem.js)
* [ReverseNumber](Maths/ReverseNumber.js)
* [ReversePolishNotation](Maths/ReversePolishNotation.js)
* [RowEchelon](Maths/RowEchelon.js)
Expand Down Expand Up @@ -322,8 +323,8 @@
* [TernarySearch](Search/TernarySearch.js)
* [UnionFind](Search/UnionFind.js)
* **Sliding-Windows**
* [MaxSumSubarrayFixed](Sliding-Windows/MaxSumSubarrayFixed.js)
* [LongestSubarrayWithSumAtMost](Sliding-Windows/LongestSubarrayWithSumAtMost.js)
* [MaxSumSubarrayFixed](Sliding-Windows/MaxSumSubarrayFixed.js)
* **Sorts**
* [AlphaNumericalSort](Sorts/AlphaNumericalSort.js)
* [BeadSort](Sorts/BeadSort.js)
Expand Down
79 changes: 79 additions & 0 deletions Maths/RepunitTheorem.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,79 @@
/**
* Repunit theorem helpers.
*
* A repunit of length n is:
* R_n = (10^n - 1) / 9
*
* For a prime p (p != 2, 3, 5), p divides R_n iff ord_p(10) divides n.
* Reference: https://en.wikipedia.org/wiki/Repunit
*/
Comment on lines +1 to +9
Copy link

Copilot AI Apr 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The file header comment says the theorem holds for primes p != 2,5, but it also needs p != 3 (equivalently gcd(p,9)=1). As written, it documents an incorrect condition and matches the buggy behavior for p=3.

Copilot uses AI. Check for mistakes.

const gcd = (a, b) => {
let x = BigInt(a)
let y = BigInt(b)
while (y !== 0n) {
;[x, y] = [y, x % y]
}
return x < 0n ? -x : x
}

const modPow = (base, exp, mod) => {
let result = 1n
let b = BigInt(base) % BigInt(mod)
let e = BigInt(exp)
const m = BigInt(mod)

while (e > 0n) {
if (e & 1n) result = (result * b) % m
b = (b * b) % m
e >>= 1n
}

return result
}

const multiplicativeOrder10 = (prime) => {
const p = BigInt(prime)
if (p <= 1n) throw new RangeError('prime must be > 1')
if (gcd(10n, p) !== 1n) throw new RangeError('10 and prime must be coprime')

// For prime p, ord_p(10) divides p-1.
const upper = p - 1n
for (let k = 1n; k <= upper; k++) {
if (upper % k === 0n && modPow(10n, k, p) === 1n) {
return k
}
}
Comment on lines +40 to +46
Copy link

Copilot AI Apr 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

multiplicativeOrder10 currently checks every k from 1..p-1 and runs modPow for each divisor check, which is O(p log p) and will be extremely slow for larger primes. Consider iterating only divisors of (p-1) (e.g., enumerate divisors up to sqrt(p-1) or factor p-1 and test candidate orders by reducing factors) to keep runtime practical.

Copilot uses AI. Check for mistakes.

throw new Error('multiplicative order not found')
}

const repunitMod = (length, mod) => {
if (!Number.isInteger(length) || length < 1) {
throw new RangeError('length must be a positive integer')
}
const m = BigInt(mod)
if (m <= 0n) throw new RangeError('mod must be > 0')

let remainder = 0n
for (let i = 0; i < length; i++) {
remainder = (remainder * 10n + 1n) % m
}
return remainder
}

const isRepunitDivisibleByPrime = (length, prime) => {
if (!Number.isInteger(length) || length < 1) {
throw new RangeError('length must be a positive integer')
}

const p = BigInt(prime)
if (p === 2n || p === 5n) return false
if (p === 3n) return BigInt(length) % 3n === 0n
if (gcd(10n, p) !== 1n) return false

const order = multiplicativeOrder10(p)
return BigInt(length) % order === 0n
Comment on lines +65 to +76
Copy link

Copilot AI Apr 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The stated divisibility criterion and current implementation fail for p = 3. Since gcd(9,3) != 1, “ord_p(10) divides n” is not equivalent to 3 | R_n (e.g., length=1 would incorrectly return true because ord_3(10)=1). Handle p===3n explicitly (R_n mod 3 == n mod 3) and/or update the theorem condition to require p not dividing 9 (i.e., exclude p=3).

Copilot uses AI. Check for mistakes.
}

export { multiplicativeOrder10, repunitMod, isRepunitDivisibleByPrime }
50 changes: 50 additions & 0 deletions Maths/test/RepunitTheorem.test.js
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
import {
isRepunitDivisibleByPrime,
multiplicativeOrder10,
repunitMod
} from '../RepunitTheorem'

describe('RepunitTheorem', () => {
it('computes multiplicative order examples', () => {
expect(multiplicativeOrder10(11n)).toBe(2n)
expect(multiplicativeOrder10(37n)).toBe(3n)
expect(multiplicativeOrder10(7n)).toBe(6n)
})

it('checks repunit divisibility using the theorem', () => {
// 111111 is divisible by 3, 7, 11, 13, 37
expect(isRepunitDivisibleByPrime(6, 3n)).toBe(true)
expect(isRepunitDivisibleByPrime(6, 7n)).toBe(true)
expect(isRepunitDivisibleByPrime(6, 11n)).toBe(true)
expect(isRepunitDivisibleByPrime(6, 13n)).toBe(true)
expect(isRepunitDivisibleByPrime(6, 37n)).toBe(true)
})

it('returns false when divisibility condition does not hold', () => {
expect(isRepunitDivisibleByPrime(1, 3n)).toBe(false)
expect(isRepunitDivisibleByPrime(3, 3n)).toBe(true)
expect(isRepunitDivisibleByPrime(6, 19n)).toBe(false)
expect(isRepunitDivisibleByPrime(9, 2n)).toBe(false)
expect(isRepunitDivisibleByPrime(9, 5n)).toBe(false)
})
Comment on lines +14 to +29
Copy link

Copilot AI Apr 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Add an explicit test case for p=3 (e.g., length=1 should be false and length=3 should be true). The current tests only cover a length (6) where 3 happens to divide the repunit, so they won’t catch the p=3 edge case where the theorem-based check is incorrect.

Copilot uses AI. Check for mistakes.

it('computes repunit modulo without building huge integers', () => {
expect(repunitMod(6, 37n)).toBe(0n)
expect(repunitMod(6, 11n)).toBe(0n)
expect(repunitMod(7, 13n)).toBe(1n)
})

it('validates multiplicative order input', () => {
expect(() => multiplicativeOrder10(1n)).toThrow(RangeError)
expect(() => multiplicativeOrder10(10n)).toThrow(RangeError)
})

it('validates repunitMod input', () => {
expect(() => repunitMod(0, 7n)).toThrow(RangeError)
expect(() => repunitMod(5, 0n)).toThrow(RangeError)
})

it('validates repunit divisibility input length', () => {
expect(() => isRepunitDivisibleByPrime(0, 7n)).toThrow(RangeError)
})
})
Loading