Changeset 3d5b277 in git for Singular/LIB/tropical.lib
- Timestamp:
- Jul 25, 2019, 1:23:11 PM (5 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 35a153cf7acb82519d52d0b74581e9a193d15765
- Parents:
- c9824e54c705dcaedb3b991c6bf81f9f974e758d3f94cbdb24129f0002a999ab5fb63a34f0fc933d
- git-author:
- Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-07-25 13:23:11+02:00
- git-committer:
- GitHub <noreply@github.com>2019-07-25 13:23:11+02:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/tropical.lib
r3f94cb r3d5b277 3644 3644 CHARAKTERISTIK=CHARAKTERISTIK[1..size(CHARAKTERISTIK)-2]; 3645 3645 def BASERING=basering; 3646 execute("ring INITIALRING=("+CHARAKTERISTIK+"),("+varstr(basering)+"),("+ordstr(basering)+");");3646 ring INITIALRING = create_ring("("+CHARAKTERISTIK+")", "("+varstr(basering)+")", "("+ordstr(basering)+")"); 3647 3647 list l=solve(imap(BASERING,i)); 3648 3648 l; … … 5551 5551 setring LIFTRing; 5552 5552 poly mp=minpoly; 5553 execute("ring TESTRing=("+charstr(LIFTRing)+"),("+varstr(BASERING)+"),dp;");5553 ring TESTRing = create_ring(ringlist(LIFTRing)[1], "("+varstr(BASERING)+")", "dp", "no_minpoly"); 5554 5554 minpoly=number(imap(LIFTRing,mp)); 5555 5555 ideal i=imap(BASERING,i); … … 5939 5939 else 5940 5940 { 5941 execute("ring PARARing=("+charstr(basering)+"),t,ls;");5941 ring PARARing = create_ring(ringlist(basering)[1], "t", "ls", "no_minpoly"); 5942 5942 } 5943 5943 ideal PARA; // will contain the parametrisation … … 6200 6200 else 6201 6201 { 6202 execute("ring SATURATERING=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");");6202 ring SATURATERING = create_ring(ringlist(basering)[1], "("+varstr(basering)+")", "("+ordstr(basering)+")", "no_minpoly"); 6203 6203 ideal i=imap(BASERING,i); 6204 6204 export(i); … … 6341 6341 // - the variable t is superflous, 6342 6342 // the variable @a is not if it was already present 6343 execute("ring INITIALRING=("+charstr(basering)+"),("+string(variablen)+"),dp;");6343 ring INITIALRING = create_ring(ringlist(basering)[1], "("+string(variablen)+")", "dp", "no_minpoly"); 6344 6344 ideal ini=imap(BASERING,ini); 6345 6345 // compute the minimal associated primes of the … … 6367 6367 // define the extension ring which contains 6368 6368 // the new variable @a, if it is not yet present 6369 execute("ring EXTENSIONRING=("+charstr(BASERING)+"),("+string(imap(BASERING,variablen))+",@a,"+tvar+"),(dp("+string(anzahlvariablen-1)+"),dp(1),lp(1));");6369 ring EXTENSIONRING = create_ring(ringlist(BASERING)[1], "("+string(imap(BASERING,variablen))+",@a,"+tvar+")", "(dp("+string(anzahlvariablen-1)+"),dp(1),lp(1))", "no_minpoly"); 6370 6370 // phi maps x_i to x_i, @a to @a (if present in the ring), 6371 6371 // and the additional variable … … 6378 6378 else // @a was already present in the BASERING or no 6379 6379 { // field extension is necessary 6380 execute("ring EXTENSIONRING=("+charstr(BASERING)+"),("+varstr(BASERING)+"),("+ordstr(BASERING)+");");6380 ring EXTENSIONRING = create_ring(ringlist(BASERING)[1], "("+varstr(BASERING)+")", "("+ordstr(BASERING)+")", "no_minpoly"); 6381 6381 // phi maps x_i to x_i, @a to @a (if present in the ring), 6382 6382 // and the additional variable … … 7255 7255 { 7256 7256 def BASERING=basering; 7257 execute("ring INTERRING=0,("+varstr(basering)+"),("+ordstr(basering)+");");7257 ring INTERRING = create_ring(0, "("+varstr(basering)+")", "("+ordstr(basering)+")"); 7258 7258 poly n=imap(BASERING,n); 7259 execute("ring REALRING=(real,50,100),("+varstr(basering)+"),("+ordstr(basering)+");");7259 ring REALRING = create_ring("(real,50,100)", "("+varstr(basering)+")", "("+ordstr(basering)+")"); 7260 7260 map phi=INTERRING,maxideal(1); 7261 7261 string s=string(phi(n)); … … 7873 7873 { 7874 7874 def BASERING=basering; 7875 execute("ring TRING="+string(char(BASERING))+",t,ds;");7875 ring TRING = create_ring(string(char(BASERING)), "t", "ds"); 7876 7876 poly hn=imap(BASERING,hn); 7877 7877 poly c4=imap(BASERING,c4);
Note: See TracChangeset
for help on using the changeset viewer.