obtain information about DifferentialGeometry objects

はじめる前に
新機能一覧
Maple ワークシートの作成
Mapleワークシートを共有
Maple ウィンドウのカスタマイズ
Maple システムのカスタマイズ
コネクティビティ
Mathematics
数学
- テンソル解析
- パッケージ
- ファンクションアドバイザ
- ベキ級数
- ベクトル解析
- 不活性関数
- 代数
- 因数分解と方程式解法
- 基本数学
- 基本的な注意事項
- 変分法
- 変換
- 幾何
- 微分代数方程式
- 微分幾何学
  - Group Actions
  - JetCalculus
  - LieAlgebras
  - Tensor
  - ツール
    - 概要
    - &MatrixWedge
    - CalculationHistory
    - CanonicalBasis
    - DGequal
    - DGinfo
    - DGmain
    - DGmap
    - DGscalar
    - DGsimplify
    - DGtensor
    - GenerateForms
    - IdentityTransformation
    - 発散
  - ライブラリ
  - レッスンおよびチュートリアル
  - 概要
  - &wedge
  - Annihilator
  - ApplyTransformation
  - ChangeFrame
  - ComplementaryBasis
  - ComposeTransformations
  - DeRhamHomotopy
  - DGbasis
  - DGDualBasis
  - DGsetup
  - DGzip
  - evalDG
  - ExteriorDerivative
  - Flow
  - FrameData
  - GetComponents
  - Hook
  - InfinitesimalTransformation
  - IntegrateForm
  - IntersectSubspaces
  - InverseTransformation
  - LieBracket
  - LieDerivative
  - Pullback
  - PullbackVector
  - Pushforward
  - RemoveFrame
  - Transformation
  - 参考文献
  - 変換
  - 環境設定
- 微分方程式
- 微積分
- 数
- 数値計算
- 数学関数
- 数論
- 最適化
- 特殊関数
- 統計
- 線形代数
- 群論
- 評価
- 論理
- 過去のパッケージ
- 金融
- 離散数学
- piecewise examples
- グラフ電卓
- 区分関数
物理
プログラミング
グラフィックス
Student パッケージ
Science and Engineering
科学・エンジニアリング
アプリケーションと例題
リファレンス
システム
MapleSim
MapleSim ツールボックス
MapleSim ヘルプ
Tasks
Toolboxes
エラーメッセージガイド
マニュアル
数学アプリ

DifferentialGeometry:-Tools[DGinfo] - obtain information about DifferentialGeometry objects

	Calling Sequence
	DGinfo(X, keyword)

Parameters

X	-	a DifferentialGeometry object
keyword	-	a keyword string

Description

•	The command DGinfo provides a user friendly interface to the internal representations of all the objects and frames created by the DifferentialGeometry software.

•	The keyword strings accepted by the DGinfo command are:

AbstractForms	BiformDegree	CoefficientGrading
CoefficientList	CoefficientSet	CoframeLabels
CurrentFrame	DiffeqType	DiffeqVariables
DomainFrame	DomainOrder	ExteriorDerivativeFormStructureEquations
ExteriorDerivativeFunctionStructureEquations	FormDegree	FrameBaseDimension
FrameBaseForms	FrameBaseVectors	FrameDependentVariables
FrameFiberDimension	FrameFiberForms	FrameFiberVectors
FrameGlobals	FrameHorizontalBiforms	FrameIndependentVariables
FrameInformation	FrameJetDimension	FrameJetForms
FrameJetOrder	FrameJetVariables	FrameJetVectors
FrameLabels	FrameNames	FrameProtocol
FrameVerticalBiforms	FunctionOrder	Grading
HorizontalCoframeLabels	JacobianMatrix	JetIndets
JetNotation	JetSpaceDimension	Keywords
LieAlgebraDimension	LieBracketStructureEquations	LieBracketStructureFunction
LieBracketStructureFunctionList	LieDerivativeFunctionStructureEquations	NonJetIndets
ObjectAttributes	ObjectComponents	ObjectFrame
ObjectGenerators	ObjectOrder	ObjectType
RangeFrame	RangeOrder	RepresentationMatrices
TensorDensityType	TensorGenerators	TensorIndexPart1
TensorIndexPart2	TensorIndexType	TensorType
TransformationType	VectorType	VerticalCoframeLabels
Weight

•	This command is part of the DifferentialGeometry:-Tools package and so can be used in the form DGinfo(...) only after executing the commands with(DifferentialGeometry) and with(Tools) in that order. It can always be used in the long form DifferentialGeometry:-Tools:-DGinfo(...).

Function, Vector, DifferentialForm, and Tensor Information

"BiformDegree"

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y], [u], E, 2):

Example 1.

>	alpha1 := evalDG(Dx &wedge Dy);

(1)

>	DGinfo(alpha1, "BiformDegree");

(2)

Example 2.

>	alpha2 := evalDG(Dx &wedge Cu[]);

(3)

>	DGinfo(alpha2, "BiformDegree");

