oreExtension(A,sigma,delta,x) or oreExtension(A,sigma,x)
This method calls oreIdeal and returns the associated Ore extension as an FreeAlgebraQuotient.



One may define the Weyl algebra as an Ore extension using the identity endomorphism and the usual polynomial derivative as the derivation.




Of course, if one wants to perform extensive calculations with classical Weyl Algebras, one should use the WeylAlgebra option when creating a polynomial ring.
In order to get the most out of the AssociativeAlgebras package, rings often need to be graded. To obtain such a ring from this construction, the derivation must increase the degree by one.
The object oreExtension is a method function with options.