Changeset d78356 in git for Singular/LIB/chern.lib


Ignore:
Timestamp:
Jul 4, 2020, 3:13:10 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
89005e409e564feafbec751f5c65109638c47368
Parents:
7032db2a39319cc0c7a7814003e93cae02793c5e67e34d703a09cd2924973f990bf59c52ba5c4cd2
Message:
Merge branch 'execute' of https://github.com/sachinkm308/Sources into sachinkm308-execute
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/chern.lib

    r7032db rd78356  
    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.