Changeset 92550d in git for Singular/LIB/primdec.lib
 Timestamp:
 May 20, 2014, 5:18:40 PM (10 years ago)
 Branches:
 (u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')
 Children:
 a770fe2fceb17640c0d38e02178754f465f6ef5b
 Parents:
 984ff3b24d0cfc0f0c40172a5ef29ced17fd6741
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/primdec.lib
r984ff3 r92550d 4006 4006 } 4007 4007 // remaining case: re[n+1] is trivial 4008 // either n is at least number of variables or 4008 // either n is at least number of variables or 4009 4009 // resolution happens to be shorter 4010 4010 ideal ann=Ann(transpose(re[n])); … … 4152 4152 matrix m=char_series(PS); // We compute an irreducible 4153 4153 // characteristic series 4154 if ((nrows(m)==1) 4155 && (ncols(m)==1) 4156 && (m[1,1]==1)) // in case of an empty series: min_ass_prim_charsets1 4157 { 4158 return min_ass_prim_charsets1(PS); 4159 } 4154 4160 int i,j,k; 4155 4161 list PSI; … … 4251 4257 matrix m=char_series(PS); // We compute an irreducible 4252 4258 // characteristic series 4259 // this series may be empty (1x1: 1) 4253 4260 int i,j,k; 4261 while ((nrows(m)==1) 4262 && (ncols(m)==1) 4263 && (m[1,1]==1)) // in case of an empty series: permute the variables 4264 { 4265 n=string(var(nvars(oldring))); 4266 for(i=1;i<nvars(oldring);i++) { n=n+","+string(var(i)); } 4267 kill r; 4268 execute("ring r=("+charstr(oldring)+"),("+n+"),dp;"); 4269 ideal PS=imap(oldring,PS); 4270 matrix m=char_series(PS); 4271 } 4254 4272 ideal I; 4255 4273 list PSI;
Note: See TracChangeset
for help on using the changeset viewer.