@gouvernathor/fraction.ts 1.0.0 → 1.1.0

package/README.md

@@ -69,3 +69,9 @@ The `asIrreducible()` parameter-less method returns an `IrreducibleFraction` wit
 The `limitDenominator()` and `simplify()` methods serve a similar purpose of reducing the value of the operands of the fraction, at the cost of potentially losing some precision. The `limitDenominator()` method takes a single bigint parameter, which must be 1 or greater, and returns a fraction whose denominator is at most that value, and as close to the original fraction as possible. The `simplify()` method takes a `FractionAble` parameter which specifies the acceptable error margin.
 
 The Fraction object can be converted or coerced to a string, a number or a bigint, either using the JavaScript coercion rules (`+f`, `${f}`, `f + ""`...) or by calling the `toString()` and `valueOf()` methods. The string representation is of the form "1.23(45)", and can always be passed back to the `Fraction.fromString()` constructor to get the same fraction back. The `valueOf()` method returns a bigint if the exact value of the fraction can be represented as such, or a number otherwise. If you want to be sure to get a number, you can either call `Number(f)` or do `+f`.
+
+### Non-numbers
+
+Comparison with (and between, in the case of `Fraction.compare`) Infinity values is supported.
+
+Otherwise, usage of Nan and Infinity values is unspecified, and will generally throw errors.

package/dist/constructors.d.ts

@@ -0,0 +1,10 @@
+import { Fraction, FractionAble, IrreducibleFraction } from "./interface.js";
+export declare function fromNumeric(num: bigint | number): IrreducibleFraction;
+export declare function fromString(str: string): IrreducibleFraction;
+export declare function fromPair(num: bigint | number, denom: bigint | number): Fraction;
+export declare function fromTuple([num, denom]: [bigint | number, bigint | number]): Fraction;
+export declare function fromObject({ numerator, denominator }: {
+    numerator: bigint;
+    denominator: bigint;
+}): Fraction;
+export declare function fromAny(obj: FractionAble): Fraction;

package/dist/constructors.js

@@ -0,0 +1,65 @@
+import { tupleFromNumber } from "./fromNumber.js";
+import { FractionImpl } from "./implcls.js";
+import { parse } from "./parse.js";
+function fromBigInt(num) {
+    return new FractionImpl(num, 1n);
+}
+function fromNumber(num) {
+    if (Number.isInteger(num)) {
+        return fromBigInt(BigInt(num));
+    }
+    if (Number.isNaN(num)) {
+        throw new TypeError("Cannot create Fraction from NaN.");
+    }
+    if (!Number.isFinite(num)) {
+        throw new TypeError("Cannot create Fraction from non-finite number.");
+    }
+    return fromTuple(tupleFromNumber(num));
+}
+export function fromNumeric(num) {
+    if (typeof num === "bigint") {
+        return fromBigInt(num);
+    }
+    else if (typeof num === "number") {
+        return fromNumber(num);
+    }
+    throw new TypeError(`Value of unsupported type for Fraction creation: ${num}`);
+}
+export function fromString(str) {
+    return fromTuple(parse(str));
+}
+export function fromPair(num, denom) {
+    return fromNumeric(num).div(fromNumeric(denom));
+}
+export function fromTuple([num, denom]) {
+    return fromPair(num, denom);
+}
+export function fromObject({ numerator, denominator }) {
+    if (denominator < 0n) {
+        numerator = -numerator;
+        denominator = -denominator;
+    }
+    return new FractionImpl(numerator, denominator);
+}
+export function fromAny(obj) {
+    if (obj instanceof FractionImpl) {
+        return obj;
+    }
+    else if (typeof obj === "number") {
+        return fromNumber(obj);
+    }
+    else if (typeof obj === "bigint") {
+        return fromBigInt(obj);
+    }
+    else if (typeof obj === "string") {
+        return fromString(obj);
+    }
+    else if (Array.isArray(obj) && obj.length === 2) {
+        return fromTuple(obj);
+    }
+    else if (typeof obj === "object" && obj !== null) {
+        return fromObject(obj);
+    }
+    throw new TypeError(`Unsupported type for Fraction creation for ${obj}`);
+}
+//# sourceMappingURL=constructors.js.map

package/dist/constructors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../src/constructors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEnC,SAAS,UAAU,CAAC,GAAW;IAC3B,OAAO,IAAI,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC3B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO,SAAS,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,GAAkB;IAC1C,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,oDAAoD,GAAG,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAW;IAClC,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAkB,EAAE,KAAoB;IAC7D,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAC,GAAG,EAAE,KAAK,CAAiC;IAClE,OAAO,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAC,SAAS,EAAE,WAAW,EAA8C;IAC5F,IAAI,WAAW,GAAG,EAAE,EAAE,CAAC;QACnB,SAAS,GAAG,CAAC,SAAS,CAAC;QACvB,WAAW,GAAG,CAAC,WAAW,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,YAAY,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAGD,MAAM,UAAU,OAAO,CAAC,GAAiB;IACrC,IAAI,GAAG,YAAY,YAAY,EAAE,CAAC;QAC9B,OAAO,GAAG,CAAC;IACf,CAAC;SAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,SAAS,CAAC,GAAqC,CAAC,CAAC;IAC5D,CAAC;SAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjD,OAAO,UAAU,CAAC,GAAiD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,SAAS,CAAC,8CAA8C,GAAG,EAAE,CAAC,CAAC;AAC7E,CAAC"}

package/dist/fromNumber.d.ts

@@ -0,0 +1,2 @@
+declare function exact2(num: number): [bigint, bigint];
+export { exact2 as tupleFromNumber };

package/dist/fromNumber.js

