Changeset 4eba9ec in git for Singular/LIB/bfun.lib


Ignore:
Timestamp:
Apr 8, 2009, 6:51:07 PM (15 years ago)
Author:
Frank Seelisch <seelisch@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
21ebf68308bcf7db9c5f99b208152c3abfedece1
Parents:
e7778adedbf4b7cd363cb88f576d7b16023f2ca3
Message:
*** empty log message ***


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/bfun.lib

    re7778a r4eba9ec  
    11//////////////////////////////////////////////////////////////////////////////
    2 version="$Id: bfun.lib,v 1.6 2009-03-10 16:27:55 Singular Exp $";
     2version="$Id: bfun.lib,v 1.7 2009-04-08 16:51:07 seelisch Exp $";
    33category="Noncommutative";
    44info="
     
    99THEORY: Given a polynomial ring R = K[x_1,...,x_n] and a polynomial F in R,
    1010@*      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 minimal
     11@*      polynomial) b(s) in K[s], defined to be the non-zero monic polynomial of minimal
    1212@*      degree, satisfying a functional identity L * F^{s+1} = b(s) F^s,   
    1313@*      for some operator L in D[s] (* stands for the action of differential operator)
     
    1919@*      - the multiplicities of the roots.
    2020@*
    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
    2222@*   (that is, an ideal I in a Weyl algebra D, such that D/I is holonomic module)
    2323@*   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.