Changeset 3cc9dd in git

Timestamp:

Mar 30, 2009, 3:16:58 PM (14 years ago)

Author:

Alexander Dreyer <dreyer@…>

Branches:

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

Children:

53ec64bb9f72a646c04fa753e0f39d30c6a310f1

Parents:

471d0cfd4f2ba1de169f289e92eec0f0d189bc9e

Message:

Commiting Anne's changes


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

File:

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

Singular/LIB/KVequiv.lib

@@ -1 @@
-// $Id: KVequiv.lib,v 1.3 2006-12-15 14:15:51 Singular Exp $
+// $Id: KVequiv.lib,v 1.4 2009-03-30 13:16:58 dreyer Exp $
 // (anne, last modified 27.11.2001)
 /////////////////////////////////////////////////////////////////////////////
@@ -5 +5 @@
 /////////////////////////////////////////////////////////////////////////////
 
-version="$Id: KVequiv.lib,v 1.3 2006-12-15 14:15:51 Singular Exp $";
+version="$Id: KVequiv.lib,v 1.4 2009-03-30 13:16:58 dreyer Exp $";
 info="
 LIBRARY:  KVequiv.lib    PROCEDURES RELATED TO K_V-EQUIVALENCE
 AUTHOR:   Anne Fruehbis-Krueger, anne@mathematik.uni-kl.de
+
+OVERVIEW:
+ Let (V,0) be a complete intersection singularity in (C^p,0) and
+ f_0:(C^n,0) --> (C^p,0) an analytic map germ, which is viewed as a
+ section ov V so that the singularity V_0=f_0^-1(V) is a pullback.
+ K_V equivalence is then given by the group
+     K_V={g | g(C^n x V) (subset) C^n x V} (subset) K,
+ where K is the contact group of Mather. This library provides
+ functionality for computing K_V tangent space, K_V normal space
+ and liftable vector fields.
+ A more detailed introduction to K_V equivalence can e.g. be found
+ in [Damon,J.: On the legacy of free divisors, Amer.J.Math. 120,453-492]
 
 PROCEDURES:
@@ -39 +51 @@
 proc derlogV(ideal iV)
 "USAGE:  @code{derlogV(iV)};   @code{iV} ideal
-RETURN:  matrix whose columns generate derlog(V(iV))
+RETURN:  matrix whose columns generate derlog(V(iV)),
+         i.e. the module of vector fields on (C^p,0) tangent to V
 EXAMPLE: @code{example derlogV}; shows an example
 "