@@ -0,0 +1,145 @@
+/**
+ * This function doesn't seem to return the most exact fraction for a float (64).
+ */
+// @ts-expect-error
+function fareySequences(num) {
+    let s = 1;
+    if (num < 0) {
+        s = -1;
+        num = -num;
+    }
+    let z = 1;
+    if (num >= 1) {
+        z = 10 ** Math.floor(1 + Math.log10(num));
+        num /= z;
+    }
+    let A = 0, B = 1, C = 1, D = 0;
+    let n = 0;
+    let d = 1;
+    const N = 10000000;
+    while (B <= N && D <= N) {
+        const M = (A + C) / (B + D);
+        if (num === M) {
+            if (B + D <= N) {
+                n = A + C;
+                d = B + D;
+            }
+            else if (D > B) {
+                n = C;
+                d = D;
+            }
+            else {
+                n = A;
+                d = B;
+            }
+            break;
+        }
+        else {
+            if (num > M) {
+                A += C;
+                B += D;
+            }
+            else {
+                C += A;
+                D += B;
+            }
+            if (B > N) {
+                n = C;
+                d = D;
+            }
+            else {
+                n = A;
+                d = B;
+            }
+        }
+    }
+    return [BigInt(n * z * s), BigInt(d)];
+}
+/**
+ * Supposes that `arg` is a finite number.
+ */
+function frexp(arg) {
+    const absArg = Math.abs(arg);
+    if (absArg === 0) {
+        return [0, 0n];
+    }
+    let exponent = BigInt(Math.max(-1023, Math.floor(Math.log2(absArg)) + 1));
+    let x = absArg / Number(2n ** exponent);
+    while (x < 0.5) {
+        x *= 2;
+        exponent--;
+    }
+    while (x >= 1) {
+        x /= 2;
+        exponent++;
+    }
+    if (arg < 0) {
+        x = -x;
+    }
+    return [x, exponent];
+}
+/**
+ * Adapted from the C code for CPython's float.as_integer_ratio()
+ */
+// @ts-expect-error
+function exact(num) {
+    const self_double = num;
+    // checks for inf and nan
+    let [float_part, exponent] = frexp(self_double); // self_double = float_part * (2 ** exponent) exactly
+    // TODO make that 300 non-magic
+    for (let i = 0; i < 300 && float_part !== Math.floor(float_part); i++) {
+        float_part *= 2;
+        exponent--;
+    }
+    // now float_part is an integer and self_double == float_part * (2 ** exponent) exactly
+    let numerator = BigInt(Math.floor(float_part));
+    let denominator = 1n;
+    if (exponent > 0) {
+        numerator <<= exponent;
+    }
+    else {
+        denominator <<= -exponent;
+    }
+    return [numerator, denominator];
+}
+/**
+ * Returns m and exp such that arg = m * (2 ** exp) exactly, and m and exp are (big)integers.
+ */
+function frexpBig(arg) {
+    const absArg = Math.abs(arg);
+    if (absArg === 0) {
+        return [0n, 0n];
+    }
+    let exponent = BigInt(Math.max(-1023, Math.floor(Math.log2(absArg)) + 1));
+    let m_float = absArg / (2 ** Number(exponent));
+    while (m_float < 0.5) {
+        m_float *= 2;
+        exponent--;
+    }
+    while (m_float >= 1) {
+        m_float /= 2;
+        exponent++;
+    }
+    if (arg < 0) {
+        m_float = -m_float;
+    }
+    for (let i = 0; i < 300 && m_float !== Math.floor(m_float); i++) {
+        m_float *= 2;
+        exponent--;
+    }
+    return [BigInt(Math.floor(m_float)), exponent];
+}
+function exact2(num) {
+    const [m, exp] = frexpBig(num);
+    let numerator = m;
+    let denominator = 1n;
+    if (exp > 0) {
+        numerator <<= exp;
+    }
+    else {
+        denominator <<= -exp;
+    }
+    return [numerator, denominator];
+}
+export { exact2 as tupleFromNumber };
+//# sourceMappingURL=fromNumber.js.map

package/dist/fromNumber.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fromNumber.js","sourceRoot":"","sources":["../src/fromNumber.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,mBAAmB;AACnB,SAAS,cAAc,CAAC,GAAW;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,CAAC,GAAG,CAAC,CAAC,CAAC;QACP,GAAG,GAAG,CAAC,GAAG,CAAC;IACf,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,CAAC;IAEV,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;QACX,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,GAAG,IAAI,CAAC,CAAC;IACb,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,GAAG,QAAU,CAAC;IAErB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAE5B,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACZ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACb,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACV,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,GAAG,CAAC,CAAC;YACV,CAAC;iBAAM,CAAC;gBACJ,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,GAAG,CAAC,CAAC;YACV,CAAC;YACD,MAAM;QACV,CAAC;aAAM,CAAC;YACJ,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;gBACV,CAAC,IAAI,CAAC,CAAC;gBACP,CAAC,IAAI,CAAC,CAAC;YACX,CAAC;iBAAM,CAAC;gBACJ,CAAC,IAAI,CAAC,CAAC;gBACP,CAAC,IAAI,CAAC,CAAC;YACX,CAAC;YAED,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACR,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,GAAG,CAAC,CAAC;YACV,CAAC;iBAAM,CAAC;gBACJ,CAAC,GAAG,CAAC,CAAC;gBACN,CAAC,GAAG,CAAC,CAAC;YACV,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1C,CAAC;AAGD;;GAEG;AACH,SAAS,KAAK,CAAC,GAAW;IACtB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE7B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACf,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,CAAC;IAED,IAAI,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,IAAI,QAAQ,CAAC,CAAC;IAExC,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;QACb,CAAC,IAAI,CAAC,CAAC;QACP,QAAQ,EAAE,CAAC;IACf,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;QACP,QAAQ,EAAE,CAAC;IACf,CAAC;IAED,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,CAAC,GAAG,CAAC,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACzB,CAAC;AACD;;GAEG;AACH,mBAAmB;AACnB,SAAS,KAAK,CAAC,GAAW;IACtB,MAAM,WAAW,GAAG,GAAG,CAAC;IAExB,yBAAyB;IAEzB,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,qDAAqD;IAEtG,+BAA+B;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAC,GAAG,IAAI,UAAU,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAClE,UAAU,IAAI,CAAC,CAAC;QAChB,QAAQ,EAAE,CAAC;IACf,CAAC;IACD,uFAAuF;IAEvF,IAAI,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/C,IAAI,WAAW,GAAG,EAAE,CAAC;IAErB,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACf,SAAS,KAAK,QAAQ,CAAC;IAC3B,CAAC;SAAM,CAAC;QACJ,WAAW,KAAK,CAAC,QAAQ,CAAC;IAC9B,CAAC;IAED,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,GAAW;IACzB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAE7B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,OAAO,GAAG,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE/C,OAAO,OAAO,GAAG,GAAG,EAAE,CAAC;QACnB,OAAO,IAAI,CAAC,CAAC;QACb,QAAQ,EAAE,CAAC;IACf,CAAC;IACD,OAAO,OAAO,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,CAAC;QACb,QAAQ,EAAE,CAAC;IACf,CAAC;IAED,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,OAAO,GAAG,CAAC,OAAO,CAAC;IACvB,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAC,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC,CAAC;QACb,QAAQ,EAAE,CAAC;IACf,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AACD,SAAS,MAAM,CAAC,GAAW;IACvB,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAE/B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,EAAE,CAAC;IAErB,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;QACV,SAAS,KAAK,GAAG,CAAC;IACtB,CAAC;SAAM,CAAC;QACJ,WAAW,KAAK,CAAC,GAAG,CAAC;IACzB,CAAC;IAED,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AACpC,CAAC;AAGD,OAAO,EAAE,MAAM,IAAI,eAAe,EAAE,CAAC"}

package/dist/implcls.d.ts

