|
PolynomialReduce
 PolynomialReduce[poly,   ,  , ...  ,   ,  , ...  ] ergibt eine Liste, die eine Reduktion von poly mittels der  darstellt.
Die Liste hat die Form    ,  , ...  , b , wobei b minimal und   +   + ... + b exakt gleich poly ist.
Das Polynom b hat die Eigenschaft, daß keiner seiner Terme durch führende Terme irgendeines der  teilbar ist.
Wenn die  eine Gröbner-Basis bilden, dann bestimmt diese Eigenschaft eindeutig den Rest, der mit PolynomialReduce erhalten wird.
Die folgenden Optionen können angegeben werden, wie für GroebnerBasis:
Siehe Das Mathematica Buch: 3.3.4.
Siehe auch: GroebnerBasis, PolynomialRemainder, PolynomialMod.
Verwandtes Paket: Algebra`SymmetricPolynomials`.
Further Examples
|
