Changeset 89005e in git for Singular/LIB/chern.lib

Timestamp:

Jul 4, 2020, 4:54:16 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

9e20b9f7749f3bf1b809cdfca51f8fdbbc25e754

Parents:

7032db2a39319cc0c7a7814003e93cae02793c5ed78356197b75c5a7efd1896ede6a66356bbb6d94

Message:

Merge branch 'sachinkm308-execute' into spielwiese

File:

• Singular/LIB/chern.lib (modified) (5 diffs)

Singular/LIB/chern.lib

@@ -201 +201 @@
   }
   ring r@ = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly"); 
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal V=F(V);
-  poly f=F(f);
+  ideal V=fetch(br@,V);
+  poly f=fetch(br@,f);
   int i;
   for(i=1; i<=nV; i++)
@@ -3169 +3168 @@
   l13[size(l13)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l13, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I); // the ideal generated by I in the new ring
+  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
   ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
   // compute the ideal of the Rees algebra of the ideal I:
@@ -3269 +3267 @@
   l14[size(l14)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l14, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I); // the ideal generated by I in the new ring
+  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
   ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
   // compute the ideal of the Rees algebra of the ideal I:
@@ -3404 +3401 @@
   def br@=basering; // remember the base ring
   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+",homvar@)", "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I);
+  ideal I=fetch(br@,I);
   ideal J=homog(I, homvar@);
   ideal JJ=J, homvar@;
@@ -3988 +3984 @@
   l15[size(l15)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l15, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I);
+  ideal I=fetch(br@,I);
   ideal J(0..n);
   for(i=1; i<=sz; i++)