next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
NCAlgebra :: oreExtension

oreExtension -- Creates an Ore extension of a noncommutative ring

Synopsis

Description

This method calls oreIdeal and returns the associated Ore extension as an NCQuotientRing.

i1 : B = skewPolynomialRing(QQ,(-1)_QQ,{x,y,z,w})
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12374-0/0.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12374-0/3.ter ... Complete!

o1 = B

o1 : NCQuotientRing
i2 : sigma = ncMap(B,B,{y,z,w,x})

o2 = NCRingMap B <--- B

o2 : NCRingMap
i3 : C = oreExtension(B,sigma,a)
--Calling Bergman for NCGB calculation.
--running: bergman -i /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12374-0/5.init -on-error exit --silent > /var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-12374-0/8.ter ... Complete!

o3 = C

o3 : NCQuotientRing

See also

Ways to use oreExtension :