 |
PolynomialReduce
PolynomialReduce[poly, {poly1, poly2, ...}, {x1, x2, ...}]
によって 
を簡約したリストを返す．求まるリストは
の形であり，b は最小で，
は 
に等しい．
詳細とオプション
- 多項式
は，このいずれの項も任意の 
の先頭の項で割ることができないという属性を持つ． 
がグレブナー(Gröbner)基底になっている場合，その属性によりPolynomialReduceは一意に定まる余りを求められる．- GroebnerBasisに関して与えられるオプション：
-
MonomialOrder Lexicographic 単項式の並び順を決定する基準 CoefficientDomain Rationals 係数とみなされるオブジェクトの型 Modulus 0 数値係数の法
バージョン 3 の新機能
