Function rationalGcd

src/compute-engine/numerics/rationals.ts:208–221

(lhs: Rational, rhs: Rational)

}

export function rationalGcd(lhs: Rational, rhs: Rational): Rational {
  if (isMachineRational(lhs) && isMachineRational(rhs)) {
    if (lhs[1] === 1 && rhs[1] === 1) return [gcd(lhs[0], rhs[0]), 1];
    return [gcd(lhs[0], rhs[0]), lcm(lhs[1], rhs[1])];
  }

  if (lhs[1] === 1 && rhs[1] === 1)
    return [bigGcd(BigInt(lhs[0]), BigInt(rhs[0])), BigInt(1)];

  return [
    bigGcd(BigInt(lhs[0]), BigInt(rhs[0])),
    bigLcm(BigInt(lhs[1]), BigInt(rhs[1])),
  ] as Rational;
}

// export function rationalLcm(
//   [a, b]: [number, number],