@@ -0,0 +1,51 @@
+import { Fraction, FractionAble, IrreducibleFraction } from "./interface.js";
+import { stringize } from "./stringize.js";
+export declare class FractionImpl implements Fraction {
+    readonly numerator: bigint;
+    readonly denominator: bigint;
+    constructor(numerator: bigint, denominator: bigint);
+    abs(): FractionImpl;
+    neg(): FractionImpl;
+    invert(): FractionImpl;
+    add(other: FractionAble): FractionImpl;
+    sub(other: FractionAble): FractionImpl;
+    mul(other: FractionAble): FractionImpl;
+    div(other: FractionAble): FractionImpl;
+    private compare;
+    compareTo(other: FractionAble): 1 | 0 | -1;
+    equals(other: FractionAble): boolean;
+    lt(other: FractionAble): boolean;
+    lte(other: FractionAble): boolean;
+    gt(other: FractionAble): boolean;
+    gte(other: FractionAble): boolean;
+    mod(n?: FractionAble): FractionImpl;
+    ceil(): bigint;
+    floor(): bigint;
+    round(): bigint;
+    roundTo(multiple: Fraction): FractionImpl;
+    asIrreducible(): IrreducibleFractionImpl;
+    limitDenominator(maxDenominator: bigint): IrreducibleFractionImpl;
+    /**
+     * Must only be called on a positive fraction.
+     */
+    private absToContinued;
+    private generateSimplifiedAbs;
+    simplify(error: FractionAble): Fraction;
+    protected toNumberIfSafe(): number | null;
+    valueOf(): number | bigint;
+    toString(): string;
+    [Symbol.toPrimitive](hint: "string"): string;
+    [Symbol.toPrimitive](hint: "number"): number;
+    [Symbol.toPrimitive](hint: "default"): number | bigint;
+}
+declare class IrreducibleFractionImpl extends FractionImpl implements IrreducibleFraction {
+    constructor(numerator: bigint, denominator: bigint);
+    asIrreducible(): IrreducibleFractionImpl;
+    valueOf(): number | bigint;
+    toString: typeof stringize;
+}
+/**
+ * Ready to be passed to Array.prototype.sort.
+ */
+export declare function compare(a: FractionAble, b: FractionAble): number;
+export {};

package/dist/implcls.js

@@ -0,0 +1,316 @@
+import { fromAny } from "./constructors.js";
+import { gcd } from "./mathUtils.js";
+import { stringize } from "./stringize.js";
+export class FractionImpl {
+    constructor(numerator, denominator) {
+        this.numerator = numerator;
+        this.denominator = denominator;
+        if (denominator <= 0n) {
+            if (denominator === 0n) {
+                throw new Error("Denominator cannot be zero.");
+            }
+            throw new Error("Denominator must be positive.");
+        }
+    }
+    abs() {
+        return new FractionImpl(this.numerator < 0n ? -this.numerator : this.numerator, this.denominator);
+    }
+    neg() {
+        return new FractionImpl(-this.numerator, this.denominator);
+    }
+    invert() {
+        if (this.numerator > 0n) {
+            return new FractionImpl(this.denominator, this.numerator);
+        }
+        else {
+            return new FractionImpl(-this.denominator, -this.numerator);
+        }
+    }
+    add(other) {
+        if (typeof other === "bigint") {
+            return new FractionImpl(this.numerator + other * this.denominator, this.denominator);
+        }
+        other = fromAny(other);
+        return new FractionImpl(this.numerator * other.denominator + other.numerator * this.denominator, this.denominator * other.denominator);
+    }
+    sub(other) {
+        if (typeof other === "bigint") {
+            return this.add(-other);
+        }
+        // not a call to add because inverting the other requires a call to fromAny
+        other = fromAny(other);
+        return new FractionImpl(this.numerator * other.denominator - other.numerator * this.denominator, this.denominator * other.denominator);
+    }
+    mul(other) {
+        if (typeof other === "bigint") {
+            return new FractionImpl(this.numerator * other, this.denominator);
+        }
+        other = fromAny(other);
+        return new FractionImpl(this.numerator * other.numerator, this.denominator * other.denominator);
+    }
+    div(other) {
+        if (typeof other === "bigint") {
+            if (other === 0n) {
+                throw new Error("Division by zero.");
+            }
+            if (other > 0n) {
+                return new FractionImpl(this.numerator, this.denominator * other);
+            }
+            else {
+                return new FractionImpl(-this.numerator, -this.denominator * other);
+            }
+        }
+        other = fromAny(other);
+        if (other.numerator === 0n) {
+            throw new Error("Division by zero.");
+        }
+        let [otherN, otherD] = [other.numerator, other.denominator];
+        if (otherN < 0n) {
+            otherN = -otherN;
+            otherD = -otherD;
+        }
+        return new FractionImpl(this.numerator * otherD, this.denominator * otherN);
+    }
+    compare(other) {
+        return this.numerator * other.denominator - other.numerator * this.denominator;
+    }
+    compareTo(other) {
+        if (typeof other === "number") {
+            if (other === Infinity) {
+                return -1;
+            }
+            else if (other === -Infinity) {
+                return 1;
+            }
+        }
+        const c = this.compare(fromAny(other));
+        return c === 0n ? 0 : c > 0n ? 1 : -1;
+    }
+    equals(other) {
+        if (typeof other === "number" && !Number.isFinite(other)) {
+            return false;
+        }
+        return this.compare(fromAny(other)) === 0n;
+    }
+    lt(other) {
+        return compare(this, other) < 0n;
+    }
+    lte(other) {
+        return compare(this, other) <= 0n;
+    }
+    gt(other) {
+        return compare(this, other) > 0n;
+    }
+    gte(other) {
+        return compare(this, other) >= 0n;
+    }
+    mod(n) {
+        if (n === undefined) {
+            return new FractionImpl(this.numerator % this.denominator, 1n);
+        }
+        if (this.numerator < 0n) {
+            return this.neg().mod(n).neg();
+        }
+        const nf = fromAny(n);
+        if (nf.numerator === 0n) {
+            throw new Error("Modulo by zero.");
+        }
+        if (nf.numerator < 0n) {
+            return this.mod(nf.neg()).neg();
+        }
+        return new FractionImpl((nf.denominator * this.numerator) % (nf.numerator * this.denominator), nf.denominator * this.denominator);
+    }
+    ceil() {
+        return this.numerator / this.denominator +
+            BigInt(this.numerator % this.denominator !== 0n && this.numerator >= 0n);
+    }
+    floor() {
+        return this.numerator / this.denominator -
+            BigInt(this.numerator % this.denominator !== 0n && this.numerator < 0n);
+    }
+    round() {
+        // if (this.numerator === 0n) {
+        //     return 0n;
+        // }
+        const sign = this.numerator >= 0n ? 1n : -1n;
+        const twiceMod = 2n * (sign * this.numerator % this.denominator);
+        const roundFarZero = sign !== -1n ?
+            twiceMod >= this.denominator :
+            twiceMod > this.denominator; // JS rule : towards +Inf, not away from zero
+        return (this.numerator / this.denominator) + sign * BigInt(roundFarZero);
+        // return this.numerator / this.denominator +
+        //     sign * (BigInt(this.numerator >= 0n) +
+        //         BigInt((2n * ((this.numerator*sign) % this.denominator)) > this.denominator));
+    }
+    roundTo(multiple) {
+        const n = this.numerator * multiple.denominator;
+        const d = this.denominator * multiple.numerator;
+        const k = n / d + BigInt(2n * (n % d) >= d);
+        return new FractionImpl(k * multiple.numerator, multiple.denominator);
+    }
+    asIrreducible() {
+        const g = gcd(this.numerator, this.denominator);
+        if (g >= 0n) {
+            return new IrreducibleFractionImpl(this.numerator / g, this.denominator / g);
+        }
+        else {
+            return new IrreducibleFractionImpl(-this.numerator / g, -this.denominator / g);
+        }
+    }
+    limitDenominator(maxDenominator) {
+        if (maxDenominator < 1) {
+            throw new Error("Maximum denominator must be at least 1.");
+        }
+        if (this.denominator <= maxDenominator) {
+            return this;
+        }
+        const sign = this.numerator < 0n ? -1n : 1n;
+        let [p0, q0, p1, q1] = [0n, 1n, 1n, 0n];
+        let [n, d] = [sign * this.numerator, this.denominator];
+        while (true) {
+            const a = n / d;
+            const q2 = q0 + a * q1;
+            if (q2 > maxDenominator) {
+                break;
+            }
+            [p0, q0, p1, q1] = [p1, q1, p0 + a * p1, q2];
+            [n, d] = [d, n - a * d];
+        }
+        const k = (maxDenominator - q0) / q1;
+        if (2n * d * (q0 + k * q1) <= this.denominator) {
+            return new IrreducibleFractionImpl(sign * p1, q1);
+        }
+        else {
+            return new IrreducibleFractionImpl(sign * (p0 + k * p1), q0 + k * q1);
+        }
+    }
+    /**
+     * Must only be called on a positive fraction.
+     */
+    *absToContinued() {
+        let a = this.numerator;
+        let b = this.denominator;
+        do {
+            yield a / b;
+            [a, b] = [b, a % b];
+        } while (a !== 1n);
+    }
+    *generateSimplifiedAbs() {
+        const cont = Array.from(this.abs().absToContinued());
+        for (let i = 1; i < cont.length; i++) {
+            let s = new FractionImpl(cont[i - 1], 1n);
+            for (let j = i - 2; j >= 0; j--) {
+                s = s.invert().add(cont[j]);
+            }
+            yield s;
+        }
+    }
+    simplify(error) {
+        // takes the simplest functions from the continued,
+        // until it is within the required error gap
+        const eps = fromAny(error).abs();
+        for (const s of this.generateSimplifiedAbs()) {
+            const diff = s.sub(this).abs();
+            if (diff.lt(eps)) {
+                if (this.numerator < 0n) {
+                    return s.neg();
+                }
+                return s;
+            }
+        }
+        return this; // if nothing found, return the absolute value
+    }
+    toNumberIfSafe() {
+        if (this.numerator <= Number.MAX_SAFE_INTEGER && this.denominator <= Number.MAX_SAFE_INTEGER) {
+            return Number(this.numerator) / Number(this.denominator);
+        }
+        return null; // not safe to convert
+    }
+    valueOf() {
+        if (this.denominator === 1n) {
+            return this.numerator;
+        }
+        if (this.numerator < 0n) {
+            return -this.neg().valueOf();
+        }
+        // if safe, cast the two operands then divide them.
+        let safeNum = this.toNumberIfSafe();
+        if (safeNum !== null) {
+            return safeNum;
+        }
+        // otherwise, first try to reduce to an irreducible fraction then work with that.
+        return this.asIrreducible().valueOf();
+    }
+    toString() {
+        return this.asIrreducible().toString();
+    }
+    [Symbol.toPrimitive](hint) {
+        if (hint === "string") {
+            return this.toString();
+        }
+        const value = this.valueOf();
+        if (hint === "number") { // always returns a number (incl. Infinity), not a bigint
+            return Number(value);
+        }
+        return value; // default : bigint or number
+    }
+}
+class IrreducibleFractionImpl extends FractionImpl {
+    constructor(numerator, denominator) {
+        super(numerator, denominator);
+        this.toString = stringize;
+    }
+    asIrreducible() {
+        return this; // already irreducible
+    }
+    valueOf() {
+        if (this.denominator === 1n) {
+            return this.numerator;
+        }
+        // if safe, cast the two operands then divide them.
+        let safeNum = this.toNumberIfSafe();
+        if (safeNum !== null) {
+            return safeNum;
+        }
+        if (this.numerator > this.denominator) {
+            // sum the integer part with the fractional part, guaranteeing that the integral part is correct.
+            const int = this.numerator / this.denominator;
+            const nDenom = Number(this.denominator);
+            const remainder = (Number(this.numerator) % nDenom) / nDenom;
+            if (remainder === 0 || !Number.isFinite(remainder)) {
+                return int;
+            }
+            return Number(int) + remainder;
+        }
+        // reduce the denominator by a factor of 2 and try again
+        if (this.denominator > 2n) {
+            return this.limitDenominator(this.denominator >> 1n).valueOf();
+        }
+        // if that's still out of bounds, give up
+        return Number(this.numerator) / Number(this.denominator);
+        // if one of the values is out of f64 bounds, as a number it will be infinity,
+        // and the result will be infinity.
+        // if both are, the result will be NaN.
+    }
+}
+/**
+ * Ready to be passed to Array.prototype.sort.
+ */
+export function compare(a, b) {
+    if (typeof a === "number") {
+        if (a === Infinity) {
+            if (b === Infinity) {
+                return 0;
+            }
+            return 1;
+        }
+        else if (a === -Infinity) {
+            if (b === -Infinity) {
+                return 0;
+            }
+            return -1;
+        }
+    }
+    return fromAny(a).compareTo(b);
+}
+//# sourceMappingURL=implcls.js.map

