=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/papers/risa-asir.tex,v retrieving revision 1.2 retrieving revision 1.3 diff -u -p -r1.2 -r1.3 --- OpenXM/src/asir-doc/papers/risa-asir.tex 2005/06/28 00:22:19 1.2 +++ OpenXM/src/asir-doc/papers/risa-asir.tex 2005/06/29 01:50:32 1.3 @@ -340,17 +340,16 @@ such as {\tt sm1.gb } (Gr\"obner basis), {\tt sm1.syz} (syzygy), -%{\tt annfs} (Annhilating ideal of $f^s$), -{\tt ann} (Annhilating ideal of $f^s$),\\ -{\tt sm1.bfunction},{\tt bfunction} (the global $b$-function of a polynomial)\\ -%{\tt schreyer} (free resolution by the Schreyer method), -%{\tt vMinRes} (V-minimal free resolution),\\ -%{\tt characteristic} (Characteristic variety), +{\tt sm1.bfunction},{\tt bfunction} (the global $b$-function of a polynomial) {\tt sm1.restriction} in the derived category of $D$-modules, -%{\tt integration} in the derived category, -%{\tt tensor} in the derived category, -%{\tt dual} (Dual as a D-module), -{\tt sm1.slope}. +{\tt sm1.slope}, +{\tt sm1.sm1(annfs)} (Annhilating ideal of $f^s$), +{\tt sm1.sm1(schreyer)} (free resolution by the Schreyer method), +%{\tt sm1.sm1(vMinRes)} (V-minimal free resolution),\\ +{\tt sm1.sm1(characteristic)} (Characteristic variety), +{\tt sm1.sm1(integration)} in the derived category, +%{\tt sm1.sm1(tensor)} in the derived category, +{\tt sm1.sm1(res-dual)} (Dual as a D-module). \item Cohomology groups