Diese Frage könnte sich auf jedes Computeralgebrasystem beziehen, das die Groebner-Basis aus einer Reihe von Polynomen berechnen kann (Mathematica, Singular, GAP, Macaulay2, MatLab, etc.).
Ich arbeite mit einem überbestimmten System von Polynomen, für die die volle groebner Basis zu schwer zu berechnen ist, aber es wäre für mich wertvoll, die groebner Basiselemente, wie sie gefunden werden, auszudrucken, damit ich weiß wenn ein bestimmtes Polynom in der Groebner-Basis ist. Gibt es eine Möglichkeit, dies zu tun?
Aufgrund der Funktionsweise des Buchberger-Algorithmus (siehe zum Beispiel Wikipedia oder IVA ), die Teilergebnisse, die Sie durch das Drucken von Zwischenergebnissen erhalten konnten, sind nicht garantiert eine Gröbner-Basis.
>Abhängig von Ihrem ultimativen Ziel möchten Sie vielleicht stattdessen einen Algorithmus zur Dreiecksbildung von Idealen wie Ritt-Wus Algorithmus ausprobieren (siehe IVA oder Shang-Ching Chous Buch ). Dies ist etwas ähnlich der Reduktion auf die Zeilen-Staffelform in der linearen Algebra, und Sie können den Algorithmus an irgendeinem Punkt unterbrechen, um ein teilweise reduziertes System von Polynomgleichungen zu erhalten.
Tags und Links math wolfram-mathematica matlab singular gap-system