equiprojectable decomposition of a list of regular chains

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
  - LinearFunctionalSystems
  - LinearOperators
  - LREtools
  - Numerical Solutions
  - QDifferenceEquations
  - RegularChains
    - ChainTools サブパッケージ
    - ConstructibleSetTools サブパッケージ
    - FastArithmeticTools サブパッケージ
    - 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[MatrixCombine] - equiprojectable decomposition of a list of regular chains

	Calling Sequence
	MatrixCombine(lrc, R) MatrixCombine(lrc, R, lm)

Parameters

R	-	polynomial ring
lrc	-	list of regular chains of R
lm	-	list of matrices with coefficients in R

Description

•	The function call MatrixCombine(lrc, R, lm) returns the equiprojectable decomposition of the variety given by lrc, and the corresponding combined matrices.

•	The variety encoded by lrc is the union of the regular zero sets of the regular chains of lrc.

•	It is assumed that every regular chain in lrc is zero-dimensional and strongly normalized, and that all matrices in lm have the same format.

•	It is also assumed that lrc and lm have the same number of elements.

•	This command is part of the RegularChains package, so it can be used in the form MatrixCombine(..) only after executing the command with(RegularChains). However, it can always be accessed through the long form of the command by using RegularChains[MatrixCombine](..).

Examples

Consider a polynomial ring with three variables

Consider the following four regular chains of R

Consider the following four matrices over R

m1 := Matrix([[x+y-z, x-y+1], [x-2*y+1, x-2+z]])

(1)

m2 := Matrix([[x-z-1, x-2+z], [x-3+y, x+y+z-1]])

(2)

m3 := Matrix([[x-y-1, x+y-2*z], [x+y-z-3, x+y+z-2]])

(3)

m4 := Matrix([[x-z-y+1, x+2*z-2*y], [x+y-z+1, x+y-z-1]])

(4)

We view each matrix as a result obtained modulo the corresponding regular chain in the given order. We combine these four results as follows

clr := [[Matrix([[-2*y+1, 2-4*y], [2-4*y, y-1]]), regular_chain], [Matrix([[3/2-2*z-(1/2)*z^2, 3/2-(3/2)*z^2-2*z], [4-3*z^2-5*z, -1/2-(1/2)*z^2]]), regular_chain]]

(5)

The four cases cannot be combined into a single one. In fact, we obtained the following two cases

(6)

(7)

The two ideals generated by rc1 and rc2 are obviously relatively prime (no common roots in z) so the Chinese Remaindering Theorem applies. However, if we try to recombine them, we create a polynomial in y with a zero-divisor as initial. This is forbidden by the properties of a regular chain.