This entry is documented with its primary interface. Open the documentation →
nerdamer.groebner
nerdamer.groebner(expressionArray: Vector | ExpressionInput[], vars?: string[]): VectorComputes an expression-facing Groebner basis for polynomial generators.
All generators are converted using one variable order so exponent indices remain
consistent. Rational coefficient denominators are cleared per generator before the
exact integer-coefficient sparse engine runs; multiplying a generator by a nonzero
scalar preserves the generated ideal. When vars is omitted, variables are
collected across every generator.
This convenience wrapper uses lexicographic order and a reduced, deterministically
sorted basis. Use the advanced Groebner APIs for another monomial order, resource
budgets, elimination, or ideal membership.
Parameters
| Name | Type | Description |
|---|---|---|
expressionArray | Vector | ExpressionInput[] | Polynomial-like generators of the ideal. |
vars | string[] | Variable order, from highest to lowest lexicographic priority. |
Returns
Vector — A new vector containing expression representations of the basis.
