PolynomialReduce

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

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

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