-- Do not edit this file. 
loadPackage "Dmodules";
R=QQ[t,Dt, WeylAlgebra=>{t=>Dt}];
II=AnnFs( t*(1-t) );
-- use I.ring;
-- J=sub(I,{s=>1/2});
-- It does not work. Why?
I=ideal((-t^2+t)*Dt+t-1/2);
J=Fourier(I);
bFunction(J,{1})