Changeset d78356 in git for Singular/LIB/chern.lib
 Timestamp:
 Jul 4, 2020, 3:13:10 PM (4 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
 Children:
 89005e409e564feafbec751f5c65109638c47368
 Parents:
 7032db2a39319cc0c7a7814003e93cae02793c5e67e34d703a09cd2924973f990bf59c52ba5c4cd2
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/chern.lib
r7032db rd78356 201 201 } 202 202 ring r@ = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly"); 203 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 204 ideal V=F(V); 205 poly f=F(f); 203 ideal V=fetch(br@,V); 204 poly f=fetch(br@,f); 206 205 int i; 207 206 for(i=1; i<=nV; i++) … … 3169 3168 l13[size(l13)+1] = "u@"; 3170 3169 ring r@ = create_ring(ringlist(basering)[1], l13, "dp", "no_minpoly"); 3171 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 3172 ideal I=F(I); // the ideal generated by I in the new ring 3170 ideal I=fetch(br@,I); // the ideal generated by I in the new ring 3173 3171 ideal J(0..n); // define n+1 ideals J(0), ... , J(n) 3174 3172 // compute the ideal of the Rees algebra of the ideal I: … … 3269 3267 l14[size(l14)+1] = "u@"; 3270 3268 ring r@ = create_ring(ringlist(basering)[1], l14, "dp", "no_minpoly"); 3271 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 3272 ideal I=F(I); // the ideal generated by I in the new ring 3269 ideal I=fetch(br@,I); // the ideal generated by I in the new ring 3273 3270 ideal J(0..n); // define n+1 ideals J(0), ... , J(n) 3274 3271 // compute the ideal of the Rees algebra of the ideal I: … … 3404 3401 def br@=basering; // remember the base ring 3405 3402 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+",homvar@)", "dp", "no_minpoly"); 3406 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 3407 ideal I=F(I); 3403 ideal I=fetch(br@,I); 3408 3404 ideal J=homog(I, homvar@); 3409 3405 ideal JJ=J, homvar@; … … 3988 3984 l15[size(l15)+1] = "u@"; 3989 3985 ring r@ = create_ring(ringlist(basering)[1], l15, "dp", "no_minpoly"); 3990 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 3991 ideal I=F(I); 3986 ideal I=fetch(br@,I); 3992 3987 ideal J(0..n); 3993 3988 for(i=1; i<=sz; i++)
Note: See TracChangeset
for help on using the changeset viewer.