contract an ideal to a larger ring

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
  - Magma
  - 多項式
    - Groebner
    - PolynomialIdeals
      - 概要
      - 例題
      - <>
      - EliminationIdeal
      - EquidimensionalDecomposition
      - 契約
      - IdealInfo[Variables]
      - Intersect
      - IsProper
      - MaximalIndependentSet
      - Operators[Simplify]
      - PrimeDecomposition
      - RadicalMembership
      - Saturate
      - subset
      - UnivariatePolynomial
      - VanishingIdeal
      - ZeroDimensionalDecomposition
      - 商
      - 簡単化
    - PolynomialTools
    - RationalNormalForms
    - オペレーション
    - パーツを抽出する
    - 代数曲線
    - 処理
    - 因数分割してルートを求める
    - 多項式近似代数（SNAP）パッケージ
    - 直交多項式
    - 行列多項式代数
    - 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
    - スプライン
    - 入力
    - 分割
    - 多項式の生成
    - 次数
    - 補間
    - 評価
  - 式の処理
  - 有理式表現
  - 歪多項式
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

PolynomialIdeals[Contract] - contract an ideal to a larger ring

	Calling Sequence
	Contract(J, X)

Parameters

J	-	polynomial ideal
X	-	set of variable names

Description

•	The Contract command contracts the image of an ideal in back to the polynomial ring .

•

The typical use of this command is to contract the result of a zero-dimensional decomposition back to the original ring. This is part of a process used to extend algorithms for zero-dimensional ideals to ideals of positive dimension. For additional details, see the help page for ZeroDimensionalDecomposition.

Examples

>	$Jxy := `<,>`(z^2x^2-y, z^3x*y, variables = {x, y})$

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

	See Also
	PolynomialIdeals, PolynomialIdeals[HilbertDimension], PolynomialIdeals[IdealContainment], PolynomialIdeals[IdealInfo], PolynomialIdeals[Intersect], PolynomialIdeals[ZeroDimensionalDecomposition]