thetaIdeal -- the image in the thetaRing of a torus-fixed ideal in a Weyl algebra
Synopsis
-
- Usage:
- thetaIdeal(I,S)
-
Inputs:
-
I, Ideal in a WeylAlgebra that is torus-fixed
-
Outputs:
-
an ideal, that results from intersecting I with the thetaRing of D, as in [SST, Lemma 2.3.1] to I.