compute a minimal basis for the nullspace of a matrix of polynomials

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
  - Magma
  - 多項式
    - Groebner
    - PolynomialIdeals
    - PolynomialTools
    - RationalNormalForms
    - オペレーション
    - パーツを抽出する
    - 代数曲線
    - 処理
    - 因数分割してルートを求める
    - 多項式近似代数（SNAP）パッケージ
    - 直交多項式
    - 行列多項式代数
      - 概要
      - Coeff
      - HermiteForm
      - Ldegree
      - MahlerSystem
      - MatrixGCRD
      - MatrixLCRM
      - MinimalBasis
      - PopovForm
      - RightDivision
      - RowReducedForm
      - SmithForm
      - Tcoeff
    - Berlekamp
    - bernoulli コマンド
    - bernstein
    - chrem
    - cyclotomic
    - DistDeg
    - euler コマンド
    - fibonacci
    - gcd コマンド
    - GF
    - icontent
    - Interp
    - maxnorm コマンド
    - mipolys
    - powseries
    - prem
    - Prem
    - Prevprime
    - Primitive
    - primpart
    - Primpart
    - ProbSplit
    - Quo
    - randpoly
    - Randpoly
    - ratpolys
    - SDMPolynom データ構造
    - sign
    - sinterp
    - sturmseq
    - Sylvester Matrix
    - スプライン
    - 入力
    - 分割
    - 多項式の生成
    - 次数
    - 補間
    - 評価
  - 式の処理
  - 有理式表現
  - 歪多項式
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
  - 例
  - LinearAlgebra パッケージ
  - 行列の不活性コマンド
  - 行列多項式代数
  - 配列、行列、ベクトルのインデックス
  - 線形代数パッケージの概要
  - 線形代数パッケージの詳細
  - OrderBasis コマンド
  - ドット積
  - 座標系の変更
  - 線形代数計算
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

MatrixPolynomialAlgebra[MinimalBasis] - compute a minimal basis for the nullspace of a matrix of polynomials

	Calling Sequence
	MinimalBasis(A, x) MinimalBasis[right](A, x) MinimalBasis[left](A, x)

Parameters

A	-	Matrix
x	-	variable name of the polynomial domain

Description

•

The MinimalBasis(A,x) and MinimalBasis[right](A,x) commands compute a minimal basis for the right nullspace of an m x n rectangular matrix of univariate polynomials in x over the field of rational numbers Q, or rational expressions over Q, that is, univariate polynomials in x with coefficients in Q(a1,...,an).

•	The MinimalBasis[left](A,x) command computes a minimal basis for the left nullspace.

•	The computed minimal basis is returned as a matrix of polynomials. A minimal basis for the right nullspace is specified by the columns of the matrix, whereas a minimal basis for the left nullspace is specified by the rows of the matrix. If the nullspace is trivial then the result returned is NULL.

•	The right minimal indices of A are specified by the column degrees of the returned matrix. The left minimal indices of A are specified by the row degrees of the returned matrix.

Examples

A := Matrix([[z^5-z^2-1, z^3-2*z^2-1], [z^3-2*z^2+2*z-2, z^3-3*z^2+3*z-4], [z+1, 2-z^3]])

(1)

(2)

(3)

The next example returns NULL, so the right nullspace is {0}.

	See Also
	expand, indets, map, Matrix, MatrixPolynomialAlgebra, MatrixPolynomialAlgebra[MahlerSystem]

References

Beckermann, B. and Labahn, G. "Fraction-free Computation of Matrix Rational Interpolants and Matrix GCDs." SIAM Journal on Matrix Analysis and Applications, Vol. 22 No. 1, (2000): 114-144.