Changeset 4eba9ec in git for Singular/LIB/bfun.lib
- Timestamp:
- Apr 8, 2009, 6:51:07 PM (15 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 21ebf68308bcf7db9c5f99b208152c3abfedece1
- Parents:
- e7778adedbf4b7cd363cb88f576d7b16023f2ca3
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/bfun.lib
re7778a r4eba9ec 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: bfun.lib,v 1. 6 2009-03-10 16:27:55 SingularExp $";2 version="$Id: bfun.lib,v 1.7 2009-04-08 16:51:07 seelisch Exp $"; 3 3 category="Noncommutative"; 4 4 info=" … … 9 9 THEORY: Given a polynomial ring R = K[x_1,...,x_n] and a polynomial F in R, 10 10 @* one is interested in the global b-function (also known as Bernstein-Sato 11 @* polynomial) b(s) in K[s], defined to be the monic polynomial of minimal11 @* polynomial) b(s) in K[s], defined to be the non-zero monic polynomial of minimal 12 12 @* degree, satisfying a functional identity L * F^{s+1} = b(s) F^s, 13 13 @* for some operator L in D[s] (* stands for the action of differential operator) … … 19 19 @* - the multiplicities of the roots. 20 20 @* 21 @* There is a general definition of a b-function of a holonomic ideal [SST]21 @* There is a constructive definition of a b-function of a holonomic ideal I in D 22 22 @* (that is, an ideal I in a Weyl algebra D, such that D/I is holonomic module) 23 23 @* with respect to the given weight vector w: For a poly p in D, its initial
Note: See TracChangeset
for help on using the changeset viewer.