Changeset aa3379 in git
- Timestamp:
- Jul 23, 2021, 8:16:18 PM (3 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- 56975f735fc92ade2b197542c56412fa80857c7d
- Parents:
- 0f1f7991503b92c41f5baf8a7d5849f866e7617d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/standard.lib
r0f1f79 raa3379 74 74 if (sQ!=0 ) 75 75 { 76 ring Rfglm = create_ring(ring list(P)[1], "("+varstr(P)+")", os, "no_minpoly");76 ring Rfglm = create_ring(ring_list(P)[1], "("+varstr(P)+")", os, "no_minpoly"); 77 77 ideal Qideal = fetch(P,Qideal); 78 78 qring Pfglm = groebner(Qideal,"std","slimgb"); … … 80 80 else 81 81 { 82 ring Pfglm = create_ring(ring list(P)[1], "("+varstr(P)+")", os, "no_minpoly");82 ring Pfglm = create_ring(ring_list(P)[1], "("+varstr(P)+")", os, "no_minpoly"); 83 83 } 84 84 if ( sM!=0 ) … … 89 89 else 90 90 { 91 list BRlist = ring list(P);91 list BRlist = ring_list(P); 92 92 int nvarP = nvars(P); 93 93 intvec w; //for ringweights of basering P … … 191 191 192 192 // save ordering of basering P for later use 193 list ord_P = ring list(P)[3];//ordering of basering in ringlist193 list ord_P = ring_list(P)[3]; //ordering of basering in ringlist 194 194 string ordstr_P = ordstr(P); //ordering of basering as string 195 195 int nvarP = nvars(P); … … 318 318 //a quotient ideal from P is added to the input 319 319 320 list BRlist = ring list(Philb);320 list BRlist = ring_list(Philb); 321 321 BRlist[3] = list(); 322 322 int so = size(ord_P); … … 451 451 ideal i = y+u2+uv3, z+uv3; //i is an lp-SB but not a dp_SB 452 452 qring Q = std(i); 453 list LQ = ring list(Q);453 list LQ = ring_list(Q); 454 454 LQ[3][1][1]="dp"; 455 455 def Q1 = ring(quotientList(LQ)); … … 594 594 int is_qring =1; 595 595 } 596 list BRlist = ring list(P);596 list BRlist = ring_list(P); 597 597 BRlist[4] = ideal(0); //kill quotient ideal in BRlist 598 598 … … 753 753 //delete the quotient ideal and add it to i 754 754 755 list BRlist = ring list(P);755 list BRlist = ring_list(P); 756 756 BRlist[4] = ideal(0); 757 757 def Phelp = ring(BRlist); … … 915 915 //is_homog = homog(Qideal); //remembers if Qideal was homog (homog(0)=1) 916 916 } 917 list BRlist = ring list(P); //ringlist of basering917 list BRlist = ring_list(P); //ringlist of basering 918 918 919 919 // save ordering of basering P for later use … … 1311 1311 } 1312 1312 1313 if( (size(ideal(basering)) > 0) || (size(ring list(P)) > 4) )1313 if( (size(ideal(basering)) > 0) || (size(ring_list(P)) > 4) ) 1314 1314 { 1315 1315 // the quick hack for qrings - seems to fit most needs … … 1581 1581 { 1582 1582 def @newP=basering; 1583 ring @newr = create_ring(ring list(basering)[1], "("+varstr(basering)+", @t, @w)", "dp", "no_minpoly");1583 ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t, @w)", "dp", "no_minpoly"); 1584 1584 module b=imap(@newP,b); 1585 1585 module a=imap(@newP,a); … … 1602 1602 { 1603 1603 def @newP=basering; 1604 ring @newr = create_ring(ring list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");1604 ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly"); 1605 1605 module b=imap(@newP,b); 1606 1606 module a=imap(@newP,a); … … 1624 1624 { 1625 1625 def @newP=basering; 1626 ring @newr = create_ring(ring list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");1626 ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly"); 1627 1627 module b=imap(@newP,b); 1628 1628 module a=imap(@newP,a); … … 1642 1642 { 1643 1643 def R=basering; 1644 ring gnir = create_ring(ring list(basering)[1], "("+varstr(basering)+",@t)", "(C,dp)", "no_minpoly");1644 ring gnir = create_ring(ring_list(basering)[1], "("+varstr(basering)+",@t)", "(C,dp)", "no_minpoly"); 1645 1645 ideal i=var(nvars(basering))*imap(R,i)+(var(nvars(basering))-1)*imap(R,j); 1646 1646 ideal j=eliminate(i,var(nvars(basering))); … … 2554 2554 { 2555 2555 int i = int(v[5,size(v)-5]); 2556 v = ring list(basering)[2][i];2556 v = ring_list(basering)[2][i]; 2557 2557 } 2558 2558 return(v); … … 2651 2651 l1 int or list, l2 list or string, l3 list or string, l4 ideal 2652 2652 RETURN: ring(list(l1, l2, l3, l4)) 2653 NOTE: l1, l2, l3, l4 are assumed to be the four entries of ring list(R)2653 NOTE: l1, l2, l3, l4 are assumed to be the four entries of ring_list(R) 2654 2654 where R is the ring to be returned. 2655 2655 @* Optional arguments: If l4 is not given, it is assumend to be … … 2755 2755 "EXAMPLE:"; echo = 2; 2756 2756 ring R = (0,a), x, lp; 2757 ring list(R);2757 ring_list(R); 2758 2758 minpoly = a^2+1; 2759 2759 qring Q = ideal(x^3-2); 2760 ring S = create_ring(ring list(Q)[1], "(x,y,t)", "dp", "no_minpoly");2760 ring S = create_ring(ring_list(Q)[1], "(x,y,t)", "dp", "no_minpoly"); 2761 2761 basering; 2762 2762 }
Note: See TracChangeset
for help on using the changeset viewer.