(4)

Example 3.

>	alpha3 := evalDG(Cu[1] &wedge Cu[2]);

(5)

>	DGinfo(alpha3, "BiformDegree");

(6)

"CoefficientList": list some or all of the coefficients of a vector, differential form, or tensor.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z, w], M):

>	alpha := evalDG(adx &w dy + bdx &w dz + cdy &w dz + ddx &w dw + e*dz &w dw);

(7)

>	DGinfo(alpha, "CoefficientList", "all");

(8)

>	DGinfo(alpha, "CoefficientList", [dx &w dy, dx &w dz, dy &w dw]);

(9)

>	DGinfo(alpha, "CoefficientList", [[1,2], [1,3], [2,4]]);

(10)

"CoefficientSet": find the set of all the coefficients of a vector, differential form, or tensor.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z, w], M):

Example 1.

>	alpha := evalDG(adx &w dy + bdx &w dz + bdy &w dz + cdx &w dw + a*dz &w dw);

(11)

>	DGinfo(alpha, "CoefficientSet");

(12)

Example 2.

>	X := DGzero("vector");

(13)

>	DGinfo(X, "CoefficientSet");

(14)

"CoefficientList": list some or all of the coefficients of a vector, "differential form, or tensor.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z, w], M):

>	alpha := evalDG(adx &w dy + bdx &w dz + cdy &w dz + ddx &w dw + e*dz &w dw);

(15)

>	DGinfo(alpha, "CoefficientList", "all");

(16)

>	DGinfo(alpha, "CoefficientList", [dx &w dy, dx &w dz, dy &w dw]);

(17)

>	DGinfo(alpha, "CoefficientList", [[1,2], [1,3], [2,4]]);

(18)

"DiffeqType": find the type of the system of differential equations

>	with(DifferentialGeometry): with(JetCalculus): with(Tools):

>	DGsetup([x, y], [u, v], E, 2):

>	Delta := DifferentialEquationData([u[2] + v[1], u[1] - v[2]], [u[1], v[1]]);

$_DG([["DE", "_TempDGFrame1", ["evolutionary", 0], {u[1], v[1]}, E], [[[5], u[2]+v[1]], [[6], u[1]-v[2]]]])$

(19)

>	DGinfo(Delta, "DiffeqType");

(20)

"DiffeqVariables": list the jet variables in the differential equation to be solved for

>	with(DifferentialGeometry): with(JetCalculus): with(Tools):

>	DGsetup([x, y], [u, v], E, 2):

>	Delta := DifferentialEquationData([u[2] + v[1], u[1] - v[2]], [u[1], v[1]]);

$_DG([["DE", "_TempDGFrame2", ["evolutionary", 0], {u[1], v[1]}, E], [[[5], u[2]+v[1]], [[6], u[1]-v[2]]]])$

(21)

>	DGinfo(Delta, "DiffeqVariables");

(22)

"FormDegree": the degree of a differential form

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z], M):

Example 1.

>	alpha := evalDG(dx +dy);

(23)

>	DGinfo(alpha, "FormDegree");

(24)

Example 2.

>	beta := evalDG(3dx &w dy + 4dy &w dz - dx &w dz);

(25)

>	DGinfo(beta, "FormDegree");

(26)

Example 3.

>	nu := evalDG(dx &w dy &w dz);

(27)

>	DGinfo(nu, "FormDegree");

(28)

"FunctionOrder": the order of the highest jet coordinate appearing in a Maple expression.

>	with(DifferentialGeometry): with(Tools):

Example 1.

>	DGsetup([x, y], [u, v], E):

>	f1 := ux + vy;

(29)

>	DGinfo(f1, "FunctionOrder");

(30)

Example 2.

>	DGsetup([x, y], [u], J, 1):

>	f1 := u[1]*x + u[2];

(31)

>	DGinfo(f1, "FunctionOrder");

(32)

Example 3.

>	f1 := u[1, 1, 2]*x + u[2, 2, 2, 2];

(33)

>	DGinfo(f1, "FunctionOrder");

(34)

"ObjectAttributes": list all the properties of a vector, differential form, tensor, or transformation.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z], M): DGsetup([u, v], N):

Example 1.

>	X := evalDG(aD_x + bD_y + c*D_z);

(35)

>	DGinfo(X, "ObjectAttributes");

(36)

Example 2.

>	alpha := evalDG(ddx &w dy + edx &w dz + f*dy &w dz);

(37)

>	DGinfo(alpha, "ObjectAttributes");

(38)

Example 3.

>	T := evalDG(rD_x &t dx + sD_z&t dy + t*D_z &t dx);

(39)

>	DGinfo(T, "ObjectAttributes");

(40)

Example 4.

>	Phi := Transformation(M, N, [u = x^2 + y^2 + z^2, v = xyz]);

(41)

>	DGinfo(Phi, "ObjectAttributes");

