Documentation moved.
This entry is documented with its primary interface. Open the documentation →
Function
src/index.ts:1042nerdamer.gcd
nerdamer.gcd(x: ExpressionInput, y: ExpressionInput): ExpressionComputes a symbolic greatest common divisor over rational polynomial structure.
remarks
Numerators and denominators are polynomialized before exact sparse integer GCD
reconstruction. Rational polynomial coefficients are cleared to integers and
their shared clearing denominator is restored afterward. Function-valued,
exponential, and irrational constants use the existing polynomialization
substitutions and are restored after the numerator and denominator GCDs are
combined. Unsupported inputs remain symbolic as gcd(x, y).
Parameters
| Name | Type | Description |
|---|---|---|
x | ExpressionInput | First expression-compatible operand. |
y | ExpressionInput | Second expression-compatible operand. |
Returns
Expression — The exact symbolic GCD or an unevaluated gcd expression.