Versions in this module Expand all Collapse all v0 v0.8.0 Jul 19, 2026 Changes in this version + var ErrNotZeroDimensional = errors.New("groebner: system is not zero-dimensional") + func CloneRat(r *big.Rat) *big.Rat + func CompareGrevlex(a, b Monomial) int + func CompareGrlex(a, b Monomial) int + func CompareLex(a, b Monomial) int + func Divides(g, f Poly, o Order) bool + func InIdeal(f Poly, gens []Poly, o Order) bool + func IsGroebnerBasis(g []Poly, o Order) bool + func IsReducible(f Poly, divisors []Poly, o Order) bool + func MonomialLess(o Order, a, b Monomial) bool + func NewRat(a, b int64) *big.Rat + func RatFromInt(a int64) *big.Rat + func RatFromString(s string) (*big.Rat, bool) + func RatIsOne(r *big.Rat) bool + func RatIsZero(r *big.Rat) bool + func RatToFloat(r *big.Rat) float64 + func RealSolutions(sols [][]complex128, imagTol float64) [][]float64 + func SolveUnivariate(coeffs []complex128, seed int64) []complex128 + func SolveZeroDimensional(gens []Poly, seed int64, tol float64) ([][]complex128, error) + type DivisionResult struct + Quotients []Poly + Remainder Poly + func MultivariateDivide(f Poly, divisors []Poly, o Order) DivisionResult + type Ideal struct + func NewIdeal(o Order, gens ...Poly) Ideal + func NewIdealN(n int, o Order, gens ...Poly) Ideal + func (id Ideal) Contains(f Poly) bool + func (id Ideal) Eliminate(k int) Ideal + func (id Ideal) Equal(other Ideal) bool + func (id Ideal) Generators() []Poly + func (id Ideal) GroebnerBasis() []Poly + func (id Ideal) Intersect(other Ideal) Ideal + func (id Ideal) IsUnit() bool + func (id Ideal) IsZero() bool + func (id Ideal) IsZeroDimensional() bool + func (id Ideal) Nvars() int + func (id Ideal) Order() Order + func (id Ideal) Product(other Ideal) Ideal + func (id Ideal) Quotient(other Ideal) Ideal + func (id Ideal) QuotientBasis() ([]Monomial, bool) + func (id Ideal) QuotientElem(h Poly) Ideal + func (id Ideal) ReducedGroebnerBasis() []Poly + func (id Ideal) Solve(seed int64, tol float64) ([][]complex128, error) + func (id Ideal) Sum(other Ideal) Ideal + func (id Ideal) VectorSpaceDimension() (int, bool) + func (id Ideal) WithOrder(o Order) Ideal + type Monomial []int + func MonomialMax(o Order, a, b Monomial) Monomial + func NewMonomial(exps ...int) Monomial + func VarMonomial(n, i int) Monomial + func ZeroMonomial(n int) Monomial + func (m Monomial) Clone() Monomial + func (m Monomial) Coprime(o Monomial) bool + func (m Monomial) Degree() int + func (m Monomial) Div(o Monomial) (Monomial, bool) + func (m Monomial) Divides(o Monomial) bool + func (m Monomial) Equal(o Monomial) bool + func (m Monomial) Exp(i int) int + func (m Monomial) Format(vars []string) string + func (m Monomial) GCD(o Monomial) Monomial + func (m Monomial) IsConstant() bool + func (m Monomial) LCM(o Monomial) Monomial + func (m Monomial) Max(o Monomial) Monomial + func (m Monomial) Mul(o Monomial) Monomial + func (m Monomial) Nvars() int + func (m Monomial) Pow(k int) Monomial + func (m Monomial) String() string + func (m Monomial) Support() []int + func (m Monomial) TotalDegree() int + type Order func(a, b Monomial) int + func BlockOrder(sep int, first, second Order) Order + func EliminationOrder(sep int) Order + func GrevlexOrder() Order + func GrlexOrder() Order + func LexOrder() Order + func ReverseOrder(o Order) Order + func WeightOrder(weights []int, tie Order) Order + type Poly struct + func AddSlice(n int, ps []Poly) Poly + func Buchberger(gens []Poly, o Order) []Poly + func Constant(n int, c *big.Rat) Poly + func ConstantInt(n int, c int64) Poly + func DivideOne(f, g Poly, o Order) (quotient, remainder Poly) + func EliminationIdeal(gens []Poly, k int, o Order) []Poly + func ExactQuotient(f, g Poly, o Order) (Poly, bool) + func FromTerm(n int, t Term) Poly + func GroebnerBasis(gens []Poly, o Order) []Poly + func MinimalGroebnerBasis(g []Poly, o Order) []Poly + func MonomialPoly(n int, m Monomial) Poly + func NewPoly(n int, terms ...Term) Poly + func NormalForm(f Poly, g []Poly, o Order) Poly + func One(n int) Poly + func ReducedGroebnerBasis(gens []Poly, o Order) []Poly + func Remainder(f Poly, divisors []Poly, o Order) Poly + func SPolynomial(f, g Poly, o Order) Poly + func Var(n, i int) Poly + func Vars(n int) []Poly + func Zero(n int) Poly + func (p Poly) Add(o Poly) Poly + func (p Poly) Clone() Poly + func (p Poly) Coeff(m Monomial) *big.Rat + func (p Poly) Coefficients() []*big.Rat + func (p Poly) ConstantTerm() *big.Rat + func (p Poly) DegreeIn(i int) int + func (p Poly) DependsOn(i int) bool + func (p Poly) Derivative(i int) Poly + func (p Poly) Equal(o Poly) bool + func (p Poly) Eval(point []*big.Rat) *big.Rat + func (p Poly) EvalComplex(point []complex128) complex128 + func (p Poly) EvalComplexAbs(point []complex128) float64 + func (p Poly) Format(vars []string) string + func (p Poly) IsConstant() bool + func (p Poly) IsOne() bool + func (p Poly) IsZero() bool + func (p Poly) LeadingCoeff(o Order) *big.Rat + func (p Poly) LeadingMonomial(o Order) Monomial + func (p Poly) LeadingTerm(o Order) Term + func (p Poly) Len() int + func (p Poly) Monic(o Order) Poly + func (p Poly) Monomials() []Monomial + func (p Poly) Mul(o Poly) Poly + func (p Poly) MulMonomial(m Monomial) Poly + func (p Poly) MulTerm(t Term) Poly + func (p Poly) Multidegree(o Order) Monomial + func (p Poly) Neg() Poly + func (p Poly) Nvars() int + func (p Poly) Pow(k int) Poly + func (p Poly) ScalarMul(c *big.Rat) Poly + func (p Poly) String() string + func (p Poly) Sub(o Poly) Poly + func (p Poly) Subst(i int, val *big.Rat) Poly + func (p Poly) Terms() []Term + func (p Poly) TotalDegree() int + func (p Poly) UsedVars() []int + type Ring struct + func NewNamedRing(names []string, o Order) Ring + func NewRing(n int, o Order) Ring + func (r Ring) Constant(c *big.Rat) Poly + func (r Ring) ConstantInt(c int64) Poly + func (r Ring) Divide(f Poly, divisors []Poly) DivisionResult + func (r Ring) Format(p Poly) string + func (r Ring) GroebnerBasis(gens []Poly) []Poly + func (r Ring) Ideal(gens ...Poly) Ideal + func (r Ring) LeadingTerm(p Poly) Term + func (r Ring) Names() []string + func (r Ring) Nvars() int + func (r Ring) One() Poly + func (r Ring) Order() Order + func (r Ring) Remainder(f Poly, divisors []Poly) Poly + func (r Ring) SPolynomial(f, g Poly) Poly + func (r Ring) Var(i int) Poly + func (r Ring) Vars() []Poly + func (r Ring) WithOrder(o Order) Ring + func (r Ring) Zero() Poly + type Term struct + Coeff *big.Rat + Mono Monomial + func NewTerm(c *big.Rat, m Monomial) Term + func (t Term) Clone() Term + func (t Term) Degree() int + func (t Term) Div(o Term) (Term, bool) + func (t Term) Divides(o Term) bool + func (t Term) Equal(o Term) bool + func (t Term) Format(vars []string) string + func (t Term) IsZero() bool + func (t Term) Mul(o Term) Term + func (t Term) Neg() Term + func (t Term) String() string
Go to main page