compute the resultant of two polynomials

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
  - LinearFunctionalSystems
  - LinearOperators
  - LREtools
  - Numerical Solutions
  - QDifferenceEquations
  - RegularChains
    - ChainTools サブパッケージ
    - ConstructibleSetTools サブパッケージ
    - FastArithmeticTools サブパッケージ
      - 概要
      - BivariateModularTriangularize
      - IteratedResultantDim0
      - IteratedResultantDim1
      - NormalFormDim0
      - NormalizePolynomialDim0
      - NormalizeRegularChainDim0
      - RandomRegularChainDim0
      - RandomRegularChainDim1
      - ReduceCoefficientsDim0
      - RegularGcdBySpecializationCube
      - RegularizeDim0
      - ResultantBySpecializationCube
      - SubresultantChainSpecializationCube
    - MatrixTools サブパッケージ
    - ParametricSystemTools サブパッケージ
    - SemiAlgebraicSetTools サブパッケージ
    - 概要
    - 例題
    - DisplayPolynomialRing
    - ExtendedRegularGcd
    - Inequations
    - Info
    - Initial
    - Intersect
    - MainDegree
    - MainVariable
    - MatrixCombine
    - NormalForm
    - PolynomialRing
    - RegularGcd
    - RegularizeInitial
    - SamplePoints
    - Separant
    - SparsePseudoRemainder
    - SuggestVariableOrder
    - Tail
    - Triangularize
    - ランク
    - 不変か判定
    - 方程式の抽出
    - 逆行列
  - SolveTools
  - 根
  - 解く
  - 記号解
  - hermite pade コマンド
  - invfunc
  - isolate
  - LeastSquares
  - LinearSolve
  - MinimalPolynomial コマンド
  - minimax コマンド
  - msolve
  - powsolve
  - rsolve
  - singular
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

RegularChains[FastArithmeticTools][ResultantBySpecializationCube] - compute the resultant of two polynomials

	Calling Sequence
	ResultantBySpecializationCube(f1, f2, v, SCube, R)

Parameters

R	-	polynomial ring
f1	-	polynomial of R
f2	-	polynomial of R
v	-	variable of R
SCube	-	subresultant chain specialization cube

Description

•	The call ResultantBySpecializationCube(f1, f2, v, SCube, R) returns the resultant of f1 and f2 w.r.t. v. It is computed by interpolating the data in SCube. See the command SubresultantChainSpecializationCube to learn how to build this data-structure.

•	f1 and f2 must have main variable v and must hold.

•	R must have a prime characteristic such that FFT-based polynomial arithmetic can be used for this computation. The higher the degrees of f1 and f2 are, the larger must be such that divides . If the degree of f1 or f2 is too large, then an error is raised.

Examples

Define a ring of polynomials.

(1)

Define two polynomials of R.

(2)

(3)

Compute images of the subresultant chain of sufficiently many points in order to interpolate. Multi-dimensional TFT is used to evaluate and interpolate since 1 is passed as fifth argument

(4)

Interpolate the resultant from the SCube

r2 := 962592768*a^3*b^3+a^3*d*b^2+a^3*c*b+962592768*a^3*c*d+2*a^2*b^3*c+a^2*b^3*d^2+962592767*a^2*b^2*c*d+962592768*a^2*b^2*d^3+962592767*a^2*b*c^2+962592768*a^2*b*d^2*c+2*a^2*d*c^2+a^2*d^3*c+962592768*a*b^3*c^2+962592767*a*b^3*d^2*c+a*b^2*d*c^2+2*a*b^2*d^3*c+a*b*c^3+2*a*b*d^2*c^2+962592768*a*d*c^3+962592767*a*d^3*c^2+d^2*c^2*b^3+962592768*d^3*c^2*b^2+962592768*d^2*c^3*b+d^3*c^3

(5)

Define a regular chain with r2. Note that r2 is not required to be squarefree.

(6)

Compute a regular GCD of f1 and f2 modulo rc

g2 := [[x*a^2+x*a*b^2+962592767*x*a*c+962592768*x*a*d^2+962592768*x*c*b^2+x*c^2+x*d^2*c+962592768*b*a^2+962592768*a*d*b^2+a*c*b+a*b*d^2+a*c*d+b^2*c*d+962592768*b*d^2*c+962592768*d*c^2, regular_chain], [x^2*b+962592768*x^2*d+a*x+962592768*c*x+962592768*a*b+c*d, regular_chain], [x^2*b+962592768*x^2*d+a*x+962592768*c*x+962592768*a*b+c*d, regular_chain]]