Changeset 4ac997 in git for Singular/LIB/deform.lib

Timestamp:

Dec 22, 2000, 2:43:10 PM (23 years ago)

Author:

Gert-Martin Greuel <greuel@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

558eb2e4904ef3d1c00dc5ccf1cdf5d4d5e4532a

Parents:

5a1141ebfb120e63485f9ef6b7dd5dc003ac29bf

Message:

* GMG: Kosmetik


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

File:

• Singular/LIB/deform.lib (modified) (12 diffs)

Singular/LIB/deform.lib

@@ -1 @@
-// $Id: deform.lib,v 1.22 2000-12-19 15:05:19 anne Exp $
+// $Id: deform.lib,v 1.23 2000-12-22 13:41:22 greuel Exp $
 // author: Bernd Martin email: martin@math.tu-cottbus.de
 //(bm, last modified 4/98)
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: deform.lib,v 1.22 2000-12-19 15:05:19 anne Exp $";
+version="$Id: deform.lib,v 1.23 2000-12-22 13:41:22 greuel Exp $";
 category="Singularities";
 info="
-LIBRARY:  deform.lib       PROCEDURES FOR COMPUTING MINIVERSAL DEFORMATION
-
-AUTHOR: Bernd Martin, email: martin@math.tu-cottbus.de
+LIBRARY:  deform.lib    Miniversal Deformation of Singularities and Modules
+AUTHOR:   Bernd Martin, email: martin@math.tu-cottbus.de
 
 PROCEDURES:
@@ -17 +16 @@
  kill_rings([\"prefix\"])  kills the exported rings from above
 ";
-///////////////////////////////////////////////////////////////////////////////
+
 LIB "inout.lib";
 LIB "general.lib";
@@ -24 +23 @@
 LIB "sing.lib";
 ///////////////////////////////////////////////////////////////////////////////
+
 proc versal (ideal Fo,list #)
 "USAGE:   versal(Fo[,d,any]); Fo=ideal, d=int, any=list
@@ -179 +179 @@
        Cup = jet(Cup,@d,@jv);
      }
-//------- express obstructions in kbase of T_2  --------------------------------
+//------- express obstructions in kbase of T_2  -------------------------------
      if ( @noObstr==0 )
      {  Cup' = reduce(Cup,PreO');
@@ -294 +294 @@
 }
 ///////////////////////////////////////////////////////////////////////////////
+
 proc mod_versal(matrix Mo, ideal I, list #)
-"
-USAGE:   mod_versal(Mo,I[,d,any]); I=ideal, M=module, d=int, any =list
+"USAGE:   mod_versal(Mo,I[,d,any]); I=ideal, M=module, d=int, any =list
 COMUPTE: miniversal deformation of coker(Mo) over Qo=Po/Io, Po=basering;
 CREATE:  Ringsr (exported):
@@ -545 +545 @@
   kill Px,Qx,So;
 }
-//=============================================================================
 ///////////////////////////////////////////////////////////////////////////////
 proc kill_rings(list #)
@@ -641 +640 @@
    return(iv,M1,kb1,lift1,L');
 }
-//////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 proc get_rings(ideal Io,int e1,int switch, list #)
 "
@@ -678 +677 @@
   return();
 }
-//////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 proc get_inf_def(list #)
 "
@@ -705 +704 @@
 //////////////////////////////////////////////////////////////////////////////
 proc lift_rel_kb (module N, module M, list #)
-"
-USAGE:   lift_rel_kb(N,M[,kbaseM,p]);
+"USAGE:   lift_rel_kb(N,M[,kbaseM,p]);
 ASSUME:  [p a monomial ] or the product of all variables
-         N, M modules of same rank,
-         M depending only on variables not in p and vdim(M) finite in this ring,
+         N, M modules of same rank, M depending only on variables not in p 
+         and vdim(M) is finite in this ring,
          [ kbaseM the kbase of M in the subring given by variables not in p ]
-         warning: check that these assumtions are fulfilled!
+         warning: these assumtions are not checked by the procedure
 RETURN:  matrix A, whose j-th columnes present the coeff's of N[j] in kbaseM,
          i.e. kbaseM*A = reduce(N,std(M))
@@ -882 +880 @@
   return(degA);
 }
-//////////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 proc homog_test(intvec w_vec, matrix Mo, matrix A)
 "
@@ -920 +918 @@
   return(@nv);
 }
-//////////////////////////////////////////////////////////////////////////////////
+///////////////////////////////////////////////////////////////////////////////
 proc homog_t(intvec d_vec, matrix Fo, matrix A)
 "
@@ -951 +949 @@
    return(dv);
 }
-
+///////////////////////////////////////////////////////////////////////////////