PolynomialReduce

PolynomialReduce[poly,{poly1,poly2,},{x1,x2,}]
によって を簡約したリストを返す.求まるリストはの形であり,b は最小で, に等しい.

詳細とオプション詳細とオプション

  • 多項式 は,このいずれの項も任意の の先頭の項で割ることができないという属性を持つ.
  • がグレブナー(Gröbner)基底になっている場合,その属性によりPolynomialReduceは一意に定まる余りを求められる.
  • GroebnerBasisに関して与えられるオプション
  • MonomialOrderLexicographic単項式の並び順を決定する基準
    CoefficientDomainRationals係数とみなされるオブジェクトの型
    Modulus0数値係数の法
1996年に導入
(3.0)