OreTools[Properties] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Skew Polynomials : OreTools : OreTools/Properties/GetRingName

OreTools[Properties]

  

GetRingName

  

return the name of the Ore algebra

  

GetVariable

  

return the name of the independent variable on which the Ore polynomial ring acts

  

GetSigma

  

return sigma

  

GetSigmaInverse

  

return sigma^(-1)

  

Getdelta

  

return delta

  

GetTheta1

  

return theta(1)

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

GetRingName(A)

GetVariable(A)

GetSigma(A)

GetSigmaInverse(A)

Getdelta(A)

GetTheta1(A)

Parameters

A

-

Ore algebra; to define an Ore algebra, use the SetOreRing function.

Description

• 

The GetRingName(A) calling sequence returns the name of the Ore algebra A.

• 

The GetVariable(A) calling sequence returns the independent variable on which the Ore polynomial ring A acts.

• 

The GetSigma(A) calling sequence returns sigma for the Ore algebra A.

• 

The GetSigmaInverse(A) calling sequence returns sigma^(-1) for the Ore algebra A.

• 

The Getdelta(A) calling sequence returns delta for the Ore algebra A.

• 

The GetTheta1(A) calling sequence returns theta(1) for the Ore algebra A.

• 

For a brief review of pseudo-linear algebra (also known as Ore algebra), see OreAlgebra.

Examples

withOreTools:

withOreTools[Properties]:

Define the shift algebra.

ASetOreRingn,'shift'

A:=UnivariateOreRingn,shift

(1)

Determine the properties of the algebra.

GetRingNameA

shift

(2)

GetVariableA

n

(3)

GetSigmaAsn,n

sn+1

(4)

GetSigmaInverseAsn,n

sn1

(5)

GetdeltaAsn,n

0

(6)

GetTheta1A

1

(7)

See Also

OreTools

OreTools/OreAlgebra

OreTools[Properties]

OreTools[SetOreRing]

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam