oreIdeal(A,sigma,delta,x) or oreIdeal(A,sigma,x)
Given a ring A, an Ore extension of A by x is the quotient of the free extension A<x> by the relations x*a  sigma(a)*xdelta(a) where sigma is an automorphism of A and delta is a sigmaderivation. This method returns the defining ideal (in the appropriate tensor algebra) of an Ore extension of A by x. The current version assumes the sigmaderivation delta is 0.



The object oreIdeal is a method function with options.