package/dist/implcls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implcls.js","sourceRoot":"","sources":["../src/implcls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,MAAM,OAAO,YAAY;IACrB,YACoB,SAAiB,EACjB,WAAmB;QADnB,cAAS,GAAT,SAAS,CAAQ;QACjB,gBAAW,GAAX,WAAW,CAAQ;QAEnC,IAAI,WAAW,IAAI,EAAE,EAAE,CAAC;YACpB,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;gBACrB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACnD,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACrD,CAAC;IACL,CAAC;IAED,GAAG;QACC,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EACtD,IAAI,CAAC,WAAW,CACnB,CAAC;IACN,CAAC;IACD,GAAG;QACC,OAAO,IAAI,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM;QACF,IAAI,IAAI,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;YACtB,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,YAAY,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChE,CAAC;IACL,CAAC;IAED,GAAG,CAAC,KAAmB;QACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,KAAK,GAAG,IAAI,CAAC,WAAW,EACzC,IAAI,CAAC,WAAW,CACnB,CAAC;QACN,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,EACvE,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CACvC,CAAC;IACN,CAAC;IACD,GAAG,CAAC,KAAmB;QACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;QAED,2EAA2E;QAC3E,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,EACvE,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CACvC,CAAC;IACN,CAAC;IACD,GAAG,CAAC,KAAmB;QACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,KAAK,EACtB,IAAI,CAAC,WAAW,CACnB,CAAC;QACN,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACvB,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,EAChC,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CACvC,CAAC;IACN,CAAC;IACD,GAAG,CAAC,KAAmB;QACnB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;gBACb,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,WAAW,GAAG,KAAK,CAC3B,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,OAAO,IAAI,YAAY,CACnB,CAAC,IAAI,CAAC,SAAS,EACf,CAAC,IAAI,CAAC,WAAW,GAAG,KAAK,CAC5B,CAAC;YACN,CAAC;QACL,CAAC;QAED,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACvB,IAAI,KAAK,CAAC,SAAS,KAAK,EAAE,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;QACzC,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5D,IAAI,MAAM,GAAG,EAAE,EAAE,CAAC;YACd,MAAM,GAAG,CAAC,MAAM,CAAC;YACjB,MAAM,GAAG,CAAC,MAAM,CAAC;QACrB,CAAC;QACD,OAAO,IAAI,YAAY,CACnB,IAAI,CAAC,SAAS,GAAG,MAAM,EACvB,IAAI,CAAC,WAAW,GAAG,MAAM,CAC5B,CAAC;IACN,CAAC;IAEO,OAAO,CAAC,KAAe;QAC3B,OAAO,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,WAAW,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC;IACnF,CAAC;IACD,SAAS,CAAC,KAAmB;QACzB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;gBACrB,OAAO,CAAC,CAAC,CAAC;YACd,CAAC;iBAAM,IAAI,KAAK,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC7B,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACvC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,CAAC,KAAmB;QACtB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;IAC/C,CAAC;IACD,EAAE,CAAC,KAAmB;QAClB,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACrC,CAAC;IACD,GAAG,CAAC,KAAmB;QACnB,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACtC,CAAC;IACD,EAAE,CAAC,KAAmB;QAClB,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACrC,CAAC;IACD,GAAG,CAAC,KAAmB;QACnB,OAAO,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACtC,CAAC;IAED,GAAG,CAAC,CAAgB;QAChB,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClB,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACnC,CAAC;QACD,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,EAAE,CAAC,SAAS,KAAK,EAAE,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACvC,CAAC;QACD,IAAI,EAAE,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACpC,CAAC;QAED,OAAO,IAAI,YAAY,CACnB,CAAC,EAAE,CAAC,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,EACrE,EAAE,CAAC,WAAW,GAAG,IAAI,CAAC,WAAW,CACpC,CAAC;IACN,CAAC;IAED,IAAI;QACA,OAAO,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW;YACpC,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,KAAK;QACD,OAAO,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW;YACpC,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,IAAI,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,KAAK;QACD,+BAA+B;QAC/B,iBAAiB;QACjB,IAAI;QACJ,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,QAAQ,GAAG,EAAE,GAAG,CAAC,IAAI,GAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;YAC/B,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC;YAC9B,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,6CAA6C;QAC9E,OAAO,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;QAEzE,6CAA6C;QAC7C,6CAA6C;QAC7C,yFAAyF;IAC7F,CAAC;IACD,OAAO,CAAC,QAAkB;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC;QAEhD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,OAAO,IAAI,YAAY,CAAC,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;IAED,aAAa;QACT,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACV,OAAO,IAAI,uBAAuB,CAC9B,IAAI,CAAC,SAAS,GAAG,CAAC,EAClB,IAAI,CAAC,WAAW,GAAG,CAAC,CACvB,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,uBAAuB,CAC9B,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,EACnB,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CACxB,CAAC;QACN,CAAC;IACL,CAAC;IACD,gBAAgB,CAAC,cAAsB;QACnC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,IAAI,CAAC,WAAW,IAAI,cAAc,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC;QAChB,CAAC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAE5C,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,GAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QACrD,OAAO,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,EAAE,GAAG,cAAc,EAAE,CAAC;gBACtB,MAAM;YACV,CAAC;YACD,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YAC7C,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,cAAc,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC;QAErC,IAAI,EAAE,GAAC,CAAC,GAAC,CAAC,EAAE,GAAG,CAAC,GAAC,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACvC,OAAO,IAAI,uBAAuB,CAAC,IAAI,GAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,uBAAuB,CAC9B,IAAI,GAAC,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAClB,EAAE,GAAG,CAAC,GAAG,EAAE,CACd,CAAC;QACN,CAAC;IACL,CAAC;IACD;;OAEG;IACK,CAAC,cAAc;QACnB,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;QACvB,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;QAEzB,GAAG,CAAC;YACA,MAAM,CAAC,GAAG,CAAC,CAAC;YACZ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE;IACvB,CAAC;IACO,CAAC,qBAAqB;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC,CAAC;QAErD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,IAAI,CAAC,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACjC,CAAC;YACD,MAAM,CAAC,CAAC;QACZ,CAAC;IACL,CAAC;IACD,QAAQ,CAAC,KAAmB;QACxB,mDAAmD;QACnD,4CAA4C;QAE5C,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;QAEjC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,qBAAqB,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;oBACtB,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC;gBACnB,CAAC;gBACD,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,8CAA8C;IAC/D,CAAC;IAES,cAAc;QACpB,IAAI,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,gBAAgB,IAAI,IAAI,CAAC,WAAW,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC3F,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,sBAAsB;IACvC,CAAC;IACD,OAAO;QACH,IAAI,IAAI,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1B,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,GAAG,EAAE,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;QACjC,CAAC;QAED,mDAAmD;QACnD,IAAI,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACpC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,OAAO,CAAC;QACnB,CAAC;QAED,iFAAiF;QACjF,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC;IACD,QAAQ;QACJ,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3C,CAAC;IAID,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAY;QAC7B,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC,yDAAyD;YAC9E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,6BAA6B;IAC/C,CAAC;CACJ;AAED,MAAM,uBAAwB,SAAQ,YAAY;IAC9C,YAAY,SAAiB,EAAE,WAAmB;QAC9C,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAwCzB,aAAQ,GAAG,SAAS,CAAC;IAvC9B,CAAC;IAEQ,aAAa;QAClB,OAAO,IAAI,CAAC,CAAC,sBAAsB;IACvC,CAAC;IAEQ,OAAO;QACZ,IAAI,IAAI,CAAC,WAAW,KAAK,EAAE,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,SAAS,CAAC;QAC1B,CAAC;QAED,mDAAmD;QACnD,IAAI,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACpC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,OAAO,CAAC;QACnB,CAAC;QAED,IAAI,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,iGAAiG;YACjG,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC;YAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC;YAC7D,IAAI,SAAS,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjD,OAAO,GAAG,CAAC;YACf,CAAC;YACD,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;QACnC,CAAC;QAED,wDAAwD;QACxD,IAAI,IAAI,CAAC,WAAW,GAAG,EAAE,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,IAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACjE,CAAC;QAED,yCAAyC;QACzC,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACzD,8EAA8E;QAC9E,mCAAmC;QACnC,uCAAuC;IAC3C,CAAC;CAEJ;AAED;;GAEG;AACH,MAAM,UAAU,OAAO,CAAC,CAAe,EAAE,CAAe;IACpD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjB,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACjB,OAAO,CAAC,CAAC;YACb,CAAC;YACD,OAAO,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClB,OAAO,CAAC,CAAC;YACb,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;QACd,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+import type { FractionAble, Fraction as IFraction } from "./interface.js";
+import { compare } from "./implcls.js";
+export type { IrreducibleFraction, FractionAble } from "./interface.js";
+export type Fraction = IFraction;
+type MainType = {
+    (obj: FractionAble): IFraction;
+    (a: bigint | number, b: bigint | number): IFraction;
+    (a: FractionAble, b?: bigint | number): IFraction;
+    fromNumeric(num: bigint | number): IFraction;
+    fromString(str: string): IFraction;
+    fromPair(num: bigint | number, denom: bigint | number): IFraction;
+    fromTuple([num, denom]: [bigint | number, bigint | number]): IFraction;
+    fromObject({ numerator, denominator }: {
+        numerator: bigint;
+        denominator: bigint;
+    }): IFraction;
+    fromAny(obj: FractionAble): IFraction;
+    compare: typeof compare;
+};
+declare const main: MainType;
+export { main as Fraction };

