×

An algebraic problem and the software Maple. (English) Zbl 1027.13015

Summary: The purpose of this note is to show how we managed to answer an algebraic question that researchers have put for years: namely, if a polynomial in the polynomial ring in several variables belongs to an ideal of this ring. Using the software Maple V, Release 4, we present an algorithm that decides whether a particular polynomial belongs to a particular ideal of the mentioned polynomial ring. A brief introduction describes how our specific algebraic problem has appeared and then it is presented together with the notation used.

MSC:

13P10 Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

Software:

Maple
PDFBibTeX XMLCite