check for monomial order data structures

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
- 微分方程式
- 微積分
- 数
  - P-進数関数
  - 型チェック
    - 概要
    - algnum
    - atomic
    - builtin
    - closedideal
    - complex
    - complexcons
    - concatenated
    - cx_zero
    - facint
    - factorial
    - float
    - fraction
    - hfarray オブジェクト
    - infinity
    - integer (整数値)
    - last_name_eval
    - literal
    - membertype
    - numeric (数値)
    - odd
    - Or (論理和)
    - orealgebra
    - partition
    - posneg
    - posnegint
    - primeint
    - radalgfun
    - radalgnum
    - radnum
    - realcons
    - satisfies
    - ShortMonomialOrder
    - specified rootof
    - suffixed
    - symbol
    - symmfunc
    - truefalse
    - unit
    - unit_name
    - verification
    - verify
    - with_unit
    - 一定
    - 次元
    - 範囲
    - 累乗根
  - 変換
  - 定数
  - 数値関数
  - 整数用関数
  - 素数
  - 複素数
  - bernoulli コマンド
  - bigomega コマンド
  - euler コマンド
  - factorEQ コマンド
  - fermat コマンド
  - fnormal コマンド
  - Gcd コマンド
  - hfarray オブジェクト
  - identify コマンド
  - ifactor コマンド
  - Lcm コマンド
  - nthpow コマンド
  - rand コマンド
  - randomize コマンド
  - tau 関数
  - value コマンド
  - 四捨五入
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

type/MonomialOrder - check for monomial order data structures

type/ShortMonomialOrder - check for short monomial order descriptions

	Calling Sequence
	type(T, MonomialOrder) type(ST, ShortMonomialOrder)

Parameters

T	-	table that denotes a monomial ordering on an algebra
SP	-	short monomial order description

Description

•	The type ShortMonomialOrder checks if ST is a short monomial order description.

•	The type MonomialOrder checks if T is a monomial order, as declared by the command Groebner[MonomialOrder]. This representation is used to denote general monomial orders over general skew algebras, possibly with parameters, and possibly in positive characteristic.