Changeset c99fd4 in git for Singular/LIB/dmod.lib


Ignore:
Timestamp:
Oct 6, 2008, 7:04:28 PM (16 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
886b0dae50b58b9f8b0863c63abf2f0ddacf9a26
Parents:
100025a806c37776e35dd4b839e192304f203af8
Message:
*hannes/gmg: elim, select, nselect, select1


git-svn-id: file:///usr/local/Singular/svn/trunk@11098 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/dmod.lib

    r100025 rc99fd4  
    11//////////////////////////////////////////////////////////////////////////////
    2 version="$Id: dmod.lib,v 1.30 2008-08-07 20:14:21 levandov Exp $";
     2version="$Id: dmod.lib,v 1.31 2008-10-06 17:04:26 Singular Exp $";
    33category="Noncommutative";
    44info="
    … …  
    880880  dbprint(ppl-1, K);
    881881  ideal M = engine(K,eng);
    882   ideal K2 = nselect(M,1,Nnew-1);
     882  ideal K2 = nselect(M,1..Nnew-1);
    883883  kill K,M;
    884884  dbprint(ppl,"// -2-3- _x,_Dx are eliminated in @R2");
    … …  
    11091109  dbprint(ppl-1, K);
    11101110  ideal M = engine(K,eng);
    1111   ideal K2 = nselect(M,1,Nnew-1);
     1111  ideal K2 = nselect(M,1..Nnew-1);
    11121112  kill K,M;
    11131113  dbprint(ppl,"// -2-3- _x,_Dx are eliminated in @R2");
    … …  
    12591259  ideal M = engine(J,eng);
    12601260  int Nnew = nvars(@R2);
    1261   ideal K2 = nselect(M,1,Nnew-1);
     1261  ideal K2 = nselect(M,1..Nnew-1);
    12621262  int ppl = printlevel-voice+2;
    12631263  dbprint(ppl,"// -1-1- _x,_Dx are eliminated in basering");
    … …  
    14541454  ideal M = engine(J,eng);
    14551455  int Nnew = nvars(@R2);
    1456   ideal K2 = nselect(M,1,Nnew-1);
     1456  ideal K2 = nselect(M,1..Nnew-1);
    14571457  dbprint(ppl,"// -2-0- _x,_Dx are eliminated in basering");
    14581458  dbprint(ppl-1, K2);
    … …  
    17601760  dbprint(ppl-1, K);
    17611761  ideal M = engine(K,eng);
    1762   ideal K2 = nselect(M,1,Nnew-1);
     1762  ideal K2 = nselect(M,1..Nnew-1);
    17631763  kill K,M;
    17641764  dbprint(ppl,"// -2-3- _x,_Dx are eliminated in @R2");
    … …  
    22602260  dbprint(ppl-1, I);
    22612261  ideal J = engine(I,eng);
    2262   ideal K = nselect(J,1,P);
     2262  ideal K = nselect(J,1..P);
    22632263  kill I,J;
    22642264  dbprint(ppl,"// -1-3- all t(i) are eliminated");
    … …  
    23452345  dbprint(ppl-1, K);
    23462346  ideal M = engine(K,eng);
    2347   ideal K2 = nselect(M,1,Nnew-P);
     2347  ideal K2 = nselect(M,1..Nnew-P);
    23482348  kill K,M;
    23492349  dbprint(ppl,"// -2-3- _x,_Dx are eliminated in @R2");
    … …  
    25812581  dbprint(ppl-1, I);
    25822582  ideal J = engine(I,eng);
    2583   ideal K = nselect(J,1,2);
     2583  ideal K = nselect(J,1..2);
    25842584  dbprint(ppl,"// -1-3- u,v are eliminated");
    25852585  dbprint(ppl-1, K);  // K is without u,v
    … …  
    26532653  dbprint(ppl-1, K);
    26542654  ideal M  = engine(K,eng);
    2655   ideal K2 = nselect(M,1,2);
     2655  ideal K2 = nselect(M,1..2);
    26562656  dbprint(ppl,"// -2-3- t,Dt are eliminated");
    26572657  dbprint(ppl-1, K2);
    … …  
    27222722  dbprint(ppl-1, K);
    27232723  ideal M = engine(K,eng);
    2724   ideal K3 = nselect(M,1,Nnew-1);
     2724  ideal K3 = nselect(M,1..Nnew-1);
    27252725  dbprint(ppl,"// -3-3-  _x,_Dx are eliminated in @R3");
    27262726  dbprint(ppl-1, K3);
    … …  
    29592959  dbprint(ppl-1, I);
    29602960  ideal J = engine(I,eng);
    2961   ideal K = nselect(J,1,2);
     2961  ideal K = nselect(J,1..2);
    29622962  dbprint(ppl,"// -1-3- u,v are eliminated");
    29632963  dbprint(ppl-1, K);  // K is without u,v
    … …  
    30313031  dbprint(ppl-1, K);
    30323032  ideal M  = engine(K,eng);
    3033   ideal K2 = nselect(M,1,2);
     3033  ideal K2 = nselect(M,1..2);
    30343034  dbprint(ppl,"// -2-3- t,Dt are eliminated");
    30353035  dbprint(ppl-1, K2);
    … …  
    34643464  dbprint(ppl-1, I);
    34653465  ideal J = engine(I,eng);
    3466   ideal K = nselect(J,1,2);
     3466  ideal K = nselect(J,1..2);
    34673467  dbprint(ppl,"// -1-3- t,Dt are eliminated");
    34683468  dbprint(ppl-1, K);  // K is without t, Dt
    … …  
    36893689  dbprint(ppl-1, I);
    36903690  ideal J = engine(I,eng);
    3691   ideal K = nselect(J,1,2);
     3691  ideal K = nselect(J,1..2);
    36923692  dbprint(ppl,"// -1-3- t,Dt are eliminated");
    36933693  dbprint(ppl-1, K);  // K is without t, Dt
    … …  
    38613861  ideal M = engine(J,eng);
    38623862  int Nnew = nvars(@R2);
    3863   ideal K2 = nselect(M,1,Nnew-1);
     3863  ideal K2 = nselect(M,1..Nnew-1);
    38643864  int ppl = printlevel-voice+2;
    38653865  dbprint(ppl,"// -1-1- _x,_Dx are eliminated in basering");
    … …  
    41164116//   dbprint(ppl,"// -1-2- starting the elimination of u,v in @R");
    41174117//   ideal J = engine(I,eng);
    4118 //   ideal K = nselect(J,1,2);
     4118//   ideal K = nselect(J,1..2);
    41194119//   dbprint(ppl,"// -1-3- u,v are eliminated in @R");
    41204120//   dbprint(ppl-1,K); // without u,v: not yet our answer
    … …  
    41884188//   dbprint(ppl,"// -2-2- starting elimination for t,Dt in @R2");
    41894189//   ideal J  = engine(K2,eng);
    4190 //   ideal K  = nselect(J,1,2);
     4190//   ideal K  = nselect(J,1..2);
    41914191//   dbprint(ppl,"// -2-3- t,Dt are eliminated");
    41924192//   dbprint(ppl-1,K);
    … …  
    50295029  dbprint(ppl-1, J);
    50305030  ideal G = engine(J,eng);
    5031   ideal K = nselect(G,1,N-1);
     5031  ideal K = nselect(G,1..N-1);
    50325032  kill J,G;
    50335033  dbprint(ppl,"// -1-3- _x,_Dx are eliminated");
Note: See TracChangeset for help on using the changeset viewer.