OpenMath

OpenMath is an extensible standard for representing the semantics of mathematical objects.

https://openmath.org

OpenMath Content Dictionary: polygb2

Canonical URL:
http://www.win.tue.nl/~amc/oz/om/cds/polygb2.ocd
CD Base:
http://www.openmath.org/cd
CD File:
polygb2.ocd
CD as XML Encoded OpenMath:
polygb2.omcd
Defines:
extended_in, in, in_radical, minimal_groebner_element
Date:
2004-06-01
Version:
1 (Revision 1)
Review Date:
2006-06-01
Status:
experimental

This CD contains operators for Groebner basis computations with polynomial expressions. It adds features to polygb1 like testing membership of an ideal, and of the radical ideal of an ideal, and providing insight as to how to change the ideal minimally so as to let this happen. Suggestion: polygb3 is to contain a trace of the GB computation. polygb4 is to contain S poly

in

Description:

This symbol is a function of at least 4 arguments. The first argument is a polynomial p, the second is a list of variables, the third is an ordering the fourth is a list of polynomials B, and, optionally, the fifth is a polynomial_ring. When applied to its arguments, it represents the boolean value of the assertion that p belongs to the ideal generated by B.

Example:
( x - y ) ∈ ( x , y )
Signatures:
sts

[Next: in_radical] [Last: extended_in] [Top]

in_radical

Description:

This symbol is a function of at least 4 arguments. The first argument should be a polynomial p, the second is a list of variables, the third is an ordering the fourth is a list of polynomials B, and optionally: the fifth is a polynomial_ring. When applied to its arguments, it represents the boolean value of the assertion that p belongs to the radical ideal generated by B.

Example:
The following evaluates to true:
in_radical ⁡ ( x - y , ( x , y ) , ordering ⁡ ( lexicographic ) , ( x 2 ⁢ y - 1 ) 2 y 2 ⁢ x - 1 )
The following evaluates to false:
in_radical ⁡ ( x - y , ( x , y ) , ordering ⁡ ( lexicographic ) , -1 ⁢ x + x 3 1 + y + y 3 )
Signatures:
sts

[Next: minimal_groebner_element] [Previous: in] [Top]

minimal_groebner_element

Description:

This symbol is a function with 3 arguments. First argument is a list of variables, the second is an ordering, the third is a list B of polynomials.

[Optionally, the fourth is a polynomial ring.]

When applied to its arguments, it represents the polynomial in the Groebner basis of B with respect to the ordering with the least leading monomial.

Example:
The following evaluates to the polynomial 1-2y^3+y^6 (up to a scalar multiple)
minimal_groebner_element ⁡ ( ( x , y ) , ordering ⁡ ( lexicographic ) , ( x 2 ⁢ y - 1 ) 2 y 2 ⁢ x - 1 )
Signatures:
sts

[Next: extended_in] [Previous: in_radical] [Top]

extended_in

Description:

This symbol is a function of at least 3 arguments. The first argument is a list of variables. The second and third argument are lists of polynomials in the variables from the first argument, C and T respectively. When applied to its arguments, it represents the boolean value of the assertion that all elements t in T can be written as t = f_1*c_1 + ... + f_n*c_n (c_i in C). If the optional 4th argument is 1, those f_i are returned.

Example:
extended_in ⁡ ( ( x , y ) , x + y x + 2 ⁢ y , ( y ) , 1 )
Signatures:
sts

[First: in] [Previous: minimal_groebner_element] [Top]