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


Ignore:
Timestamp:
Jul 4, 2020, 4:54:16 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
9e20b9f7749f3bf1b809cdfca51f8fdbbc25e754
Parents:
7032db2a39319cc0c7a7814003e93cae02793c5ed78356197b75c5a7efd1896ede6a66356bbb6d94
Message:
Merge branch 'sachinkm308-execute' into spielwiese
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/chern.lib

    r7032db r89005e  
    201201  }
    202202  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);
    206205  int i;
    207206  for(i=1; i<=nV; i++)
     
    31693168  l13[size(l13)+1] = "u@";
    31703169  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
    31733171  ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
    31743172  // compute the ideal of the Rees algebra of the ideal I:
     
    32693267  l14[size(l14)+1] = "u@";
    32703268  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
    32733270  ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
    32743271  // compute the ideal of the Rees algebra of the ideal I:
     
    34043401  def br@=basering; // remember the base ring
    34053402  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);
    34083404  ideal J=homog(I, homvar@);
    34093405  ideal JJ=J, homvar@;
     
    39883984  l15[size(l15)+1] = "u@";
    39893985  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);
    39923987  ideal J(0..n);
    39933988  for(i=1; i<=sz; i++)
Note: See TracChangeset for help on using the changeset viewer.