Gröbner Bases Syzygies Resolutions Quantum Alg. Left Maximality Max. Twosided	Testing the maximality of a particular left ideal 1 We will check the ideal: ==> e+q, h^2-4*q*f+2*h+a0 where q!=0 is a unit in the ground field. This ideal is maximal and corresponds to the Whittaker modules. To prove it is maximal we need a computational lemma.
KL, 06/03	http://www.singular.uni-kl.de