package/dist/index.js

@@ -0,0 +1,24 @@
+import * as constructors from "./constructors.js";
+import { compare } from "./implcls.js";
+const main = (() => {
+    function mainConstructor(a, b) {
+        if (b === undefined) {
+            return constructors.fromAny(a);
+        }
+        else {
+            return constructors.fromPair(a, b);
+        }
+    }
+    mainConstructor.fromNumeric = constructors.fromNumeric;
+    mainConstructor.fromString = constructors.fromString;
+    mainConstructor.fromPair = constructors.fromPair;
+    mainConstructor.fromTuple = constructors.fromTuple;
+    mainConstructor.fromObject = constructors.fromObject;
+    mainConstructor.fromAny = constructors.fromAny;
+    mainConstructor.compare = compare;
+    return mainConstructor;
+})();
+// export const Fraction = main;
+export { main as Fraction };
+// export default main;
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAwBvC,MAAM,IAAI,GAAG,CAAC,GAAa,EAAE;IAGzB,SAAS,eAAe,CAAC,CAAe,EAAE,CAAiB;QACvD,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClB,OAAO,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACJ,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAkB,EAAE,CAAC,CAAC,CAAC;QACxD,CAAC;IACL,CAAC;IACD,eAAe,CAAC,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;IACvD,eAAe,CAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;IACrD,eAAe,CAAC,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC;IACjD,eAAe,CAAC,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC;IACnD,eAAe,CAAC,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;IACrD,eAAe,CAAC,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC;IAE/C,eAAe,CAAC,OAAO,GAAG,OAAO,CAAC;IAClC,OAAO,eAAe,CAAC;AAC3B,CAAC,CAAC,EAAE,CAAC;AACL,gCAAgC;AAChC,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,CAAC;AAC5B,uBAAuB"}

