Changeset f4490f5 in git

Timestamp:

Sep 30, 2010, 10:05:15 PM (13 years ago)

Author:

Viktor Levandovskyy <levandov@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

9f5ebf25535e7f3b32e56ffc7635be3bcf1c05bf

Parents:

0a2f7deb9cde7da147b192a31ec765e4f3923a09

Message:

*levandov: again checklib

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

File:

• Singular/LIB/dmodvar.lib (modified) (3 diffs)

Singular/LIB/dmodvar.lib

@@ -9 +9 @@
        Jorge Martin-Morales,   jorge@unizar.es
 
-THEORY: Let K be a field of characteristic 0. Given a polynomial ring R = K[x_1,...,x_n] and 
+OVERVIEW:
+Theory: Let K be a field of characteristic 0. Given a polynomial ring R = K[x_1,...,x_n] and 
 @* a set of polynomial f_1,..., f_r in R, define F = f_1 * ... * f_r and F^s:=f_1^s_1*...*f_r^s_r 
 @* for symbolic discrete (that is shiftable) variables s_1,..., s_r.
-@* The module R[1/F]*F^s has a structure of a D<S>-module, where D<S> := D(R) tensored with S over K, where
+@* The module R[1/F]*F^s has a structure of a D<S>-module, where 
+D<S> := D(R) tensored with S over K, where
 @*   - D(R) is an n-th Weyl algebra K<x_1,...,x_n,d_1,...,d_n | d_j x_j = x_j d_j +1>
 @*   - S is the universal enveloping algebra of gl_r, generated by s_{ij}, where s_{ii}=s_i.
@@ -23 +25 @@
 @*     sum(k=1 to k=r) P_k*f_k*F^s = bs*F^s holds in R[1/F]*F^s.
 
-REFERENCES:
+References:
   (BMS06) Budur, Mustata, Saito: Bernstein-Sato polynomials of arbitrary varieties (2006).
   (ALM09) Andres, Levandovskyy, Martin-Morales : Principal Intersection and Bernstein-Sato Polynomial of an Affine Variety (2009).
@@ -487 +489 @@
 }
 
-proc makeIF (ideal F, list #)
+static proc makeIF (ideal F, list #)
 "USAGE:  makeIF(F [,ORD]);  F an ideal, ORD an optional string
 RETURN:  ring