loadPackage "Dmodules" QQ[x,y] deRham(y^2-x^3)微分作用素環のグレブナー基底の応用で de Rham cohomology 群を計算.
sm1.deRham([y^2-x^3,[x,y]]);k0 への入力例 (参考).
openxm fep k0 load["lib/all.k"];; DeRham2("y^2-x^3"):
~/3D/javaviewFull ~/3D/singsurf cd ~/3D/singsurf ; java -jar SingSurf.jar