Changeset 50cbdc in git for Singular/LIB/primdec.lib
- Timestamp:
- Aug 27, 2001, 4:48:02 PM (23 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 2567b5a6cb7109be5a83e53eb94abb1c38fb9945
- Parents:
- 3de58c9ca0aeaafdf5cb29f986967bffa405b542
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/primdec.lib
r3de58c r50cbdc 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: primdec.lib,v 1. 99 2001-03-29 11:34:59Singular Exp $";2 version="$Id: primdec.lib,v 1.100 2001-08-27 14:47:58 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 379 379 /////////////////////////////////////////////////////////////////////////////// 380 380 381 staticproc idealsEqual( ideal k, ideal j)381 proc idealsEqual( ideal k, ideal j) 382 382 { 383 383 return(stdIdealsEqual(std(k),std(j))); … … 426 426 427 427 428 staticproc primaryTest (ideal i, poly p)428 proc primaryTest (ideal i, poly p) 429 429 { 430 430 int m=1; … … 797 797 for(i=1;i<=size(keep);i++) 798 798 { 799 l[size(l)+1]=keep[i]; 800 l[size(l)+1]=primaryTest(keep[i],keep[i][1]); 799 if(deg(keep[i][1])>0) 800 { 801 l[size(l)+1]=keep[i]; 802 l[size(l)+1]=primaryTest(keep[i],keep[i][1]); 803 } 801 804 } 802 805 } … … 952 955 } 953 956 } 957 954 958 if(size(#)==0) 955 959 { … … 3156 3160 RETURN: ideal, the radical of i. 3157 3161 NOTE: Uses the algorithm of Eisenbud/Huneke/Vasconcelos, which 3158 reduces the computation to the complete intersection case, 3162 reduces the computation to the complete intersection case, 3159 3163 by taking, in the general case, a generic linear combination 3160 3164 of the input. … … 3177 3181 intvec op=option(get); 3178 3182 matrix M; 3179 3183 3180 3184 option(redSB); 3181 3185 list m=mstd(i);
Note: See TracChangeset
for help on using the changeset viewer.