Changeset 0af200 in git

Timestamp:

Sep 28, 2010, 3:56:43 PM (13 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c18334b998a8adbf0013b8e1ce0824774019443e')

Children:

35b6ca571f5260579f60e2918659a4db705b4b5c

Parents:

1b38e5dbbecec05b3fdea59a6b4b159d06d20466

Message:

*levandov: new version of dmodapp, enriched with characteristic variety, restriction, integration and deRham cohomology

git-svn-id: file:///usr/local/Singular/svn/trunk@13298 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/dmodapp.lib (modified) (2 diffs)

Singular/LIB/dmodapp.lib

@@ -27 +27 @@
 @* GBWeight, inForm, initialMalgrange and initialIdealW.
 @*
-@* - restriction and integration of a holonomic module D/I. Suppose I is
-@* annihilating a function F(x1,...,xn). Our aim is to compute an ideal J
+@* - restriction and integration of a holonomic module D/I. Suppose I
+@* annihilates a function F(x1,...,xn). Our aim is to compute an ideal J
 @* directly from I, which annihilates
-@*   - F(0,...,0,xm,...,xn) in case of restriction or
+@*   - F(0,...,0,xk,...,xn) in case of restriction or
 @*   - the integral of F with respect to x1,...,xm in case of integration.
 @* The corresponding procedures are restrictionModule, restrictionIdeal,
@@ -3162 +3162 @@
 }
 */
-
-
-// TODO deRhamCohom: m <= min int root of b_f or b_{I,w}??