package/dist/interface.d.ts

@@ -0,0 +1,54 @@
+export type FractionAble = Fraction | bigint | number | string | [bigint | number, bigint | number] | {
+    numerator: bigint;
+    denominator: bigint;
+};
+export interface Fraction {
+    readonly numerator: bigint;
+    readonly denominator: bigint;
+    abs(): Fraction;
+    neg(): Fraction;
+    invert(): Fraction;
+    add(other: FractionAble): Fraction;
+    sub(other: FractionAble): Fraction;
+    mul(other: FractionAble): Fraction;
+    div(other: FractionAble): Fraction;
+    compareTo(other: FractionAble): number;
+    equals(other: FractionAble): boolean;
+    lt(other: FractionAble): boolean;
+    lte(other: FractionAble): boolean;
+    gt(other: FractionAble): boolean;
+    gte(other: FractionAble): boolean;
+    /**
+     * Returns the modulo of the numerator with respect to the denominator.
+     */
+    mod(): Fraction;
+    /**
+     * Returns the modulo of the fraction with respect to another fraction or number.
+     */
+    mod(n: FractionAble): Fraction;
+    ceil(): bigint;
+    floor(): bigint;
+    round(): bigint;
+    roundTo(multiple: Fraction): Fraction;
+    /**
+     * Converts the fraction to an irreducible form.
+     */
+    asIrreducible(): IrreducibleFraction;
+    /**
+     * Limits the denominator of the fraction to a maximum value.
+     * @param maxDenominator The maximum allowed denominator.
+     */
+    limitDenominator(maxDenominator: bigint): Fraction;
+    /**
+     * Simplifies the fraction to lower terms.
+     * @param precision The maximum allowed error for the simplification.
+     */
+    simplify(precision: FractionAble): Fraction;
+    valueOf(): number | bigint;
+    toString(): string;
+    [Symbol.toPrimitive](hint: "string"): string;
+    [Symbol.toPrimitive](hint: "number"): number;
+    [Symbol.toPrimitive](hint: "default"): number | bigint;
+}
+export interface IrreducibleFraction extends Fraction {
+}

package/dist/interface.js

@@ -0,0 +1 @@
+//# sourceMappingURL=interface.js.map

package/dist/interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.js","sourceRoot":"","sources":["../src/interface.ts"],"names":[],"mappings":""}

package/dist/mathUtils.d.ts

@@ -0,0 +1 @@
+export declare function gcd(a: bigint, b: bigint): bigint;

package/dist/mathUtils.js

@@ -0,0 +1,15 @@
+export function gcd(a, b) {
+    if (!a)
+        return b;
+    if (!b)
+        return a;
+    while (true) {
+        a %= b;
+        if (!a)
+            return b;
+        b %= a;
+        if (!b)
+            return a;
+    }
+}
+//# sourceMappingURL=mathUtils.js.map

package/dist/mathUtils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathUtils.js","sourceRoot":"","sources":["../src/mathUtils.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACjB,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAEjB,OAAO,IAAI,EAAE,CAAC;QACV,CAAC,IAAI,CAAC,CAAC;QACP,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjB,CAAC,IAAI,CAAC,CAAC;QACP,IAAI,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACrB,CAAC;AACL,CAAC"}

package/dist/parse.d.ts

@@ -0,0 +1,5 @@
+/**
+ * A less efficient version (using several regexes), but more readable and more permissive.
+ */
+declare function parseRevamp(str: string): [bigint, bigint];
+export { parseRevamp as parse };

package/dist/parse.js

