Changeset 0b59f5 in git for Singular/LIB/deform.lib
- Timestamp:
- Dec 13, 1999, 4:33:50 PM (24 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 82ed244cff3158b7a79a6eed4e0548d485960cfe
- Parents:
- 925cab8e04ecb2f3c2e451b913c11bcac28b2374
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/deform.lib
r925cab r0b59f5 1 // $Id: deform.lib,v 1.1 8 1999-08-19 15:19:52obachman Exp $1 // $Id: deform.lib,v 1.19 1999-12-13 15:33:45 obachman Exp $ 2 2 // author: Bernd Martin email: martin@math.tu-cottbus.de 3 3 //(bm, last modified 4/98) 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: deform.lib,v 1.1 8 1999-08-19 15:19:52obachman Exp $";5 version="$Id: deform.lib,v 1.19 1999-12-13 15:33:45 obachman Exp $"; 6 6 info=" 7 7 LIBRARY: deform.lib PROCEDURES FOR COMPUTING MINIVERSAL DEFORMATION … … 84 84 setring Po; 85 85 poly X_s = product(maxideal(1)); 86 //------- reproduce T 12 ------------------------------------------------------87 list Ls = T 12(Fo,1);86 //------- reproduce T_12 ----------------------------------------------------- 87 list Ls = T_12(Fo,1); 88 88 matrix Ro = Ls[6]; // syz(i) 89 89 matrix InfD = Ls[5]; // matrix of inf. deformations 90 90 matrix PreO = Ls[7]; // representation of (Syz/Kos)* 91 91 module PreO'= std(PreO); 92 module PreT = Ls[2]; // representation of modT 2 (sb)92 module PreT = Ls[2]; // representation of modT_2 (sb) 93 93 if(dim(PreT)==0) 94 94 { 95 matrix kbT 2 = kbase(PreT); // kbase of T295 matrix kbT_2 = kbase(PreT); // kbase of T_2 96 96 } 97 97 else 98 98 { 99 matrix kbT 2 ; // kbase of T2 : empty100 } 101 @t1 = Ls[3]; // vdim of T 1102 @t2 = Ls[4]; // vdim of T 299 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 103 103 kill Ls; 104 104 t1' = @t1; 105 105 if( @t1==0) { dbprint(p,"// rigit!"); return();} 106 106 if( @t2==0) { @smooth=1; dbprint(p,"// smooth base space");} 107 dbprint(p,"// ready: T 1 and T2");107 dbprint(p,"// ready: T_1 and T_2"); 108 108 @colR = ncols(Ro); 109 109 //----- test: quasi-homogeneous, choice of inf. def.-------------------------- … … 111 111 @jv = 1..@t1; 112 112 if (@degrees!="") 113 { dbprint(p-1,"// T 1 is quasi-homogeneous represented with weight-vector",113 { dbprint(p-1,"// T_1 is quasi-homogeneous represented with weight-vector", 114 114 @degrees); 115 115 } … … 160 160 module PreO'= imap(Po,PreO'); attrib(PreO',"isSB",1); 161 161 module PreT = imap(Po,PreT); attrib(PreT,"isSB",1); 162 matrix kbT 2 = imap(Po,kbT2);162 matrix kbT_2 = imap(Po,kbT_2); 163 163 matrix Mon = fetch(`myPx`,Mon); 164 164 matrix F_R = fetch(`myPx`,F_R); … … 178 178 Cup = jet(Cup,@d,@jv); 179 179 } 180 //------- express obstructions in kbase of T 2 --------------------------------180 //------- express obstructions in kbase of T_2 -------------------------------- 181 181 if ( @noObstr==0 ) 182 182 { Cup' = reduce(Cup,PreO'); … … 187 187 } 188 188 Cup = lift(PreO,Cup); 189 MASS = lift_rel_kb(Cup,PreT,kbT 2,X_s);189 MASS = lift_rel_kb(Cup,PreT,kbT_2,X_s); 190 190 dbprint(p-3,"// next MASSEY-products:",MASS-jet(MASS,@d-1,@jv)); 191 191 if (MASS==transpose(Js))
Note: See TracChangeset
for help on using the changeset viewer.