Changeset 731e67e in git for Singular/LIB/equising.lib
- Timestamp:
- Jul 18, 2006, 5:48:31 PM (18 years ago)
- Branches:
- (u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
- Children:
- a15d90a2e309f3fabc9f9d147ba93e4fbaff9e3d
- Parents:
- dd73043aece50a3b540b469cacfe1e7bb5712915
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/equising.lib
rdd73043 r731e67e 1 version="$Id: equising.lib,v 1.1 6 2006-06-13 14:29:48Singular Exp $";1 version="$Id: equising.lib,v 1.17 2006-07-18 15:48:12 Singular Exp $"; 2 2 category="Singularities"; 3 3 info=" … … 1086 1086 } 1087 1087 } 1088 1088 1089 1089 // Computation for all equimultiple sections being trivial (I^s(f)) 1090 1090 ideal Jtriv=J; … … 1129 1129 } 1130 1130 1131 //new CL 11/06: check in which equations b(k) appears and remove those b(k) 1131 //new CL 11/06: check in which equations b(k) appears and remove those b(k) 1132 1132 // which appear in exactly one of the equations (by removing this 1133 1133 // equation) … … 1144 1144 for (i=1;i<=no_b; i++) 1145 1145 { 1146 ideal b_appears_in(i); // Eintraege sind spaeter 1 oder 0 1147 intmat b_app_in(i)[1][ncJ]; // Eintraege sind spaeter 1 oder 0 1148 b_appears_in(i)[ncJ]=0; 1146 ideal b_appears_in(i); // Eintraege sind spaeter 1 oder 0 1147 intmat b_app_in(i)[1][ncJ]; // Eintraege sind spaeter 1 oder 0 1148 b_appears_in(i)[ncJ]=0; 1149 1149 J_Tmp = J-subst(J,b(i),0); 1150 for (Z=1; Z<=ncJ; Z++) { 1150 for (Z=1; Z<=ncJ; Z++) { 1151 1151 if (J_Tmp[Z]<>0) { // b(i) appear in J_Tmp[Z] 1152 1152 b_appears_in(i)[Z]=1;
Note: See TracChangeset
for help on using the changeset viewer.