Changeset 075bc5 in git


Ignore:
Timestamp:
Oct 24, 2018, 2:56:54 PM (6 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
Children:
141c69129ce626a1c7c898edb6ab66c0632a1759
Parents:
99d02931f1b01b2ae7d88ca405c300918c8c6919
Message:
format
Files:
25 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/atkins.lib

    r99d029 r075bc5  
    248248        if((((4*p-b^2) mod absValue(D))!=0)||(c!=root_c^2))
    249249        {
    250         "3";
    251250          return(-1);
    252251          // ERROR("The Diophantine equation has no solution!");

  • Singular/LIB/bfun.lib

    r99d029 r075bc5  
    345345          {
    346346             M[i+sZeros] = gen(posNonZero[i]);
    347           } 
     347          }
    348348          kill posNonZero;
    349349        }

  • Singular/LIB/classify2.lib

    r99d029 r075bc5  
    3333Complex Singularities of Corank and Modality up to Two, Singularities and
    3434Computer Algebra - Festschrift for Gert-Martin Greuel on the Occasion of his
    35 70th Birthday, Springer 2017, http://arxiv.org/abs/1604.04774, 
     3570th Birthday, Springer 2017, http://arxiv.org/abs/1604.04774,
    3636https://doi.org/10.1007/978-3-319-28829-1_2
    3737
    … …  
    3939the complex type of the singularity.
    4040
    41 Acknowledgements: This research was supported by 
    42 the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489, 
     41Acknowledgements: This research was supported by
     42the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489,
    4343DFG TRR 195. The financial assistance of the National Research Foundation (NRF),
    44 South Africa, towards this research is hereby acknowledged. Opinions expressed 
    45 and conclusions arrived at are those of the author and are not necessarily to be 
     44South Africa, towards this research is hereby acknowledged. Opinions expressed
     45and conclusions arrived at are those of the author and are not necessarily to be
    4646attributed to the National Research Foundation, South Africa.
    4747

  • Singular/LIB/general.lib

    r99d029 r075bc5  
    369369        if ( @marie[@joni] != "LIB" && @marie[@joni] != "Top"
    370370             && typeof(`@marie[@joni]`) != "proc"
    371              && typeof(`@marie[@joni]`) != "cring")
     371             && typeof(`@marie[@joni]`) != "cring")
    372372        {
    373373          no_kill = 0;

  • Singular/LIB/nets.lib

    r99d029 r075bc5  
    1919
    2020TYPES:
    21 Net                                     The class of all nets
     21Net                         The class of all nets
    2222
    2323PROCEDURES:
    … …  
    5656
    5757
    58 /*      test rings
    59 //
    60         ring r1 = 32003,(x,y,z),dp;
    61 //
    62         ring r2 = 32003,(x(1..10)),dp;
    63 //
    64         ring r3 = 32003,(x(1..5)(1..8)),dp;
    65 //
    66         ring r4 = 0,(a,b,c,d),lp;
    67 //
    68         ring r5 = 7,(x,y,z),ds;
    69 //
    70         ring r6 = 10,(x,y,z),ds;
    71 //
    72         ring r7 = 7,(x(1..6)),(lp(3),dp);
    73 //
    74         ring r8 = 0,(x,y,z,a,b,c),(ds(3), dp(3));
    75 //
    76         ring r9 = 0,(x,y,z),(c,wp(2,1,3));
    77 //
    78         ring r10 = (7,a,b,c),(x,y,z),Dp;
    79 //
    80         ring r11 = (7,a),(x,y,z),dp;
    81         minpoly = a^2+a+3;
    82 //
    83         ring r12 = (7^2,a),(x,y,z),dp;
    84 //
    85         ring r13 = real,(x,y,z),dp;
    86 //
    87         ring r14 = (real,50),(x,y,z),dp;
    88 //
    89         ring r15 = (real,10,50),(x,y,z),dp;
    90 //
    91         ring r16 = (complex,30,j),(x,y,z),dp;
    92 //
    93         ring r17 = complex,(x,y,z),dp;
    94 //
    95         ring R = 7,(x,y,z), dp;
    96         qring r18 = std(maxideal(2));
    97 //
    98         ring r19 = integer,(x,y,z), dp;
    99 //
    100         ring r20 = (integer, 6, 3),(x,y,z), dp;
    101 //
    102         ring r21 = (integer, 100),(x,y,z), dp;
     58/*  test rings
     59//
     60  ring r1 = 32003,(x,y,z),dp;
     61//
     62  ring r2 = 32003,(x(1..10)),dp;
     63//
     64  ring r3 = 32003,(x(1..5)(1..8)),dp;
     65//
     66  ring r4 = 0,(a,b,c,d),lp;
     67//
     68  ring r5 = 7,(x,y,z),ds;
     69//
     70  ring r6 = 10,(x,y,z),ds;
     71//
     72  ring r7 = 7,(x(1..6)),(lp(3),dp);
     73//
     74  ring r8 = 0,(x,y,z,a,b,c),(ds(3), dp(3));
     75//
     76  ring r9 = 0,(x,y,z),(c,wp(2,1,3));
     77//
     78  ring r10 = (7,a,b,c),(x,y,z),Dp;
     79//
     80  ring r11 = (7,a),(x,y,z),dp;
     81  minpoly = a^2+a+3;
     82//
     83  ring r12 = (7^2,a),(x,y,z),dp;
     84//
     85  ring r13 = real,(x,y,z),dp;
     86//
     87  ring r14 = (real,50),(x,y,z),dp;
     88//
     89  ring r15 = (real,10,50),(x,y,z),dp;
     90//
     91  ring r16 = (complex,30,j),(x,y,z),dp;
     92//
     93  ring r17 = complex,(x,y,z),dp;
     94//
     95  ring R = 7,(x,y,z), dp;
     96  qring r18 = std(maxideal(2));
     97//
     98  ring r19 = integer,(x,y,z), dp;
     99//
     100  ring r20 = (integer, 6, 3),(x,y,z), dp;
     101//
     102  ring r21 = (integer, 100),(x,y,z), dp;
    103103*/
    104104
    … …  
    109109static proc mod_init()
    110110{
    111         LIB "methods.lib";
    112         newstruct("Net","list rows");
    113         system("install","Net","print",printNet,1);
    114         system("install","Net","+",catNets,2);
     111  LIB "methods.lib";
     112  newstruct("Net","list rows");
     113  system("install","Net","print",printNet,1);
     114  system("install","Net","+",catNets,2);
    115115    HashTable F = hashTable(list(list("ring"),list("matrix"),list("int"),list("string"),list("list"),list("poly"),list("map"),list("number"),list("bigint"),list("vector"),list("ideal"),list("intvec"),list("intmat"),list("bigintmat")),
    116116                        list("netRing",   "netmatrix",   "netInt",   "netString",   "netList",   "netPoly",   "netMap",   "netNumber",   "netBigInt",   "netvector",   "netIdeal",   "netIntVector","netIntMat","netBigIntMat"));
    117         Method net_ = method(F);
    118         export(net_);
     117  Method net_ = method(F);
     118  export(net_);
    119119    installMethod(net_,"net");
    120120}
    … …  
    127127static proc emptyString(int n)
    128128{
    129         string S="";
    130         for (int j=1; j<=n; j++)
    131         {
    132                 S=S+" ";
    133         }
     129  string S="";
     130  for (int j=1; j<=n; j++)
     131  {
     132      S=S+" ";
     133  }
    134134
    135135return(S);
    … …  
    142142//
    143143static proc printNet(Net N)
    144         {
    145         list L = N.rows;
    146         for (int j=1; j<=size(L); j++)
    147         {
    148         print(L[j]);
    149         }
     144  {
     145  list L = N.rows;
     146  for (int j=1; j<=size(L); j++)
     147  {
     148    print(L[j]);
     149  }
    150150}
    151151
    … …  
    163163"
    164164{
    165         list LN=N.rows;
    166         list LM=M.rows;
    167         Net NM;
    168         NM.rows=LN+LM;
     165  list LN=N.rows;
     166  list LM=M.rows;
     167  Net NM;
     168  NM.rows=LN+LM;
    169169
    170170return(NM);
    … …  
    192192"
    193193{
    194         list L, MAX;
    195         list LN=N.rows;
    196         list LM=M.rows;
    197         int widthN=size(LN[1]);
    198         int widthM=size(LM[1]);
    199         MAX[1]=size(LN);
    200         MAX[2]=size(LM);
    201         int nm=Max(MAX); /*Eine Funktion max() ist in der Bib qhmoduli.lib und heißt Max(), als Argumente nimmt die Funktion Integer-Vektoren oder -Listen*/
    202         for (int j=1; j<=nm; j++)
    203         {
    204         if (j>size(LN)){LN[j]=emptyString(widthN);}
    205         if (j>size(LM)){LM[j]=emptyString(widthM);}
    206         L[j]=LN[j]+LM[j];
    207         }
    208         Net NM;
    209         NM.rows=L;
     194  list L, MAX;
     195  list LN=N.rows;
     196  list LM=M.rows;
     197  int widthN=size(LN[1]);
     198  int widthM=size(LM[1]);
     199  MAX[1]=size(LN);
     200  MAX[2]=size(LM);
     201  int nm=Max(MAX); /*Eine Funktion max() ist in der Bib qhmoduli.lib und heißt Max(), als Argumente nimmt die Funktion Integer-Vektoren oder -Listen*/
     202  for (int j=1; j<=nm; j++)
     203  {
     204     if (j>size(LN)){LN[j]=emptyString(widthN);}
     205      if (j>size(LM)){LM[j]=emptyString(widthM);}
     206      L[j]=LN[j]+LM[j];
     207  }
     208  Net NM;
     209  NM.rows=L;
    210210
    211211return(NM);
    … …  
    345345"
    346346{
    347         /*
    348         if (r==1)
    349         {
    350                 return(string("n"));
    351         }
    352         */
    353         string S=string(n)+string("^")+string(m);
     347  /*
     348  if (r==1)
     349  {
     350    return(string("n"));
     351  }
     352  */
     353  string S=string(n)+string("^")+string(m);
    354354return(net(/*(n)+net("^")+net(r)*/ S));
    355355}
    … …  
    376376"
    377377{
    378         list RL = ringlist(R);
     378   list RL = ringlist(R);
    379379        if (size(RL[4])==0){
    380380             Net N=netCoefficientRing(R)+net("[")+net(string(RL[2]))+net("]");
    … …  
    388388{
    389389"EXAMPLE:"; // from 3.3.1 Examples of ring declarations
    390         ring r1 = 32003,(x,y,z),dp;
    391         netRing(r1);
    392 //
    393         ring r2 = 32003,(x(1..10)),dp;
    394         netRing(r2);
    395 //
    396         ring r3 = 32003,(x(1..5)(1..8)),dp;
    397         netRing(r3);
    398 //
    399         ring r4 = 0,(a,b,c,d),lp;
    400         netRing(r4);
    401 //
    402         ring r5 = 7,(x,y,z),ds;
    403         netRing(r5);
    404 //
    405         ring r6 = 10,(x,y,z),ds;
    406         netRing(r6);
    407 //
    408         ring r7 = 7,(x(1..6)),(lp(3),dp);
    409         netRing(r7);
    410 //
    411         ring r8 = 0,(x,y,z,a,b,c),(ds(3), dp(3));
    412         netRing(r8);
    413 //
    414         ring r9 = 0,(x,y,z),(c,wp(2,1,3));
    415         netRing(r9);
    416 //
    417         ring r10 = (7,a,b,c),(x,y,z),Dp;
    418         netRing(r10);
    419 //
    420         ring r11 = (7,a),(x,y,z),dp;
    421         minpoly = a^2+a+3;
    422         netRing(r11);
    423 //
    424         ring r12 = (7^2,a),(x,y,z),dp;
    425         netRing(r12);
    426 //
    427         ring r13 = real,(x,y,z),dp;
    428         netRing(r13);
    429 //
    430         ring r14 = (real,50),(x,y,z),dp;
    431         netRing(r14);
    432 //
    433         ring r15 = (real,10,50),(x,y,z),dp;
    434         netRing(r15);
    435 //
    436         ring r16 = (complex,30,j),(x,y,z),dp;
    437         netRing(r16);
    438 //
    439         ring r17 = complex,(x,y,z),dp;
    440         netRing(r17);
    441 //
    442         ring R = 7,(x,y,z), dp;
    443         qring r18 = std(maxideal(2));
    444         netRing(r18);
     390  ring r1 = 32003,(x,y,z),dp;
     391  netRing(r1);
     392//
     393  ring r2 = 32003,(x(1..10)),dp;
     394  netRing(r2);
     395//
     396  ring r3 = 32003,(x(1..5)(1..8)),dp;
     397  netRing(r3);
     398//
     399  ring r4 = 0,(a,b,c,d),lp;
     400  netRing(r4);
     401//
     402  ring r5 = 7,(x,y,z),ds;
     403  netRing(r5);
     404//
     405  ring r6 = 10,(x,y,z),ds;
     406  netRing(r6);
     407//
     408  ring r7 = 7,(x(1..6)),(lp(3),dp);
     409  netRing(r7);
     410//
     411  ring r8 = 0,(x,y,z,a,b,c),(ds(3), dp(3));
     412  netRing(r8);
     413//
     414  ring r9 = 0,(x,y,z),(c,wp(2,1,3));
     415  netRing(r9);
     416//
     417  ring r10 = (7,a,b,c),(x,y,z),Dp;
     418  netRing(r10);
     419//
     420  ring r11 = (7,a),(x,y,z),dp;
     421  minpoly = a^2+a+3;
     422  netRing(r11);
     423//
     424  ring r12 = (7^2,a),(x,y,z),dp;
     425  netRing(r12);
     426//
     427  ring r13 = real,(x,y,z),dp;
     428  netRing(r13);
     429//
     430  ring r14 = (real,50),(x,y,z),dp;
     431  netRing(r14);
     432//
     433  ring r15 = (real,10,50),(x,y,z),dp;
     434  netRing(r15);
     435//
     436  ring r16 = (complex,30,j),(x,y,z),dp;
     437  netRing(r16);
     438//
     439  ring r17 = complex,(x,y,z),dp;
     440  netRing(r17);
     441//
     442  ring R = 7,(x,y,z), dp;
     443  qring r18 = std(maxideal(2));
     444  netRing(r18);
    445445}
    446446
    … …  
    461461{
    462462// 0
    463         list Output;
    464         string Map, Source, Target;
    465         int i, v, empty;
    466         Net M;
     463  list Output;
     464  string Map, Source, Target;
     465  int i, v, empty;
     466  Net M;
    467467
    468468// 1
    469         Map=string(nameof(f));
    470         Source=string(nameof(preimage(f)));
    471         Target=string(nameof(basering));
    472         Output[1]="Map"+": "+Source+" --> "+Target;
    473         v=size(ringlist(preimage(f))[2]);
    474         empty=size(Output[1]);
    475         Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][1])+" -> "+string(f[1]);
     469  Map=string(nameof(f));
     470  Source=string(nameof(preimage(f)));
     471  Target=string(nameof(basering));
     472  Output[1]="Map"+": "+Source+" --> "+Target;
     473  v=size(ringlist(preimage(f))[2]);
     474  empty=size(Output[1]);
     475  Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][1])+" -> "+string(f[1]);
    476476
    477477// 2
    478         for (i=2; i<=v; i++){// +2
    479                 Output[i]=emptyString(empty)+" , "+string(ringlist(preimage(f))[2][i])+" -> "+string(f[i]);
    480         }// -2
     478  for (i=2; i<=v; i++){// +2
     479    Output[i]=emptyString(empty)+" , "+string(ringlist(preimage(f))[2][i])+" -> "+string(f[i]);
     480  }// -2
    481481
    482482// 3
    483         M.rows=Output;
     483  M.rows=Output;
    484484
    485485// -
    486         return(M);
     486  return(M);
    487487}
    488488
    … …  
    511511{
    512512// 0
    513         list Output;
    514         string Map, Source, Target;
    515         int i, v, empty;
    516         Net M;
     513  list Output;
     514  string Map, Source, Target;
     515  int i, v, empty;
     516  Net M;
    517517
    518518// 1
    519         Map=string(nameof(f));
    520         Source=string(nameof(preimage(f)));
    521         Target=string(nameof(basering));
    522         Output[1]=Map+": "+Source+" --> "+Target;
    523         v=size(ringlist(preimage(f))[2]);
    524         empty=size(Output[1]);
    525         Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][1])+" -> "+string(f[1]);
     519  Map=string(nameof(f));
     520  Source=string(nameof(preimage(f)));
     521  Target=string(nameof(basering));
     522  Output[1]=Map+": "+Source+" --> "+Target;
     523  v=size(ringlist(preimage(f))[2]);
     524  empty=size(Output[1]);
     525  Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][1])+" -> "+string(f[1]);
    526526
    527527// 2
    528         for (i=2; i<=v; i++){// +2
    529                 Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][i])+" -> "+string(f[i]);
    530         }// -2
     528  for (i=2; i<=v; i++){// +2
     529    Output[1]=Output[1]+" , "+string(ringlist(preimage(f))[2][i])+" -> "+string(f[i]);
     530  }// -2
    531531
    532532// 3
    533         M.rows=Output;
     533  M.rows=Output;
    534534
    535535// -
    536         return(M);
     536  return(M);
    537537}
    538538example
    … …  
    560560{
    561561// 0
    562         int Length=100; //Length of Output
     562  int Length=100; //Length of Output
    563563
    564564// -
    565         return(netBigIntMatShort(M,Length));
     565  return(netBigIntMatShort(M,Length));
    566566}
    567567example
    … …  
    592592{
    593593// 0
    594         int Length=10; // LÀnge der Ausgabe
    595         string S;
     594   int Length=10; // LÀnge der Ausgabe
     595   string S;
    596596    list L, SizeCol, SizeColShort;
    597597    int wd,defect;
    … …  
    599599
    600600// 1
    601         if( size(#)!=0 ){// + 1
    602                 Length=#[1];
    603         }// - 1
     601  if( size(#)!=0 ){// + 1
     602    Length=#[1];
     603  }// - 1
    604604
    605605// 2
    606606   for (j=1; j <= ncols(M); j++){// +2
    607                 SizeCol[j]=0;
    608         }// -2
     607    SizeCol[j]=0;
     608  }// -2
    609609
    610610// 3
    611         for (j=1; j <= ncols(M); j++){// +3
    612                 SizeColShort[j]=0;
    613         }// -3
     611  for (j=1; j <= ncols(M); j++){// +3
     612    SizeColShort[j]=0;
     613  }// -3
    614614
    615615// 4
    616         for (j=1; j <= ncols(M); j++){// +4
    617                 for (i=1; i <= nrows(M) ; i++){// +4.1
    618                         if ( SizeColShort[j] < size(string(M[i,j])) ){// +4.1.1
    619                                 SizeCol[j]=size(string(M[i,j]));
    620                                 SizeColShort[j]=size(string(M[i,j]));
    621                         }// -4.1.1
    622                 }// -4.1
    623         }// -4
     616  for (j=1; j <= ncols(M); j++){// +4
     617    for (i=1; i <= nrows(M) ; i++){// +4.1
     618      if ( SizeColShort[j] < size(string(M[i,j])) ){// +4.1.1
     619        SizeCol[j]=size(string(M[i,j]));
     620        SizeColShort[j]=size(string(M[i,j]));
     621      }// -4.1.1
     622    }// -4.1
     623  }// -4
    624624
    625625// 5
    626         for (j=1; j <= ncols(M); j++){// +5
    627                 if( SizeColShort[j] > Length ){// +5.1
    628                         SizeColShort[j]=Length;
    629                 }// -5.1
    630         }// -5
     626  for (j=1; j <= ncols(M); j++){// +5
     627    if( SizeColShort[j] > Length ){// +5.1
     628      SizeColShort[j]=Length;
     629    }// -5.1
     630  }// -5
    631631
    632632// 6
    633633    for (i=1; i<=nrows(M); i++ ){// +6
    634         for (j=1; j<=ncols(M); j++ ){// +6.1
    635                 if ( j!=1 ){// +6.1.1
    636                         S=S+" ";
    637                 }// -6.1.1
    638                 if ( SizeCol[j] > Length ){// -6.1.2
    639                         if ( size(string(M[i,j])) > Length ){// +6.1.2.1
    640                                 S=S+string(M[i,j])[1,Length]+"...";
    641                         }// -6.1.2.1
    642                         else{// +6.1.2.2
    643                                 defect=SizeColShort[j]+3-size(string(M[i,j]));
    644                                 S=S+string(M[i,j])+emptyString(defect);
    645                         }// -6.1.2.2
    646                 }// -6.1.2
    647                 else{// +6.1.3
    648                         defect=SizeColShort[j]-size(string(M[i,j]));
    649                         S=S+string(M[i,j])+emptyString(defect);
    650                 }// -6.1.3
    651         }// -6.1
    652         L[i]=S;
    653         S="";
     634      for (j=1; j<=ncols(M); j++ ){// +6.1
     635        if ( j!=1 ){// +6.1.1
     636          S=S+" ";
     637        }// -6.1.1
     638        if ( SizeCol[j] > Length ){// -6.1.2
     639          if ( size(string(M[i,j])) > Length ){// +6.1.2.1
     640            S=S+string(M[i,j])[1,Length]+"...";
     641          }// -6.1.2.1
     642          else{// +6.1.2.2
     643            defect=SizeColShort[j]+3-size(string(M[i,j]));
     644            S=S+string(M[i,j])+emptyString(defect);
     645           }// -6.1.2.2
     646         }// -6.1.2
     647         else{// +6.1.3
     648           defect=SizeColShort[j]-size(string(M[i,j]));
     649           S=S+string(M[i,j])+emptyString(defect);
     650         }// -6.1.3
     651       }// -6.1
     652        L[i]=S;
     653        S="";
    654654    }// -6
    655655
    … …  
    664664
    665665// -
    666         return(NM);
     666  return(NM);
    667667}
    668668example
    … …  
    693693{
    694694// 0
    695         int m=nrows(M);
    696         int n=ncols(M);
     695  int m=nrows(M);
     696  int n=ncols(M);
    697697
    698698// 1
    699         bigintmat B[m][n]=M;
    700         Net Output=netBigIntMat(B);
     699  bigintmat B[m][n]=M;
     700  Net Output=netBigIntMat(B);
    701701
    702702// -
    703         return(Output);
     703  return(Output);
    704704}
    705705example
    … …  
    730730{
    731731// 0
    732         int m=nrows(M);
    733         int n=ncols(M);
     732  int m=nrows(M);
     733  int n=ncols(M);
    734734
    735735// 1
    736         bigintmat B[m][n]=bigintmat(M);
     736  bigintmat B[m][n]=bigintmat(M);
    737737
    738738// 2
    739         if( size(#)!=0 ){// +2.1
    740                 Net Output=netBigIntMatShort(B, #[1]);
    741         }// -2.1
    742         else{// +2.1
    743                 Net Output=netBigIntMatShort(B);
    744         }// -2.2
     739  if( size(#)!=0 ){// +2.1
     740    Net Output=netBigIntMatShort(B, #[1]);
     741  }// -2.1
     742  else{// +2.1
     743    Net Output=netBigIntMatShort(B);
     744  }// -2.2
    745745
    746746// -
    747         return(Output);
     747  return(Output);
    748748}
    749749example
    … …  
    779779{
    780780// 0
    781         intmat M=intmat(V);
     781  intmat M=intmat(V);
    782782
    783783// 1
    784         Net Output;
    785         Output=netIntMat(M);
     784  Net Output;
     785  Output=netIntMat(M);
    786786
    787787// -
    788         return(Output);
     788  return(Output);
    789789}
    790790example
    … …  
    815815{
    816816// 0
    817         intmat M=intmat(V);
     817  intmat M=intmat(V);
    818818
    819819// 1
    820         Net Output;
     820  Net Output;
    821821
    822822// 2
    823         if( size(#) != 0){// +2.1
    824                 Output=netIntMatShort(M, #[1]);
    825         }// -2.1
    826         else{// +2.2
    827                 Output=netIntMatShort(M);
    828         }// -2.2
     823  if( size(#) != 0){// +2.1
     824    Output=netIntMatShort(M, #[1]);
     825  }// -2.1
     826  else{// +2.2
     827    Output=netIntMatShort(M);
     828  }// -2.2
    829829
    830830// -
    831         return(Output);
     831  return(Output);
    832832}
    833833example
    … …  
    858858{
    859859// 0
    860         int Size=50;
     860  int Size=50;
    861861
    862862// 1
    863         if( size(#)!=0 ){// +1
    864                 Size=#[1];
    865         }// -1
     863  if( size(#)!=0 ){// +1
     864    Size=#[1];
     865  }// -1
    866866
    867867// -
    868         return(netmatrixShort(M, Size));
    869 }
    870 example
    871 {
    872         "EXAMPLE:";
    873         ring r1=101,(x,y,z),lp;
    874         poly a=2x3y4+300xy-234z23;
    875         poly b=2x3y4z;
    876         poly c=x3y4z5;
    877         poly d=5x6y7z10;
    878         poly e=2x3y;
    879         poly f=4y5z8;
    880         matrix M[2][3]=a,b,c,d,e,f;
    881         print(M);
    882         netmatrix(M);
     868  return(netmatrixShort(M, Size));
     869}
     870example
     871{
     872  "EXAMPLE:";
     873  ring r1=101,(x,y,z),lp;
     874  poly a=2x3y4+300xy-234z23;
     875  poly b=2x3y4z;
     876  poly c=x3y4z5;
     877  poly d=5x6y7z10;
     878  poly e=2x3y;
     879  poly f=4y5z8;
     880  matrix M[2][3]=a,b,c,d,e,f;
     881  print(M);
     882  netmatrix(M);
    883883}
    884884
    … …  
    897897"
    898898{
    899         int i, j;
    900         list breite = list();
    901         Net Output;
    902         string Zeile;
    903 
    904         //maximale Spaltenbreite setzen
    905         for (i=1; i<=ncols(M); i++){
    906                 breite = breite + list(0);
    907                 for (j=1; j<=nrows(M); j++){
    908                         if (breite[i] < size(string(M[j,i]))){
    909                                 breite[i] = size(string(M[j,i]));
    910                         }
    911                 }
    912         }
    913 
    914         //einfÃŒgen
    915         for (i=1; i<=nrows(M); i++){
    916                 Zeile = "| ";
    917                 for (j=1; j<=ncols(M); j++){
    918                         Zeile = Zeile + string(M[i,j]) + emptyString( breite[j] - size(string(M[i,j])) + 1);
    919 
    920                 }
    921                 Output.rows[i] = Zeile + "|";
    922         }
    923 
    924         return (Output);
    925 }
    926 example
    927 {
    928         "EXAMPLE:";
    929         ring r1=101,(x,y,z),lp;
    930         poly a=2x3y4+300xy-234z23;
    931         poly b=2x3y4z;
    932         poly c=x3y4z5;
    933         poly d=5x6y7z10;
    934         poly e=2x3y-2x3y4+300xy-234z23;
    935         poly f=4y5z8;
    936         matrix M[2][3]=a,b,c,d,e,f;
    937         netmatrixShort(M, 10);
     899  int i, j;
     900  list breite = list();
     901  Net Output;
     902  string Zeile;
     903
     904  //maximale Spaltenbreite setzen
     905  for (i=1; i<=ncols(M); i++){
     906    breite = breite + list(0);
     907    for (j=1; j<=nrows(M); j++){
     908      if (breite[i] < size(string(M[j,i]))){
     909        breite[i] = size(string(M[j,i]));
     910      }
     911    }
     912  }
     913
     914  //einfÃŒgen
     915  for (i=1; i<=nrows(M); i++){
     916    Zeile = "| ";
     917    for (j=1; j<=ncols(M); j++){
     918      Zeile = Zeile + string(M[i,j]) + emptyString( breite[j] - size(string(M[i,j])) + 1);
     919
     920    }
     921    Output.rows[i] = Zeile + "|";
     922  }
     923
     924  return (Output);
     925}
     926example
     927{
     928  "EXAMPLE:";
     929  ring r1=101,(x,y,z),lp;
     930  poly a=2x3y4+300xy-234z23;
     931  poly b=2x3y4z;
     932  poly c=x3y4z5;
     933  poly d=5x6y7z10;
     934  poly e=2x3y-2x3y4+300xy-234z23;
     935  poly f=4y5z8;
     936  matrix M[2][3]=a,b,c,d,e,f;
     937  netmatrixShort(M, 10);
    938938}
    939939
    … …  
    953953{
    954954// 0
    955         Net N;
    956         list L;
     955  Net N;
     956    list L;
    957957
    958958// 1
    959          L[1]=string(M);
    960          N.rows=L;
     959   L[1]=string(M);
     960   N.rows=L;
    961961
    962962// -
    963         return(N);
    964 }
    965 example
    966 {
    967         "EXAMPLE:";
    968         ring r;
    969         int M=5;
    970         netInt(M);
     963  return(N);
     964}
     965example
     966{
     967  "EXAMPLE:";
     968  ring r;
     969  int M=5;
     970  netInt(M);
    971971}
    972972
    … …  
    983983{
    984984// 0
    985         Net N;
    986         list L;
     985  Net N;
     986    list L;
    987987
    988988// 1
    989          L[1]=string(M);
    990          N.rows=L;
     989   L[1]=string(M);
     990   N.rows=L;
    991991
    992992// -
    993         return(N);
    994 }
    995 example
    996 {
    997         "EXAMPLE:";
    998         ring r;
    999         bigint M=5;
    1000         netBigInt(M);
     993  return(N);
     994}
     995example
     996{
     997  "EXAMPLE:";
     998  ring r;
     999  bigint M=5;
     1000  netBigInt(M);
    10011001}
    10021002
    … …  
    10151015{
    10161016// 0
    1017         Net N;
    1018         list L;
     1017   Net N;
     1018  list L;
    10191019
    10201020// 1
    1021         L[1]=M;
    1022         N.rows=L;
     1021  L[1]=M;
     1022    N.rows=L;
    10231023
    10241024// -
    1025         return(N);
    1026 }
    1027 example
    1028 {
    1029         "EXAMPLE:";
    1030         string M="Hallo";
    1031         netString(M);
     1025  return(N);
     1026}
     1027example
     1028{
     1029  "EXAMPLE:";
     1030  string M="Hallo";
     1031  netString(M);
    10321032}
    10331033
    … …  
    10471047{
    10481048// 0
    1049         matrix M=matrix(V);
    1050         int Size=25;
     1049  matrix M=matrix(V);
     1050  int Size=25;
    10511051
    10521052// 1
    1053         if( size(#)!=0 ){// +1
    1054                 Size=#{1};
    1055         }// -1
     1053  if( size(#)!=0 ){// +1
     1054    Size=#{1};
     1055  }// -1
    10561056
    10571057// 2
    1058         Net Output;
    1059         Output=netmatrix(M, Size);
     1058  Net Output;
     1059  Output=netmatrix(M, Size);
    10601060
    10611061// -
    1062         return(Output);
    1063 }
    1064 example
    1065 {
    1066         "EXAMPLE:";
    1067         ring r1=101,(x,y,z),lp;
    1068         poly a=2x3y4;
    1069         poly b=2x3y4z;
    1070         poly c=x3y4z5;
    1071         poly d=5x6y7z10;
    1072         poly e=2x3y;
    1073         poly f=4y5z8;
    1074         vector V=[a,b,c,d,e,f];
    1075         netvector(V);
     1062  return(Output);
     1063}
     1064example
     1065{
     1066  "EXAMPLE:";
     1067  ring r1=101,(x,y,z),lp;
     1068  poly a=2x3y4;
     1069  poly b=2x3y4z;
     1070  poly c=x3y4z5;
     1071  poly d=5x6y7z10;
     1072  poly e=2x3y;
     1073  poly f=4y5z8;
     1074  vector V=[a,b,c,d,e,f];
     1075  netvector(V);
    10761076}
    10771077
    … …  
    10911091{
    10921092// 0
    1093         matrix M=matrix(V);
    1094         Net Output;
    1095         int Size=10;
     1093  matrix M=matrix(V);
     1094  Net Output;
     1095  int Size=10;
    10961096
    10971097// 1
    1098         if( size(#)!=0 ){// +1
    1099                 Size=#[1];
    1100         }// -1
     1098  if( size(#)!=0 ){// +1
     1099    Size=#[1];
     1100  }// -1
    11011101
    11021102// 2
    1103         Output=netmatrixShort(M, Size);
     1103  Output=netmatrixShort(M, Size);
    11041104
    11051105// -
    1106         return(Output);
    1107 }
    1108 example
    1109 {
    1110         "EXAMPLE:";
    1111         ring r1=101,(x,y,z),lp;
    1112         poly a=2x3y4;
    1113         poly b=2x3y4z-5x6y7z10;
    1114         poly c=x3y4z5;
    1115         poly d=5x6y7z10;
    1116         poly e=2x3y;
    1117         poly f=4y5z8+5x6y7z10;
    1118         vector V=[a,b,c,d,e,f];
    1119         netvectorShort(V);
     1106  return(Output);
     1107}
     1108example
     1109{
     1110  "EXAMPLE:";
     1111  ring r1=101,(x,y,z),lp;
     1112  poly a=2x3y4;
     1113  poly b=2x3y4z-5x6y7z10;
     1114  poly c=x3y4z5;
     1115  poly d=5x6y7z10;
     1116  poly e=2x3y;
     1117  poly f=4y5z8+5x6y7z10;
     1118  vector V=[a,b,c,d,e,f];
     1119  netvectorShort(V);
    11201120}
    11211121
    … …  
    11341134"
    11351135{
    1136         /*
    1137         0. Erstellung der benötigten Datenstrukturen
    1138         2. ÜberprÃŒfung ob P das Nullpolynom ist und dieses gegenfalls ausgeben
    1139         3. Entscheidung ob es sich um den ersten Term handel oder nicht
    1140                 3.1 Verarbeitung des ersten Term
    1141                 3.2 Verarbeitung foldender Terme
    1142         */
     1136  /*
     1137  0. Erstellung der benötigten Datenstrukturen
     1138  2. ÜberprÃŒfung ob P das Nullpolynom ist und dieses gegenfalls ausgeben
     1139  3. Entscheidung ob es sich um den ersten Term handel oder nicht
     1140    3.1 Verarbeitung des ersten Term
     1141    3.2 Verarbeitung foldender Terme
     1142  */
    11431143
    11441144// (0.)
    1145         poly Q;
    1146         list Output;
    1147         Net N;
    1148         string Up, Down, Test;
    1149         int S, i;
    1150 
    1151         if( P == 0 ) { // (1a)
    1152                 Down="0";
    1153                 Up=" ";
    1154                 } // (1a)
    1155 
    1156         if( P == 1 ) { // (1b)
    1157                 Down="1";
    1158                 Up=" ";
    1159                 P=0;
    1160                 } // (1b)
    1161 
    1162         if( P == -1 ) { // (1c)
    1163                 Down="-1";
    1164                 Up="  ";
    1165                 P=0;
    1166                 } // (1c)
     1145  poly Q;
     1146  list Output;
     1147  Net N;
     1148  string Up, Down, Test;
     1149  int S, i;
     1150
     1151  if( P == 0 ) { // (1a)
     1152    Down="0";
     1153    Up=" ";
     1154    } // (1a)
     1155
     1156  if( P == 1 ) { // (1b)
     1157    Down="1";
     1158    Up=" ";
     1159    P=0;
     1160    } // (1b)
     1161
     1162  if( P == -1 ) { // (1c)
     1163    Down="-1";
     1164    Up="  ";
     1165    P=0;
     1166    } // (1c)
    11671167
    11681168// (2.)
    1169         while ( P != 0 ) { // (2)
     1169  while ( P != 0 ) { // (2)
    11701170// (3.)
    11711171// (3.1.)
    1172                         if ( Down == "" ){ // (2.1)
    1173                                 Q=lead(P);
    1174                                 P=P-lead(P);
    1175                                 if ( leadcoef(Q) == 1 ) { // (2.1.1)
    1176                                 } // (2.1.1)
    1177                                 else { // (2.1.2)
    1178                                         Test=string( leadcoef(Q) );
    1179                                         if( Test[1] == "-" ) { // (2.1.2.1))
    1180                                                 if ( Test[2] == "1" && Test[3] == "" ) { // (2.1.2.1.1)
    1181                                                         Down=Down+"-";
    1182                                                         Up=Up+emptyString(1);
    1183                                                 } // (2.1.2.1.1)
    1184                                                 else { // (2.1.2.1.2)
    1185                                                 Down=Down+string( leadcoef(Q) );
    1186                                                 Up=Up+emptyString( size( string( leadcoef(Q) ) ) ); //size(leadcoef(-1))=1, deshalb size(string ...
    1187                                                 }// (2.1.2.1.2)
    1188                                         } // (2.1.2.1)
    1189                                         else { // (2.1.2.2)
    1190                                                 Down=Down+string( leadcoef(Q) ); // leading coef
    1191                                                 Up=Up+emptyString( size( string( leadcoef(Q) ) ) );
    1192                                         }// (2.1.2.2
    1193                                 } // (2.1.2)
    1194                                 S=size( ringlist(basering)[2] ); //variables
    1195                                 for ( i=1; i<=S; i++) { // (2.1.1)
    1196                                         if ( leadexp(Q)[i] == 0 ) { // (2.1.1.1)
    1197                                         }
    1198                                         else { // (2.1.1.2))
    1199                                                 Down=Down+string( ringlist( basering )[2][i] );
    1200                                                 Up=Up+emptyString( size (string( ringlist( basering )[2][i] ) ) );
    1201                                                 if ( leadexp(Q)[i] == 1 ){ // (2.1.1.2.1))
    1202                                                 } // (2.1.1.2.1)
    1203                                                 else { // (2.1.1.2.2)
    1204                                                         Up=Up+string( leadexp(Q)[i] );
    1205                                                         Down=Down+emptyString( size( string( leadexp(Q)[i]) ) );
    1206                                                 } // (2.1.1.2.2)
    1207                                         } // (2.2.5.2)
    1208                                 } // (2.1.1)
    1209                         }  // (2.1)
     1172      if ( Down == "" ){ // (2.1)
     1173        Q=lead(P);
     1174        P=P-lead(P);
     1175        if ( leadcoef(Q) == 1 ) { // (2.1.1)
     1176        } // (2.1.1)
     1177        else { // (2.1.2)
     1178          Test=string( leadcoef(Q) );
     1179          if( Test[1] == "-" ) { // (2.1.2.1))
     1180            if ( Test[2] == "1" && Test[3] == "" ) { // (2.1.2.1.1)
     1181              Down=Down+"-";
     1182              Up=Up+emptyString(1);
     1183            } // (2.1.2.1.1)
     1184            else { // (2.1.2.1.2)
     1185            Down=Down+string( leadcoef(Q) );
     1186            Up=Up+emptyString( size( string( leadcoef(Q) ) ) ); //size(leadcoef(-1))=1, deshalb size(string ...
     1187            }// (2.1.2.1.2)
     1188          } // (2.1.2.1)
     1189          else { // (2.1.2.2)
     1190            Down=Down+string( leadcoef(Q) ); // leading coef
     1191            Up=Up+emptyString( size( string( leadcoef(Q) ) ) );
     1192          }// (2.1.2.2
     1193        } // (2.1.2)
     1194        S=size( ringlist(basering)[2] ); //variables
     1195        for ( i=1; i<=S; i++) { // (2.1.1)
     1196          if ( leadexp(Q)[i] == 0 ) { // (2.1.1.1)
     1197          }
     1198            else { // (2.1.1.2))
     1199            Down=Down+string( ringlist( basering )[2][i] );
     1200            Up=Up+emptyString( size (string( ringlist( basering )[2][i] ) ) );
     1201            if ( leadexp(Q)[i] == 1 ){ // (2.1.1.2.1))
     1202            } // (2.1.1.2.1)
     1203            else { // (2.1.1.2.2)
     1204              Up=Up+string( leadexp(Q)[i] );
     1205              Down=Down+emptyString( size( string( leadexp(Q)[i]) ) );
     1206            } // (2.1.1.2.2)
     1207          } // (2.2.5.2)
     1208        } // (2.1.1)
     1209      }  // (2.1)
    12101210// (3.2.)
    1211                         else { // (2.2)
    1212                                 Q=lead(P);
    1213                                 P=P-lead(P);
    1214                                 if ( leadcoef(Q) == 1 ) { // (2.2.1)
    1215                                         Down=Down+"+";
    1216                                         Up=Up+" ";
    1217                                 } // (2.2.1)
    1218                                 else { // (2.2.2)
    1219                                         Test=string( leadcoef(Q) );
    1220                                         if ( Test[1] == "-" ) { // (2.2.2.1)
    1221                                                 if ( Test[2] == "1" && Test[3] == "" ) { // (2.2.2.1.1))
    1222                                                         Down=Down+"-";
    1223                                                         Up=Up+emptyString(1);
    1224                                                 } // (2.2.2.1.1)
    1225                                                 else { // ()
    1226                                                 Down=Down+string( leadcoef(Q) );
    1227                                                 Up=Up+emptyString( size( string( leadcoef(Q) ) ) ); //size(leadcoef(-1))=1
    1228                                                 }// (2.2.2.1.2)
    1229                                         } // (2.2.2.1)
    1230                                         else { // (2.2.2.2)
    1231                                                 Down=Down+"+";
    1232                                                 Up=Up+" ";
    1233                                                 Down=Down+string( leadcoef(Q) ); // leading coef
    1234                                                 Up=Up+emptyString( size( string( leadcoef(Q) ) ) );
    1235                                         } // (2.2.2.2)
    1236                                 } // (2.2.2)
    1237 
    1238                                 S=size( ringlist(basering)[2] ); //variables
    1239                                 for ( i=1; i<=S; i++) { // (2.2.3)
    1240                                         if ( leadexp(Q)[i] == 0 ) { // (2.2.3.1)
    1241                                         } // (2.2.3.1)
    1242                                         else { // (2.2.3.2)
    1243                                                 Down=Down+string( ringlist( basering )[2][i] );
    1244                                                 Up=Up+emptyString( size (string( ringlist( basering )[2][i] ) ) );
    1245                                                 if ( leadexp(Q)[i] == 1 ){ // (2.2.3.2.1)
    1246                                                 } // (2.2.3.2.1)
    1247                                                 else { // (2.2.3.2.2)
    1248                                                         Up=Up+string( leadexp(Q)[i] );
    1249                                                         Down=Down+emptyString( size( string( leadexp(Q)[i]) ) );
    1250                                                 } // (2.2.3.2.2)
    1251                                         } // (2.2.3.2)
    1252                                 } // (2.2.3)
    1253 
    1254                         } // (2.2)
    1255         } // (2)
     1211      else { // (2.2)
     1212        Q=lead(P);
     1213        P=P-lead(P);
     1214        if ( leadcoef(Q) == 1 ) { // (2.2.1)
     1215          Down=Down+"+";
     1216          Up=Up+" ";
     1217        } // (2.2.1)
     1218        else { // (2.2.2)
     1219          Test=string( leadcoef(Q) );
     1220          if ( Test[1] == "-" ) { // (2.2.2.1)
     1221            if ( Test[2] == "1" && Test[3] == "" ) { // (2.2.2.1.1))
     1222              Down=Down+"-";
     1223              Up=Up+emptyString(1);
     1224            } // (2.2.2.1.1)
     1225            else { // ()
     1226            Down=Down+string( leadcoef(Q) );
     1227            Up=Up+emptyString( size( string( leadcoef(Q) ) ) ); //size(leadcoef(-1))=1
     1228            }// (2.2.2.1.2)
     1229          } // (2.2.2.1)
     1230          else { // (2.2.2.2)
     1231            Down=Down+"+";
     1232            Up=Up+" ";
     1233            Down=Down+string( leadcoef(Q) ); // leading coef
     1234            Up=Up+emptyString( size( string( leadcoef(Q) ) ) );
     1235          } // (2.2.2.2)
     1236        } // (2.2.2)
     1237
     1238        S=size( ringlist(basering)[2] ); //variables
     1239        for ( i=1; i<=S; i++) { // (2.2.3)
     1240          if ( leadexp(Q)[i] == 0 ) { // (2.2.3.1)
     1241          } // (2.2.3.1)
     1242            else { // (2.2.3.2)
     1243            Down=Down+string( ringlist( basering )[2][i] );
     1244            Up=Up+emptyString( size (string( ringlist( basering )[2][i] ) ) );
     1245            if ( leadexp(Q)[i] == 1 ){ // (2.2.3.2.1)
     1246            } // (2.2.3.2.1)
     1247            else { // (2.2.3.2.2)
     1248              Up=Up+string( leadexp(Q)[i] );
     1249              Down=Down+emptyString( size( string( leadexp(Q)[i]) ) );
     1250            } // (2.2.3.2.2)
     1251          } // (2.2.3.2)
     1252        } // (2.2.3)
     1253
     1254      } // (2.2)
     1255  } // (2)
    12561256
    12571257// 4
    1258         Output=Up,Down;
    1259         N.rows=Output;
     1258  Output=Up,Down;
     1259  N.rows=Output;
    12601260
    12611261// -
    1262         return(N);
     1262  return(N);
    12631263}
    12641264example
    … …  
    12661266"EXAMPLE:"; // from 3.3.1 Examples of ring declarations
    12671267//
    1268         ring R1 = 32003,(x,y,z),dp;
    1269         poly q6=1;
    1270         print(q6);
    1271         netPoly(q6);
    1272         poly q7=-1;
    1273         print(q7);
    1274         netPoly(q7);
    1275         poly q8=2;
    1276         print(q8);
    1277         netPoly(q8);
    1278         poly q9=-2;
    1279         print(q9);
    1280         netPoly(q9);
    1281         poly q1=x+y+z;
    1282         print(q1);
    1283         netPoly(q1);
    1284         poly q2=xy+xz+yz;
    1285         print(q2);
    1286         netPoly(q2);
    1287         poly q3=2x3y3z4-3x4y5z6;
    1288         print(q3);
    1289         netPoly(q3);
    1290         poly q4=x3y3z4-x4y5z6;
    1291         print(q4);
    1292         netPoly(q4);
    1293         poly q5=-x3y3z4+x4y5z6;
    1294         print(q5);
    1295         netPoly(q5);
    1296 
    1297         ring R2 = 32003,(x(1..10)),dp;
    1298 
    1299         poly w6=1;
    1300         print(w6);
    1301         netPoly(w6);
    1302 
    1303         poly w7=-1;
    1304         print(w7);
    1305         netPoly(w7);
    1306 
    1307         poly w2=-x(1)-(2)-x(3);
    1308         print(w2);
    1309         netPoly(w2);
    1310 
    1311         poly w3=x(1)*x(2)+x(1)*x(2)+x(2)*x(3);
    1312         print(w3);
    1313         netPoly(w3);
    1314 
    1315         poly w4=x(1)*x(2)-x(1)*x(2)-x(2)*x(3);
    1316         print(w4);
    1317         netPoly(w4);
    1318 
    1319         poly w5=x(1)^2*x(2)^3*x(3)^4;
    1320         print(w5);
    1321         netPoly(w5);
    1322 
    1323         poly w8=x(1)+x(2)+x(3);
    1324         print(w8);
    1325         netPoly(w8);
    1326 
    1327         poly w9=x(1)+x(2)+x(3);
    1328         print(w9);
    1329         netPoly(w9);
    1330 
    1331         ring R3 = 32003,(x(1..5)(1..8)),dp;
    1332 
    1333         poly e1=x(1)(1)+x(2)(2)+x(3)(3);
    1334         print(e1);
    1335         netPoly(e1);
    1336 
    1337         poly e2=x(1)(1)*x(2)(2)*x(3)(3);
    1338         print(e2);
    1339         netPoly(e2);
    1340 
    1341         poly e3=x(1)(1)^2*x(2)(2)^3*x(3)(3)^4;
    1342         print(e3);
    1343         netPoly(e3);
    1344 
    1345         poly e4=-x(1)(1)^2*x(2)(2)^3*x(3)(3)^4-x(1)(1)^3*x(2)(2)^3*x(3)(3)^4;
    1346         print(e4);
    1347         netPoly(e4);
    1348 
    1349         ring r=32003,(x,y,z),lp;
    1350         poly p=x4+4y4+4z4-x3-3y3-3z3+1x2+2y2+z2-x-1y-z1;
    1351         p;
    1352         netPoly(p);
    1353 
    1354         poly p2=x3yz+xy3z+xyz3-2x2yz-2xy2z-2xyz2+1xyz+x1yzxy1z;
    1355         p2;
    1356         netPoly(p2);
    1357 
    1358         poly p3=x+y+z-x2-3y-4z4+xy+xz+2xy-x2y-xz2-y2z2;
    1359         p3;
    1360         netPoly(p3);
    1361 
    1362         ring r2=32003,(x(1..10)),lp;
    1363         poly p=x(1)*x(2)*x(3)+2*x(1)^2+2*x(1)*x(2);
    1364         p;
    1365         netPoly(p);
    1366 
    1367         poly p2=x(1)^2*x(2)^3*x(3)^4-2*x(1)^1*x(2)^2+2*x(1)*x(2)*x(10);
    1368         p2;
    1369         netPoly(p2);
    1370 
    1371         ring r3=7,(x,y,z),lp;
    1372         poly p=17x2+24y;
    1373         p;
     1268  ring R1 = 32003,(x,y,z),dp;
     1269  poly q6=1;
     1270  print(q6);
     1271  netPoly(q6);
     1272  poly q7=-1;
     1273  print(q7);
     1274  netPoly(q7);
     1275  poly q8=2;
     1276  print(q8);
     1277  netPoly(q8);
     1278  poly q9=-2;
     1279  print(q9);
     1280  netPoly(q9);
     1281  poly q1=x+y+z;
     1282  print(q1);
     1283  netPoly(q1);
     1284  poly q2=xy+xz+yz;
     1285  print(q2);
     1286  netPoly(q2);
     1287  poly q3=2x3y3z4-3x4y5z6;
     1288  print(q3);
     1289  netPoly(q3);
     1290  poly q4=x3y3z4-x4y5z6;
     1291  print(q4);
     1292  netPoly(q4);
     1293  poly q5=-x3y3z4+x4y5z6;
     1294  print(q5);
     1295  netPoly(q5);
     1296
     1297  ring R2 = 32003,(x(1..10)),dp;
     1298
     1299  poly w6=1;
     1300  print(w6);
     1301  netPoly(w6);
     1302
     1303  poly w7=-1;
     1304  print(w7);
     1305  netPoly(w7);
     1306
     1307  poly w2=-x(1)-(2)-x(3);
     1308  print(w2);
     1309  netPoly(w2);
     1310
     1311  poly w3=x(1)*x(2)+x(1)*x(2)+x(2)*x(3);
     1312  print(w3);
     1313  netPoly(w3);
     1314
     1315  poly w4=x(1)*x(2)-x(1)*x(2)-x(2)*x(3);
     1316  print(w4);
     1317  netPoly(w4);
     1318
     1319  poly w5=x(1)^2*x(2)^3*x(3)^4;
     1320  print(w5);
     1321  netPoly(w5);
     1322
     1323  poly w8=x(1)+x(2)+x(3);
     1324  print(w8);
     1325  netPoly(w8);
     1326
     1327  poly w9=x(1)+x(2)+x(3);
     1328  print(w9);
     1329  netPoly(w9);
     1330
     1331  ring R3 = 32003,(x(1..5)(1..8)),dp;
     1332
     1333  poly e1=x(1)(1)+x(2)(2)+x(3)(3);
     1334  print(e1);
     1335  netPoly(e1);
     1336
     1337  poly e2=x(1)(1)*x(2)(2)*x(3)(3);
     1338  print(e2);
     1339  netPoly(e2);
     1340
     1341  poly e3=x(1)(1)^2*x(2)(2)^3*x(3)(3)^4;
     1342  print(e3);
     1343  netPoly(e3);
     1344
     1345  poly e4=-x(1)(1)^2*x(2)(2)^3*x(3)(3)^4-x(1)(1)^3*x(2)(2)^3*x(3)(3)^4;
     1346  print(e4);
     1347  netPoly(e4);
     1348
     1349  ring r=32003,(x,y,z),lp;
     1350  poly p=x4+4y4+4z4-x3-3y3-3z3+1x2+2y2+z2-x-1y-z1;
     1351  p;
     1352  netPoly(p);
     1353
     1354  poly p2=x3yz+xy3z+xyz3-2x2yz-2xy2z-2xyz2+1xyz+x1yzxy1z;
     1355  p2;
     1356  netPoly(p2);
     1357
     1358  poly p3=x+y+z-x2-3y-4z4+xy+xz+2xy-x2y-xz2-y2z2;
     1359  p3;
     1360  netPoly(p3);
     1361
     1362  ring r2=32003,(x(1..10)),lp;
     1363  poly p=x(1)*x(2)*x(3)+2*x(1)^2+2*x(1)*x(2);
     1364  p;
     1365  netPoly(p);
     1366
     1367  poly p2=x(1)^2*x(2)^3*x(3)^4-2*x(1)^1*x(2)^2+2*x(1)*x(2)*x(10);
     1368  p2;
     1369  netPoly(p2);
     1370
     1371  ring r3=7,(x,y,z),lp;
     1372  poly p=17x2+24y;
     1373  p;
    13741374        netPoly(p);
    13751375
    1376         ring r4=(7,a,b,c),(x,y,z),Dp;
    1377         poly p=2ax2+by-cz3;
    1378         p;
    1379         netPoly(p);
    1380 
    1381         ring r5=(7,a),(x,y,z),dp;
    1382         minpoly = a^2+a+3;
    1383         poly p=2ax2+y-az3;
    1384         p;
    1385         netPoly(p);
    1386 
    1387         ring r6 = (complex,30,j),(x,y,z),dp;
    1388         poly p=2x2+y-z3+20*j;
    1389         p;
    1390         netPoly(p);
     1376  ring r4=(7,a,b,c),(x,y,z),Dp;
     1377  poly p=2ax2+by-cz3;
     1378  p;
     1379  netPoly(p);
     1380
     1381  ring r5=(7,a),(x,y,z),dp;
     1382  minpoly = a^2+a+3;
     1383  poly p=2ax2+y-az3;
     1384  p;
     1385  netPoly(p);
     1386
     1387  ring r6 = (complex,30,j),(x,y,z),dp;
     1388  poly p=2x2+y-z3+20*j;
     1389  p;
     1390  netPoly(p);
    13911391}
    13921392
    … …  
    14041404"
    14051405{
    1406         string N=string("<");
    1407 
    1408         for (int i=1; i<size(I); i++){ // (1)
    1409                 N=N+string(I[i])+string(", ");
    1410         } // (1)
    1411 
    1412         N=N+string(I[size(I)])+string(">");
    1413         return(net(N));
     1406  string N=string("<");
     1407
     1408  for (int i=1; i<size(I); i++){ // (1)
     1409    N=N+string(I[i])+string(", ");
     1410   } // (1)
     1411
     1412  N=N+string(I[size(I)])+string(">");
     1413  return(net(N));
    14141414}
    14151415example
    14161416{
    14171417"EXAMPLE:";
    1418         ring r;
    1419         ideal I=2x3y4,2x3y4z+x3y4z5,5x6y7z10-2x3y+4y5z8;
    1420         netIdeal(I);
     1418  ring r;
     1419  ideal I=2x3y4,2x3y4z+x3y4z5,5x6y7z10-2x3y+4y5z8;
     1420  netIdeal(I);
    14211421}
    14221422

  • Singular/LIB/polyclass.lib

    r99d029 r075bc5  
    2424polynomial is defined then an interval containing the rational parameter value.
    2525
    26 Acknowledgements: This research was supported by 
    27 the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489, 
     26Acknowledgements: This research was supported by
     27the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489,
    2828DFG TRR 195. The financial assistance of the National Research Foundation (NRF),
    29 South Africa, towards this research is hereby acknowledged. Opinions expressed 
    30 and conclusions arrived at are those of the author and are not necessarily to be 
     29South Africa, towards this research is hereby acknowledged. Opinions expressed
     30and conclusions arrived at are those of the author and are not necessarily to be
    3131attributed to the National Research Foundation, South Africa.
    3232

  • Singular/LIB/primdec.lib

    r99d029 r075bc5  
    83888388            ser=imap(@Phelp,ser);
    83898389          }
    8390           // }
     8390        // }
    83918391       }
    83928392       if(abspri)

  • Singular/LIB/primdecint.lib

    r99d029 r075bc5  
    11371137            //=== leading terms of the Groebner basis above
    11381138            def quring=Primdec::prepareQuotientring(nvars(basering)-L[1][3],"lp");
    1139             setring quring;
     1139            setring quring;
    11401140            ideal I=imap(Shelp,I);
    11411141            list C;

  • Singular/LIB/realclassify.lib

    r99d029 r075bc5  
    1919Birkh\"auser, Boston 1985
    2020
    21 J. Boehm, M.S. Marais, A. Steenpass: The Classification of Real Singularities Using Singular. 
     21J. Boehm, M.S. Marais, A. Steenpass: The Classification of Real Singularities Using Singular.
    2222Part III: Unimodal Singularities of Corank 2, https://arxiv.org/abs/1512.09028
    2323
    … …  
    2626
    2727M.S. Marais, A. Steenpass: The Classification of Real Singularities Using SINGULAR. Part I:
    28 Splitting Lemma and Simple Singularities, J. Symb. Comput. 68 (2015), 61-71 
    29 
    30 M.S. Marais, A. Steenpass: The Classification of Real Singularities Using SINGULAR. Part II: 
    31 The Structure of the Equivalence Classes of the Unimodal Singularities, 
    32 J. Symb. Comput. 74 (2016), 346-366 
    33 
    34 
    35 
    36 Acknowledgements: This research was supported by 
     28Splitting Lemma and Simple Singularities, J. Symb. Comput. 68 (2015), 61-71
     29
     30M.S. Marais, A. Steenpass: The Classification of Real Singularities Using SINGULAR. Part II:
     31The Structure of the Equivalence Classes of the Unimodal Singularities,
     32J. Symb. Comput. 74 (2016), 346-366
     33
     34
     35
     36Acknowledgements: This research was supported by
    3737the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489, and
    3838DFG TRR 195. The financial assistance of the National Research Foundation (NRF),
    39 South Africa, towards this research is hereby acknowledged. Opinions expressed 
    40 and conclusions arrived at are those of the author and are not necessarily to be 
     39South Africa, towards this research is hereby acknowledged. Opinions expressed
     40and conclusions arrived at are those of the author and are not necessarily to be
    4141attributed to the National Research Foundation, South Africa.
    4242

  • Singular/LIB/sets.lib

    r99d029 r075bc5  
    208208        if(isEqual(L[i],L[j])){                //and tag those appearances with 0
    209209          L1[j] = 0;
    210         }
     210        }
    211211      }
    212212    }

  • Singular/Makefile.am

    r99d029 r075bc5  
    171171Singular_SOURCES = tesths.cc fegetopt.c fegetopt.h utils.cc  utils.h
    172172
    173 Singular_LDADD = libSingular.la ${OMALLOC_LIBS} ${BUILTIN_FLAGS} 
     173Singular_LDADD = libSingular.la ${OMALLOC_LIBS} ${BUILTIN_FLAGS}
    174174
    175175Singular_LDFLAGS = -static ${AM_LDFLAGS} ${BUILTIN_FLAGS}

  • Singular/distrib.h

    r99d029 r075bc5  
    1 #undef MAKE_DISTRIBUTION 
     1#undef MAKE_DISTRIBUTION

  • Singular/dyn_modules/cohomo/cohomo.cc

    r99d029 r075bc5  
    326326  //Print("This is the first quotient generators %d:\n",i);
    327327  //id_print(rsr);
    328       break;       
     328      break;
    329329    }
    330330  }

  • Singular/ipassign.cc

    r99d029 r075bc5  
    11471147  if (lt==DEF_CMD)
    11481148  {
    1149      
     1149
    11501150    if (TEST_V_ALLWARN
    11511151    && (rt!=RING_CMD)

  • Singular/table.h

    r99d029 r075bc5  
    13211321// list -> resolution
    13221322   { LIST_CMD,        RESOLUTION_CMD, NULL_VAL ,  D(iiL2R) },
    1323 // matrix -> smatrix   
     1323// matrix -> smatrix
    13241324   { MATRIX_CMD,      SMATRIX_CMD,    D(iiMa2Mo), NULL_VAL },
    1325 // module -> smatrix   
     1325// module -> smatrix
    13261326   { MODUL_CMD,       SMATRIX_CMD,    D(iiDummy), NULL_VAL },
    1327 // smatrix -> matrix   
     1327// smatrix -> matrix
    13281328   { SMATRIX_CMD,     MATRIX_CMD,     D(iiMo2Ma) , NULL_VAL },
    1329 // smatrix -> module   
     1329// smatrix -> module
    13301330   { SMATRIX_CMD,     MODUL_CMD,      D(iiDummy) , NULL_VAL },
    13311331#ifdef SINGULAR_4_2

  • Tst/Long/ffmodstd_l.tst

    r99d029 r075bc5  
    132132         +170917294964147477964/78125*x^56+27375956034589260316544/390625*x^55
    133133         +19378603191850308269589142/9765625*x^54+2448650350712503736801443296/48828125*x^53
    134          +55672075194002311873568354064/48828125*x^52 
     134         +55672075194002311873568354064/48828125*x^52
    135135         +5731472812399299954951906571776/244140625*x^51
    136136         +537353482803997876746241024607976/1220703125*x^50

  • Tst/Long/fres_l.tst

    r99d029 r075bc5  
    1111            for (k = j-1; k >= i; k--) {
    1212                J[i-1+j-k] = I[k];
    13             } 
     13            }
    1414            i = j;
    1515        }
    … …  
    2323// AGR2@10007n09d5
    2424ring r = 10007, (a,b,c,d,e,f,g,h,i,j), dp;
    25 ideal I = 
     25ideal I =
    2626i^3-1564*a^2*j+4777*a*b*j+1689*b^2*j+3558*a*c*j-153*b*c*j-2220*c^2*j+4914*a*d*j-4868*b*d*j-2913*c*d*j-1334*d^2*j+4072*a*e*j+69*b*e*j-2701*c*e*j+3773*d*e*j-574*e^2*j-4413*a*f*j+1491*b*f*j-4626*c*f*j-2123*d*f*j+303*e*f*j+3147*f^2*j+1276*a*g*j+1812*b*g*j+4120*c*g*j-4795*d*g*j+934*e*g*j+1072*f*g*j+3527*g^2*j+3547*a*h*j-2371*b*h*j-1902*c*h*j+4864*d*h*j-1428*e*h*j-801*f*h*j+4787*g*h*j+4996*h^2*j-72*a*i*j+333*b*i*j+3900*c*i*j-4743*d*i*j+3328*e*i*j-1100*f*i*j-3058*g*i*j-1292*h*i*j-2096*i^2*j+4993*a*j^2+3831*b*j^2+888*c*j^2-557*d*j^2-4256*e*j^2+198*f*j^2-1576*g*j^2-2009*h*j^2+3843*i*j^2+2482*j^3,
    2727h*i^2-2494*a^2*j+2054*a*b*j+4076*b^2*j-2542*a*c*j-3461*b*c*j+1101*c^2*j+2651*a*d*j+199*b*d*j+985*c*d*j+1849*d^2*j-1546*a*e*j+1651*b*e*j+933*c*e*j+3021*d*e*j-805*e^2*j-3540*a*f*j-1731*b*f*j+2985*c*f*j-1018*d*f*j-1412*e*f*j-2889*f^2*j+3517*a*g*j-336*b*g*j-2331*c*g*j+144*d*g*j-3224*e*g*j+4781*f*g*j-1174*g^2*j+1477*a*h*j+2028*b*h*j+2755*c*h*j-717*d*h*j-4136*e*h*j-4870*f*h*j+3690*g*h*j+1748*h^2*j-2375*a*i*j+4513*b*i*j-1418*c*i*j+4832*d*i*j+74*e*i*j+743*f*i*j+4834*g*i*j+2898*h*i*j-4514*i^2*j-502*a*j^2+4670*b*j^2-2800*c*j^2-3874*d*j^2-4045*e*j^2-3913*f*j^2-2786*g*j^2+4105*h*j^2-3938*i*j^2+2870*j^3,
    … …  
    207207// CNC@32003g14%1
    208208ring r = 32003, (t_0,t_1,t_2,t_3,t_4,t_5,t_6,t_7,t_8,t_9,t_10,t_11,t_12,t_13), dp;
    209 ideal I = 
     209ideal I =
    210210t_10^2+2652*t_0*t_11-6555*t_1*t_11+10309*t_2*t_11-13575*t_3*t_11-9153*t_4*t_11+8721*t_5*t_11-11676*t_6*t_11-15242*t_7*t_11-7792*t_8*t_11-2459*t_9*t_11+12327*t_10*t_11-8487*t_11^2+12310*t_0*t_12+15808*t_1*t_12-2153*t_2*t_12-3423*t_3*t_12-12591*t_4*t_12-6341*t_5*t_12-12789*t_6*t_12-9762*t_7*t_12+9138*t_8*t_12+5058*t_9*t_12-7003*t_10*t_12-3746*t_11*t_12-2842*t_12^2+5886*t_0*t_13+15728*t_1*t_13+12576*t_2*t_13+3870*t_3*t_13-13986*t_4*t_13-3972*t_5*t_13-14449*t_6*t_13-6680*t_7*t_13+14618*t_8*t_13+15490*t_9*t_13+3746*t_10*t_13+2842*t_11*t_13,
    211211t_9*t_10+6661*t_0*t_11+3543*t_1*t_11+7900*t_2*t_11+615*t_3*t_11-11883*t_4*t_11-7057*t_5*t_11-2572*t_6*t_11-2352*t_7*t_11+2400*t_8*t_11+14478*t_9*t_11+3634*t_10*t_11-3396*t_11^2+12932*t_0*t_12+2137*t_1*t_12+6710*t_2*t_12-8634*t_3*t_12-13636*t_4*t_12-5254*t_5*t_12+10266*t_6*t_12-12601*t_7*t_12-14761*t_8*t_12-8022*t_9*t_12-1832*t_10*t_12-14080*t_11*t_12-7974*t_12^2-10037*t_0*t_13-7325*t_1*t_13-11486*t_2*t_13-11310*t_3*t_13+7826*t_4*t_13-7914*t_5*t_13+10200*t_6*t_13+283*t_7*t_13+4388*t_8*t_13+5228*t_9*t_13+14080*t_10*t_13+7974*t_11*t_13,
    … …  
    292292// PCNC@16183g14_2%1
    293293ring r = 16183, (t_0,t_1,t_2,t_3,t_4,t_5,t_6,t_7,t_8,t_9,t_10,t_11,t_12), dp;
    294 ideal I = 
     294ideal I =
    295295t_6*t_9+4738*t_7*t_9-1150*t_8*t_9-6021*t_9^2-2099*t_0*t_10-250*t_1*t_10-708*t_2*t_10-4870*t_3*t_10+1978*t_4*t_10-3869*t_5*t_10-4563*t_6*t_10+1710*t_7*t_10-5237*t_8*t_10+6689*t_9*t_10-2205*t_10^2+4452*t_0*t_11+981*t_1*t_11-7579*t_2*t_11-4460*t_3*t_11-1286*t_4*t_11-6578*t_5*t_11-1087*t_6*t_11+5192*t_7*t_11+5955*t_8*t_11+4918*t_9*t_11-5757*t_10*t_11+3331*t_11^2-273*t_0*t_12-3734*t_1*t_12+2482*t_2*t_12+5154*t_3*t_12+6403*t_4*t_12+527*t_5*t_12+6066*t_6*t_12+3539*t_7*t_12-2713*t_8*t_12+5757*t_9*t_12-3331*t_10*t_12,
    296296t_5*t_9+4468*t_7*t_9+3024*t_8*t_9+2551*t_9^2-821*t_0*t_10-6233*t_1*t_10+2169*t_2*t_10-7556*t_3*t_10+6599*t_4*t_10+6120*t_5*t_10+5930*t_6*t_10-4419*t_7*t_10+542*t_8*t_10+2512*t_9*t_10+5747*t_10^2+1054*t_0*t_11+6197*t_1*t_11+5846*t_2*t_11-4058*t_3*t_11-1092*t_4*t_11+746*t_5*t_11-4088*t_6*t_11-3922*t_7*t_11+4094*t_8*t_11+5196*t_9*t_11+4763*t_10*t_11+5738*t_11^2+7817*t_0*t_12+1710*t_1*t_12-2542*t_2*t_12-5028*t_3*t_12+5039*t_4*t_12+5483*t_5*t_12+829*t_6*t_12-6606*t_7*t_12+5240*t_8*t_12-4763*t_9*t_12-5738*t_10*t_12,

  • Tst/Short/fres_s.tst

    r99d029 r075bc5  
    1111            for (k = j-1; k >= i; k--) {
    1212                J[i-1+j-k] = I[k];
    13             } 
     13            }
    1414            i = j;
    1515        }
    … …  
    2323// AGR@10007n6d5s12%1
    2424ring r = 10007, (a,b,c,d,e,f,g), dp;
    25 ideal I = 
     25ideal I =
    2626a*g+3049*b*g-3031*c*g-3872*d*g-1218*e*g-4936*f*g,
    2727e*f+2193*b*g+2675*c*g+1570*d*g+334*e*g+3234*f*g,
    … …  
    6767// CNC@32003g08%1
    6868ring r = 32003, (t_0,t_1,t_2,t_3,t_4,t_5,t_6,t_7), dp;
    69 ideal I = 
     69ideal I =
    7070t_4^2-11562*t_0*t_5+7830*t_1*t_5+15848*t_2*t_5+15318*t_3*t_5+14862*t_4*t_5-2359*t_5^2-8147*t_0*t_6+8135*t_1*t_6-10982*t_2*t_6+10294*t_3*t_6+8855*t_4*t_6+13975*t_5*t_6+10574*t_6^2+8020*t_0*t_7-4337*t_1*t_7+6847*t_2*t_7-6496*t_3*t_7-13975*t_4*t_7-10574*t_5*t_7,
    7171t_3*t_4+11991*t_0*t_5-3476*t_1*t_5-14374*t_2*t_5-2073*t_3*t_5+15332*t_4*t_5-12792*t_5^2-2016*t_0*t_6-7341*t_1*t_6-13969*t_2*t_6-9983*t_3*t_6-2784*t_4*t_6+13194*t_5*t_6-7842*t_6^2-10289*t_0*t_7-15961*t_1*t_7-5349*t_2*t_7+15576*t_3*t_7-13194*t_4*t_7+7842*t_5*t_7,
    … …  
    105105// PCNC@15187g08_2%1
    106106ring r = 15187, (t_0,t_1,t_2,t_3,t_4,t_5,t_6), dp;
    107 ideal I = 
     107ideal I =
    108108t_0*t_3-3644*t_1*t_3-7273*t_2*t_3+5401*t_3^2-2661*t_0*t_4+6152*t_1*t_4-3933*t_2*t_4+1737*t_3*t_4-1074*t_4^2-2635*t_0*t_5+1869*t_1*t_5-3554*t_2*t_5+3969*t_3*t_5+4742*t_4*t_5-1304*t_5^2-3337*t_0*t_6+1817*t_1*t_6-2895*t_2*t_6-4742*t_3*t_6+1304*t_4*t_6,
    109109t_2^2-2264*t_1*t_3+1177*t_2*t_3-3592*t_3^2-6351*t_0*t_4-1812*t_1*t_4+3443*t_2*t_4+5781*t_3*t_4+2493*t_4^2+6075*t_0*t_5+3311*t_1*t_5-1124*t_2*t_5+3768*t_3*t_5-6805*t_4*t_5+6770*t_5^2-3162*t_0*t_6-4657*t_1*t_6-6261*t_2*t_6+6805*t_3*t_6-6770*t_4*t_6,

  • Tst/Short/modules.tst

    r99d029 r075bc5  
    102102 matrix m[2][2]=x,y3,z,xz;
    103103 Matrix Ma=m;
    104  FreeModule M=Source(Ma); 
     104 FreeModule M=Source(Ma);
    105105 M;
    106106 Degree(M);

  • Tst/Short/nets.tst

    r99d029 r075bc5  
    5353
    5454kill r;
    55 ring r = 0,(x,y,z,a,b,c),(ds(3), dp(3)); 
     55ring r = 0,(x,y,z,a,b,c),(ds(3), dp(3));
    5656netRing(r);
    5757
    … …  
    242242kill r;
    243243
    244 ring r=7,(x,y,z),lp;   
    245 poly p=17x2+24y;       
     244ring r=7,(x,y,z),lp;
     245poly p=17x2+24y;
    246246p;
    247247netPoly(p);

  • doc/NEWS.texi

    r99d029 r075bc5  
    3232@item freegb.lib: lpDivision, lpPrint (@nref{freegb_lib})
    3333@item fpadim.lib (@nref{fpadim_lib})
    34 @item schreyer.lib: deprecated 
     34@item schreyer.lib: deprecated
    3535@item goettsche.lib: new, extended version (The Nakajima-Yoshioka formula up to n-th degree,Poincare Polynomial of the punctual Quot-scheme of rank r on n planar points Betti numbers of the punctual Quot-scheme of rank r on n planar points)(@nref{goettsche_lib})
    3636@item grobcov.lib: small bug fix (@nref{grobcov_lib})

  • libpolys/polys/monomials/p_polys.h

    r99d029 r075bc5  
    15171517  }
    15181518  const long* _ordsgn = (long*) r->ordsgn;
    1519 #if 1 /* two variants*/ 
     1519#if 1 /* two variants*/
    15201520  if (_v1 > _v2)
    15211521  {

  • misc/lt.cc

    r99d029 r075bc5  
    3131      }
    3232    }
    33     return FALSE; /* not found */ 
     33    return FALSE; /* not found */
    3434  }
    3535  WerrorS("same_lt(ideal)");

  • misc/lt2.cc

    r99d029 r075bc5  
    3232      }
    3333    }
    34     return FALSE; /* not found */ 
     34    return FALSE; /* not found */
    3535  }
    3636  WerrorS("same_lt(ideal)");
Note: See TracChangeset for help on using the changeset viewer.