Changeset 9660f5 in git
 Timestamp:
 Apr 3, 2009, 10:58:53 PM (15 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '3720ae8bfcff4a4649ee98a15552089151d2d59b')
 Children:
 bb02ea041a895524f1e9c21fb8250d90719003c1
 Parents:
 5c990f152831c8b6b6954cc2fc0829365f41cc20
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/algebra.lib
r5c990f1 r9660f5 3 3 //new proc nonZeroEntry(id), used to fix a bug in proc finitenessTest 4 4 /////////////////////////////////////////////////////////////////////////////// 5 version="$Id: algebra.lib,v 1. 19 20090220 09:26:50 SingularExp $";5 version="$Id: algebra.lib,v 1.20 20090403 20:58:53 motsak Exp $"; 6 6 category="Commutative Algebra"; 7 7 info=" … … 249 249 and then l[2] = y(0)h(y(1),...,y(k)) if p = h(i[1],...,i[k]) 250 250 l[1]=0 iff p is in not the subring generated by i, 251 and then l[2] = h(y(0),y(1),...,y(k) where p satisfies the251 and then l[2] = h(y(0),y(1),...,y(k)) where p satisfies the 252 252 nonlinear relation h(p,i[1],...,i[k])=0. 253 253 @end format 254 254 NOTE: the proc algebra_containment tests the same with a different 255 255 algorithm, which is often faster 256 if l[1] == 0 then l[2] may contain more than one relation h(y(0),y(1),...,y(k)), 257 separated by comma 256 258 EXAMPLE: example inSubring; shows an example 257 259 " … … 298 300 } 299 301 if (deg(ker[i]/y(0))>0) 300 { l[2]=l[2]+string(ker[i]); 302 { if( l[2] != "" ){ l[2] = l[2] + ","; } 303 l[2] = l[2] + string(ker[i]); 301 304 } 302 305 }
Note: See TracChangeset
for help on using the changeset viewer.