@@ -0,0 +1,123 @@
+// @ts-expect-error
+function parseLegacy(str) {
+    let sign = 1n;
+    let ndx = 0;
+    let intPart = 0n, nonRepeatingPart = 0n, repeatingPart = 0n, nonRepeatingDenominator = 1n, repeatingDenominator = 1n;
+    const match = str.replace(/_/g, "").match(/\d+|./g);
+    if (!match) {
+        throw new TypeError(`Cannot parse "${str}" as a fraction.`);
+    }
+    if (match[0] === "-") {
+        sign = -1n;
+        ndx++;
+    }
+    else if (match[0] === "+") {
+        ndx++;
+    }
+    if (match.length === ndx + 1) {
+        nonRepeatingPart = BigInt(match[ndx++]) * sign;
+    }
+    else if (match[ndx + 1] === "." || match[ndx] === ".") {
+        // if it's a decimal number
+        if (match[ndx] !== ".") {
+            intPart = BigInt(match[ndx++]) * sign;
+        }
+        ndx++;
+        if (ndx + 1 === match.length
+            || match[ndx + 1] === "(" && match[ndx + 3] === ")"
+            || match[ndx + 1] === "'" && match[ndx + 3] === "'") {
+            nonRepeatingPart = BigInt(match[ndx]) * sign;
+            nonRepeatingDenominator = 10n ** BigInt(match[ndx].length);
+            ndx++;
+        }
+        if (match[ndx] === "(" || match[ndx + 2] === ")"
+            || match[ndx] === "'" || match[ndx + 2] === "'") {
+            intPart = BigInt(match[ndx]) * sign;
+            nonRepeatingPart = BigInt(match[ndx + 2]) * sign;
+            nonRepeatingDenominator = BigInt(match[ndx + 4]);
+            ndx += 5;
+        }
+    }
+    else if (match[ndx + 1] === "/" || match[ndx + 1] === ":") {
+        nonRepeatingPart = BigInt(match[ndx]) * sign;
+        nonRepeatingDenominator = BigInt(match[ndx + 2]);
+        ndx += 3;
+    }
+    else if (match[ndx + 3] === "/" && match[ndx + 1] === " ") {
+        intPart = BigInt(match[ndx]) * sign;
+        nonRepeatingPart = BigInt(match[ndx + 2]) * sign;
+        nonRepeatingDenominator = BigInt(match[ndx + 4]);
+        ndx += 5;
+    }
+    if (match.length <= ndx) {
+        const denominator = nonRepeatingDenominator * repeatingDenominator;
+        const numerator = repeatingPart + denominator * intPart + repeatingDenominator * nonRepeatingPart;
+        return [numerator, denominator];
+    }
+    else {
+        throw new TypeError(`Cannot parse "${str}" as a fraction.`);
+    }
+}
+// decimal forms
+const decimalInt = /^(\d+)\.?$/; // 123. or 123
+// decimal with repeating part
+const decimalRepeatingFloat = /^(\d*)\.(\d*)(?:('|\()(\d+)('|\)))?$/;
+// fraction forms
+/^\d+[/:]\d+$/; // 123\456 or 123:456
+// with a preceding whole number
+const fractionWithWhole = /^(?:(\d+) )?(\d+)[/:](\d+)$/; // 123 456/789 or 123 456:789
+/**
+ * A less efficient version (using several regexes), but more readable and more permissive.
+ */
+function parseRevamp(str) {
+    let sign = 1n;
+    if (str[0] === "-") {
+        sign = -1n;
+        str = str.slice(1);
+    }
+    else if (str[0] === "+") {
+        str = str.slice(1);
+    }
+    let r;
+    if (r = decimalInt.exec(str)) {
+        return [sign * BigInt(r[1]), 1n];
+    }
+    if (r = decimalRepeatingFloat.exec(str)) {
+        const intPart = r[1] ? BigInt(r[1]) : 0n;
+        if (r[3] === undefined) {
+            // no repeating part
+            if (!r[2] && !r[1]) {
+                // just a dot, not valid
+                throw new TypeError(`Cannot parse "${str}" as a fraction: no digits found.`);
+            }
+            const fracPart = BigInt(r[2]);
+            const denominator = 10n ** BigInt(r[2].length);
+            return [sign * (intPart * denominator + fracPart), denominator];
+        }
+        else if ((r[3] === "'") !== (r[5] === "'")) {
+            // mismatched repeating enclosing
+            throw new TypeError(`Cannot parse "${str}" as a fraction: mismatched repeating enclosing.`);
+        }
+        else {
+            const nonRepeatingPart = BigInt(r[2]);
+            const nonRepeatingDenominator = 10n ** BigInt(r[2].length);
+            const repeatingPart = BigInt(r[4]);
+            const repeatingDenominator = 10n ** BigInt(r[4].length) - 1n;
+            const denominator = nonRepeatingDenominator * repeatingDenominator;
+            const numerator = repeatingPart + denominator * intPart + repeatingDenominator * nonRepeatingPart;
+            return [sign * numerator, denominator];
+        }
+    }
+    if (r = fractionWithWhole.exec(str)) {
+        const wholePart = r[1] ? BigInt(r[1]) : 0n;
+        const numerator = BigInt(r[2]);
+        const denominator = BigInt(r[3]);
+        if (denominator === 0n) {
+            throw new TypeError(`Cannot parse "${str}" as a fraction: denominator cannot be zero.`);
+        }
+        return [sign * (wholePart * denominator + numerator), denominator];
+    }
+    throw new TypeError(`Cannot parse "${str}" as a fraction: no match.`);
+}
+export { parseRevamp as parse };
+//# sourceMappingURL=parse.js.map

package/dist/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA,mBAAmB;AACnB,SAAS,WAAW,CAAC,GAAW;IAC5B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,IAAI,OAAO,GAAG,EAAE,EACZ,gBAAgB,GAAG,EAAE,EACrB,aAAa,GAAG,EAAE,EAClB,uBAAuB,GAAG,EAAE,EAC5B,oBAAoB,GAAG,EAAE,CAAC;IAE9B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAEpD,IAAI,CAAC,KAAK,EAAE,CAAC;QACT,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,kBAAkB,CAAC,CAAC;IAChE,CAAC;IAED,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACnB,IAAI,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,EAAE,CAAC;IACV,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QAC1B,GAAG,EAAE,CAAC;IACV,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC;QAC3B,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAE,CAAC,GAAG,IAAI,CAAC;IACpD,CAAC;SAAM,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;QACtD,2BAA2B;QAE3B,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAE,CAAC,GAAG,IAAI,CAAC;QAC3C,CAAC;QACD,GAAG,EAAE,CAAC;QAEN,IAAI,GAAG,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM;eACrB,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG;eAC5C,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClD,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,GAAG,IAAI,CAAC;YAC9C,uBAAuB,GAAG,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,MAAM,CAAC,CAAC;YAC5D,GAAG,EAAE,CAAC;QACV,CAAC;QAED,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG;eACvC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAChD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,GAAG,IAAI,CAAC;YACrC,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAC,CAAC,CAAE,CAAC,GAAG,IAAI,CAAC;YAChD,uBAAuB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAC,CAAC,CAAE,CAAC,CAAC;YAChD,GAAG,IAAI,CAAC,CAAC;QACb,CAAC;IACL,CAAC;SAAM,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtD,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,GAAG,IAAI,CAAC;QAC9C,uBAAuB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAC,CAAC,CAAE,CAAC,CAAC;QAChD,GAAG,IAAI,CAAC,CAAC;IACb,CAAC;SAAM,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACtD,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,GAAG,IAAI,CAAC;QACrC,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAC,CAAC,CAAE,CAAC,GAAG,IAAI,CAAC;QAChD,uBAAuB,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAC,CAAC,CAAE,CAAC,CAAC;QAChD,GAAG,IAAI,CAAC,CAAC;IACb,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC;QACtB,MAAM,WAAW,GAAG,uBAAuB,GAAG,oBAAoB,CAAC;QACnE,MAAM,SAAS,GAAG,aAAa,GAAG,WAAW,GAAG,OAAO,GAAG,oBAAoB,GAAG,gBAAgB,CAAC;QAClG,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACpC,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,kBAAkB,CAAC,CAAC;IAChE,CAAC;AACL,CAAC;AAED,gBAAgB;AAChB,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,cAAc;AAE/C,8BAA8B;AAC9B,MAAM,qBAAqB,GAAG,sCAAsC,CAAC;AAErE,iBAAiB;AACjB,cAAc,CAAC,CAAC,qBAAqB;AACrC,gCAAgC;AAChC,MAAM,iBAAiB,GAAG,6BAA6B,CAAC,CAAC,6BAA6B;AAEtF;;GAEG;AACH,SAAS,WAAW,CAAC,GAAW;IAC5B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACjB,IAAI,GAAG,CAAC,EAAE,CAAC;QACX,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;SAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACxB,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,CAA2C,CAAC;IAChD,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,CAAC,IAAI,GAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YACrB,oBAAoB;YACpB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjB,wBAAwB;gBACxB,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,mCAAmC,CAAC,CAAC;YACjF,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YAC/B,MAAM,WAAW,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,CAAC,IAAI,GAAE,CAAC,OAAO,GAAG,WAAW,GAAG,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC;QACnE,CAAC;aAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3C,iCAAiC;YACjC,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,kDAAkD,CAAC,CAAC;QAChG,CAAC;aAAM,CAAC;YACJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACvC,MAAM,uBAAuB,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC;YAC5D,MAAM,aAAa,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;YACpC,MAAM,oBAAoB,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAC9D,MAAM,WAAW,GAAG,uBAAuB,GAAG,oBAAoB,CAAC;YACnE,MAAM,SAAS,GAAG,aAAa,GAAG,WAAW,GAAG,OAAO,GAAG,oBAAoB,GAAG,gBAAgB,CAAC;YAClG,OAAO,CAAC,IAAI,GAAE,SAAS,EAAE,WAAW,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IAED,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAClC,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;YACrB,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,8CAA8C,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,CAAC,IAAI,GAAE,CAAC,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,IAAI,SAAS,CAAC,iBAAiB,GAAG,4BAA4B,CAAC,CAAC;AAC1E,CAAC;AAED,OAAO,EAAE,WAAW,IAAI,KAAK,EAAE,CAAC"}

