Exact Polynomial CAS Kernel

Exact multivariate arithmetic — GCD, square-free, Gröbner, bivariate factorization
Supports identifiers like x, y, theta, powers ^, rationals 3/4, and implicit multiplication 2x, xy, (x+1)(x-1).

Output is rendered in LaTeX via KaTeX. Spinner is shown only during active computation.

Output

Choose an action.