extension: singular
Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory. It is free and open-source under the GNU General Public Licence.
http://www.singular.uni-kl.de/
application: ideal
Objects
-
Properties of Groebner
-
Functions, methods and objects and attached from/to Singular.
-
SINGULAR_IDEAL: SingularIdeal
Intermediate object wrapping the Singular objects, i.e. the ring with the monomial ordering and the ideal.
-
User Methods of Groebner
-
-
User Methods of Ideal
-
contains_monomial (s) → Polynomial
Check via saturation whether the ideal contains a monomial. Returns a monomial from the ideal or the trivial monomial if there is none.
Parameters
String s Optional term order (see ORDER_NAME) for intermediate Groebner bases, default: "dp"Returns
Polynomial -
SOLVE ()
UNDOCUMENTED
-
User Functions
-
Functions, methods and objects and attached from/to Singular.
-
singular_eval (s)
-
singular_get_int (s)
-
singular_get_var (s) → List
Property Types
-
Functions, methods and objects and attached from/to Singular.
-
SingularIdeal
An intermediate object wrapping the ideal on the Singular side and providing its methods.
-