Changeset 0af200 in git
 Timestamp:
 Sep 28, 2010, 3:56:43 PM (13 years ago)
 Branches:
 (u'jengelhdatetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c18334b998a8adbf0013b8e1ce0824774019443e')
 Children:
 35b6ca571f5260579f60e2918659a4db705b4b5c
 Parents:
 1b38e5dbbecec05b3fdea59a6b4b159d06d20466
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/dmodapp.lib
r1b38e5d r0af200 27 27 @* GBWeight, inForm, initialMalgrange and initialIdealW. 28 28 @* 29 @*  restriction and integration of a holonomic module D/I. Suppose I is30 @* annihilat inga function F(x1,...,xn). Our aim is to compute an ideal J29 @*  restriction and integration of a holonomic module D/I. Suppose I 30 @* annihilates a function F(x1,...,xn). Our aim is to compute an ideal J 31 31 @* directly from I, which annihilates 32 @*  F(0,...,0,x m,...,xn) in case of restriction or32 @*  F(0,...,0,xk,...,xn) in case of restriction or 33 33 @*  the integral of F with respect to x1,...,xm in case of integration. 34 34 @* The corresponding procedures are restrictionModule, restrictionIdeal, … … 3162 3162 } 3163 3163 */ 3164 3165 3166 // TODO deRhamCohom: m <= min int root of b_f or b_{I,w}??
Note: See TracChangeset
for help on using the changeset viewer.