package/dist/stringize.d.ts

@@ -0,0 +1,2 @@
+import { Fraction } from "./interface.js";
+export declare function stringize(this: Fraction, dec?: bigint): string;

package/dist/stringize.js

@@ -0,0 +1,78 @@
+const MAX_CYCLE_LENGTH = 2000n;
+function modPow(base, exp, mod) {
+    let result = 1n;
+    while (exp > 0n) {
+        if (exp & 1n) {
+            result = (result * base) % mod;
+        }
+        base = (base * base) % mod;
+        exp >>= 1n;
+    }
+    return result;
+}
+function cycleLen(denominator) {
+    while (denominator % 2n === 0n)
+        denominator /= 2n;
+    while (denominator % 5n === 0n)
+        denominator /= 5n;
+    if (denominator === 1n)
+        return 0n;
+    let rem = 10n % denominator;
+    let t = 1n;
+    while (rem !== 1n) {
+        rem = (rem * 10n) % denominator;
+        t++;
+        if (t > MAX_CYCLE_LENGTH) {
+            return 0n; // meaning that it's not printed as a cyclic number, the answer is likely denominator-1
+        }
+    }
+    return t;
+}
+function cycleStart(denominator, cycleLength) {
+    let rem1 = 1n;
+    let rem2 = modPow(10n, cycleLength, denominator);
+    for (let t = 0n; t < 300n; t++) {
+        if (rem1 === rem2) {
+            return t;
+        }
+        rem1 = (rem1 * 10n) % denominator;
+        rem2 = (rem2 * 10n) % denominator;
+    }
+    return 0n;
+}
+export function stringize(dec = 15n) {
+    let N = this.numerator < 0n ? -this.numerator : this.numerator;
+    let D = this.denominator;
+    const cyclen = cycleLen(D);
+    const cycoff = cycleStart(D, cyclen);
+    let str = (this.numerator < 0n ? "-" : "")
+        + (N / D).toString();
+    N %= D;
+    N *= 10n;
+    if (N) {
+        str += ".";
+    }
+    if (cyclen) {
+        for (let i = cycoff; i--;) {
+            str += (N / D).toString();
+            N %= D;
+            N *= 10n;
+        }
+        str += "(";
+        for (let i = cyclen; i--;) {
+            str += (N / D).toString();
+            N %= D;
+            N *= 10n;
+        }
+        str += ")";
+    }
+    else {
+        for (let i = dec; N && i--;) {
+            str += (N / D).toString();
+            N %= D;
+            N *= 10n;
+        }
+    }
+    return str;
+}
+//# sourceMappingURL=stringize.js.map

package/dist/stringize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringize.js","sourceRoot":"","sources":["../src/stringize.ts"],"names":[],"mappings":"AAEA,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAE/B,SAAS,MAAM,CAAC,IAAY,EAAE,GAAW,EAAE,GAAW;IAClD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,OAAO,GAAG,GAAG,EAAE,EAAE,CAAC;QACd,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC;YACX,MAAM,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC;QACnC,CAAC;QAED,IAAI,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC;QAC3B,GAAG,KAAK,EAAE,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,SAAS,QAAQ,CAAC,WAAmB;IACjC,OAAO,WAAW,GAAG,EAAE,KAAK,EAAE;QAAE,WAAW,IAAI,EAAE,CAAC;IAElD,OAAO,WAAW,GAAG,EAAE,KAAK,EAAE;QAAE,WAAW,IAAI,EAAE,CAAC;IAElD,IAAI,WAAW,KAAK,EAAE;QAAE,OAAO,EAAE,CAAC;IAElC,IAAI,GAAG,GAAG,GAAG,GAAG,WAAW,CAAC;IAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;IAEX,OAAO,GAAG,KAAK,EAAE,EAAE,CAAC;QAChB,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC;QAChC,CAAC,EAAE,CAAC;QACJ,IAAI,CAAC,GAAG,gBAAgB,EAAE,CAAC;YACvB,OAAO,EAAE,CAAC,CAAC,uFAAuF;QACtG,CAAC;IACL,CAAC;IACD,OAAO,CAAC,CAAC;AACb,CAAC;AACD,SAAS,UAAU,CAAC,WAAmB,EAAE,WAAmB;IACxD,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAEjD,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,OAAO,CAAC,CAAC;QACb,CAAC;QAED,IAAI,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC;QAClC,IAAI,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,EAAE,CAAC;AACd,CAAC;AAED,MAAM,UAAU,SAAS,CAAiB,GAAG,GAAG,GAAG;IAC/C,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;IAC/D,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAErC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;UACpC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAEzB,CAAC,IAAI,CAAC,CAAC;IACP,CAAC,IAAI,GAAG,CAAC;IAET,IAAI,CAAC,EAAE,CAAC;QACJ,GAAG,IAAI,GAAG,CAAC;IACf,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACT,KAAK,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC;YACxB,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC,IAAI,CAAC,CAAC;YACP,CAAC,IAAI,GAAG,CAAC;QACb,CAAC;QACD,GAAG,IAAI,GAAG,CAAC;QACX,KAAK,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC;YACxB,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC,IAAI,CAAC,CAAC;YACP,CAAC,IAAI,GAAG,CAAC;QACb,CAAC;QACD,GAAG,IAAI,GAAG,CAAC;IACf,CAAC;SAAM,CAAC;QACJ,KAAK,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;YAC1B,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC,IAAI,CAAC,CAAC;YACP,CAAC,IAAI,GAAG,CAAC;QACb,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@gouvernathor/fraction.ts",
-  "version": "1.0.0",
+  "version": "1.1.0",
   "description": "A rational numbers library written in TypeScript",
   "keywords": [
     "math",