Changeset 0b59f5 in git for Singular/LIB/deform.lib


Ignore:
Timestamp:
Dec 13, 1999, 4:33:50 PM (24 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
82ed244cff3158b7a79a6eed4e0548d485960cfe
Parents:
925cab8e04ecb2f3c2e451b913c11bcac28b2374
Message:
* GMG's changes


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/deform.lib

    r925cab r0b59f5  
    1 // $Id: deform.lib,v 1.18 1999-08-19 15:19:52 obachman Exp $
     1// $Id: deform.lib,v 1.19 1999-12-13 15:33:45 obachman Exp $
    22// author: Bernd Martin email: martin@math.tu-cottbus.de
    33//(bm, last modified 4/98)
    44///////////////////////////////////////////////////////////////////////////////
    5 version="$Id: deform.lib,v 1.18 1999-08-19 15:19:52 obachman Exp $";
     5version="$Id: deform.lib,v 1.19 1999-12-13 15:33:45 obachman Exp $";
    66info="
    77LIBRARY:  deform.lib       PROCEDURES FOR COMPUTING MINIVERSAL DEFORMATION
     
    8484setring  Po;
    8585  poly   X_s  = product(maxideal(1));
    86 //-------  reproduce T12 ------------------------------------------------------
    87   list   Ls   = T12(Fo,1);
     86//-------  reproduce T_12 -----------------------------------------------------
     87  list   Ls   = T_12(Fo,1);
    8888  matrix Ro   = Ls[6];                         // syz(i)
    8989  matrix InfD = Ls[5];                         // matrix of inf. deformations
    9090  matrix PreO = Ls[7];                         // representation of (Syz/Kos)*
    9191  module PreO'= std(PreO);
    92   module PreT = Ls[2];                         // representation of modT2 (sb)
     92  module PreT = Ls[2];                         // representation of modT_2 (sb)
    9393  if(dim(PreT)==0)
    9494  {
    95     matrix kbT2 = kbase(PreT);                 // kbase of T2
     95    matrix kbT_2 = kbase(PreT);                 // kbase of T_2
    9696  }
    9797  else
    9898  {
    99     matrix kbT2 ;                              // kbase of T2 : empty
    100   }
    101   @t1 = Ls[3];                                 // vdim of T1
    102   @t2 = Ls[4];                                 // vdim of T2
     99    matrix kbT_2 ;                              // kbase of T_2 : empty
     100  }
     101  @t1 = Ls[3];                                 // vdim of T_1
     102  @t2 = Ls[4];                                 // vdim of T_2
    103103  kill Ls;
    104104  t1' = @t1;
    105105  if( @t1==0) { dbprint(p,"// rigit!"); return();}
    106106  if( @t2==0) { @smooth=1; dbprint(p,"// smooth base space");}
    107   dbprint(p,"// ready: T1 and T2");
     107  dbprint(p,"// ready: T_1 and T_2");
    108108  @colR = ncols(Ro);
    109109//-----  test: quasi-homogeneous, choice of inf. def.--------------------------
     
    111111  @jv = 1..@t1;
    112112  if (@degrees!="")
    113   { dbprint(p-1,"// T1 is quasi-homogeneous represented with weight-vector",
     113  { dbprint(p-1,"// T_1 is quasi-homogeneous represented with weight-vector",
    114114    @degrees);
    115115  }
     
    160160  module PreO'= imap(Po,PreO');  attrib(PreO',"isSB",1);
    161161  module PreT = imap(Po,PreT);   attrib(PreT,"isSB",1);
    162   matrix kbT2 = imap(Po,kbT2);
     162  matrix kbT_2 = imap(Po,kbT_2);
    163163  matrix Mon  = fetch(`myPx`,Mon);
    164164  matrix F_R  = fetch(`myPx`,F_R);
     
    178178       Cup = jet(Cup,@d,@jv);
    179179     }
    180 //------- express obstructions in kbase of T2  --------------------------------
     180//------- express obstructions in kbase of T_2  --------------------------------
    181181     if ( @noObstr==0 )
    182182     {  Cup' = reduce(Cup,PreO');
     
    187187        }
    188188        Cup   = lift(PreO,Cup);
    189         MASS  = lift_rel_kb(Cup,PreT,kbT2,X_s);
     189        MASS  = lift_rel_kb(Cup,PreT,kbT_2,X_s);
    190190        dbprint(p-3,"// next MASSEY-products:",MASS-jet(MASS,@d-1,@jv));
    191191        if    (MASS==transpose(Js))
Note: See TracChangeset for help on using the changeset viewer.