["transformation", [[M, 0], [N, 0]], [], [Matrix(2, 3, {(1, 1) = 2*x, (1, 2) = 2*y, (1, 3) = 2*z, (2, 1) = y*z, (2, 2) = x*z, (2, 3) = x*y})]]

(42)

Example 5.

>	DGsetup([[gamma1, gamma2, gamma3, gamma4], chi = dgform(3)], [], P):

>	ExteriorDerivative(chi);

(43)

>	DGinfo(dchi, "ObjectAttributes");

(44)

Example 6.

>	Hook(D_gamma1, chi);

(45)

>	DGinfo(i_1chi, "ObjectAttributes");

(46)

Example 7.

>	Hook([D_gamma2, D_gamma3], chi);

(47)

>	DGinfo(i_2_3chi, "ObjectAttributes");

(48)

"ObjectComponents": list all the components of a vector, differential form, tensor, or transformation.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z], M): DGsetup([u, v], N):

Example 1.

>	X := evalDG(aD_x + bD_y + c*D_z);

(49)

>	DGinfo(X, "ObjectComponents");

(50)

Example 2.

>	alpha := evalDG(ddx &w dy + edx &w dz + f*dy &w dz);

(51)

>	DGinfo(alpha, "ObjectComponents");

(52)

Example 3.

>	T := evalDG(rD_x &t dx + sD_z&t dy + t*D_z &t dx);

(53)

>	DGinfo(T, "ObjectComponents");

(54)

Example 4.

>	Phi := Transformation(M, N, [u = x^2 + y^2 + z^2, v= xyz]);

(55)

>	DGinfo(Phi, "ObjectComponents");

(56)

"ObjectFrame": return the frame with respect to which the object is defined.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y], [u], M, 1): DGsetup([r,s,t], N):

Example 1.

>	X := evalDG(D_x -3*D_y);

(57)

>	DGinfo(X, "ObjectFrame");

(58)

Example 2.

>	T := evalDG(D_r &t D_s &t dt);

(59)

>	DGinfo(T, "ObjectFrame");

(60)

"ObjectGenerators": list the monomial vectors in a vector or the monomial 1-forms in a differential form.

>	with(DifferentialGeometry): with(Tools):

>	DGsetup([x, y, z, w], M):

Example 1.

>	X := evalDG(yD_x + zD_z);

(61)

>	DGinfo(X, "ObjectGenerators");

(62)

This means that X has only the 1st and 3rd elements from the standard basis for the tangent bundle.

Example 2.

>	alpha := evalDG(wdx &w dy + xdx &w dw + z^2*dy &w dw);

(63)

>	DGinfo(alpha, "ObjectGenerators");

(64)

This means that alpha do not contain the 3rd element (dz) from the standard basis for the cotangent bundle.

"ObjectOrder": the order of the jet space on which the object is defined.

>	with(DifferentialGeometry): with(JetCalculus): with(Tools):

Example 1.

>	DGsetup([x, y], [u, v], E, 3):

>	f := u[2]x + v[]y;

(65)

>	DGinfo(f, "ObjectOrder");

(66)

Example 2.

>	alpha := evalDG(du[1]*x + du[2,2]);

(67)

>	DGinfo(alpha, "ObjectOrder");

(68)

Example 3.

>	beta := evalDG(du[1, 1, 2]x + u[2, 2, 2, 2]dy);

(69)

>	DGinfo(beta, "FunctionOrder");

(70)

Example 4.

>	X := evalDG(u[1]*D_u[]);

(71)

>	X3 := Prolong(X, 2);

(72)

>	DGinfo(X3, "FunctionOrder");

(73)

"ObjectType": the type of the 'DifferentialGeometry' object.

>	with(DifferentialGeometry): with(Tools): with(LieAlgebras):

>	DGsetup([x, y], [u], M, 1):

Example 1.

>	f := sin(x)*cos(y);

(74)

>	DGinfo(f, "ObjectType");

(75)

Example 2.

>	X := evalDG(D_x + y*D_u[]);

(76)

>	DGinfo(X, "ObjectType");

(77)

Example 3.

>	alpha := evalDG(dx &w dy + dx &w du[1]);

(78)

>	DGinfo(alpha, "ObjectType");

(79)

Example 4.

>	theta := evalDG(Dx &w Cu[1]);

(80)

>	DGinfo(theta, "ObjectType");

(81)

Maple

MapleSim

Online Education

MapleNet

Toolboxes & Connectors

E-Books & Study Guides

Professional Services

Engineering: Industry Solutions

Engineering: Application Areas

Education

Applied Research

Purchase & Pricing Details

Maplesoft Web Store

Request a Price Quote

Contact Maplesoft Sales

Elite Maintenance Program

Tech Support & Customer Service

Frequently Asked Questions

Online Product Help

Training

Product Documentation

Download Product Updates

Webinars & Events

Community

Publications

Examples & Applications

Resources

About Maplesoft

Contact

Careers

Media Center

Partners

25th Anniversary Timeline

Explore Customer Support

Search Help

Help Contents