- Timestamp:
- Feb 8, 2023, 11:53:52 AM (15 months ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
- Children:
- fc3e38a9594db45ef057fa7619334e1e68c5dbcb
- Parents:
- 68d3d68ed95d98fbda368b21fd043075dd4520e0
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/tropicalNewton.lib
r68d3d68 rfebceb 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="version tropicalNewton.lib 4. 1.2.0 Feb_2019"; // $Id$2 version="version tropicalNewton.lib 4.3.1.3 Feb_2023 "; // $Id$ 3 3 category="Tropical Geometry"; 4 4 info=" … … 488 488 489 489 int n = nvars(origin); 490 string vars; 491 string subststr = "ideal J = subst(I,"; 490 ideal @map_im; 492 491 list VV; 493 492 number c; 493 list vars; 494 494 for (int i=1; i<=n; i++) 495 495 { 496 496 if (u[i]==0) 497 497 { 498 vars = vars+varstr(i)+","; 498 @map_im[i]=var(i); 499 vars=vars+list(string(var(i))); 499 500 } 500 501 else … … 503 504 VV[i]=number(val(c)); 504 505 dbprint("substituting "+string(var(i))+" with number of valuation "+string(VV[i])); 505 subststr = subststr+varstr(i)+","+string(c)+","; 506 } 507 } 508 vars = vars[1..size(vars)-1]; 509 subststr = string(subststr[1..size(subststr)-1])+");"; 510 execute(subststr); 511 512 ring s = create_ring(ring_list(origin)[1], "("+vars+")", "lp", "no_minpoly"); 506 @map_im[i]=c; 507 } 508 } 509 map @map=basering,@map_im; 510 ideal J=@map(I); 511 512 ring s = create_ring(ring_list(origin)[1], vars, "lp", "no_minpoly"); 513 513 ideal J = imap(origin,J); 514 514 int tstdlp = timer;
Note: See TracChangeset
for help on using the changeset viewer.