Changeset f54c83 in git for Singular/LIB/finvar.lib


Ignore:
Timestamp:
Mar 16, 2006, 4:50:39 PM (18 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
31279e341ed4fbe1e851f7c578db92d739b4701d
Parents:
d7ec6edd2c71e358494730771ecdd167ee5d41bc
Message:
*hannes: std -> groebner in finvar.lib
*pfister: imap changes in primdec.lib


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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/finvar.lib

    rd7ec6ed rf54c83  
    11// last change: 98/11/05
    22///////////////////////////////////////////////////////////////////////////////
    3 version="$Id: finvar.lib,v 1.40 2005-10-27 17:10:54 Singular Exp $"
     3version="$Id: finvar.lib,v 1.41 2006-03-16 15:50:37 Singular Exp $"
    44category="Invariant theory";
    55info="
    … …  
    21342134                                       // intersection with the same Hilbert
    21352135                                       // function as P
    2136   ideal sP=std(P);
     2136  ideal sP=groebner(P);
    21372137  dB=1;                                // used as degree bound
    21382138  int i=0;
    … …  
    21512151    if (B[1]<>0)
    21522152    { Pplus=P+B;
    2153       sPplus=std(Pplus);
     2153      sPplus=groebner(Pplus);
    21542154      newdim=dim(sPplus);
    21552155      dif=n-i-newdim;
    … …  
    22812281                                       // intersection with the same Hilbert
    22822282                                       // function as P
    2283   ideal sP=std(P);
     2283  ideal sP=groebner(P);
    22842284  dB=1;                                // used as degree bound
    22852285  int i=0;
    … …  
    23042304    if (B[1]<>0)
    23052305    { Pplus=P+B;
    2306       sPplus=std(Pplus);
     2306      sPplus=groebner(Pplus);
    23072307      newdim=dim(sPplus);
    23082308      dif=n-i-newdim;
    … …  
    24232423                                       // intersection with the same Hilbert
    24242424                                       // function as P
    2425   ideal sP=std(P);
     2425  ideal sP=groebner(P);
    24262426  dB=1;                                // used as degree bound -
    24272427  d=0;                                 // initializing
    … …  
    24392439    if (B[1]<>0)
    24402440    { Pplus=P+B;
    2441       newdim=dim(std(Pplus));
     2441      newdim=dim(groebner(Pplus));
    24422442      dif=n-i-newdim;
    24432443    }
    … …  
    24582458        dB=dB+dif*(d-1);
    24592459        P=Pplus;
    2460         sP=std(P);
     2460        sP=groebner(P);
    24612461      }
    24622462      if (v)
    … …  
    25642564                                       // intersection with the same Hilbert
    25652565                                       // function as P
    2566   ideal sP=std(P);
     2566  ideal sP=groebner(P);
    25672567  dB=1;                                // used as degree bound -
    25682568  d=0;                                 // initializing
    … …  
    25802580    if (B[1]<>0)
    25812581    { Pplus=P+B;
    2582       sPplus=std(Pplus);
     2582      sPplus=groebner(Pplus);
    25832583      newdim=dim(sPplus);
    25842584      dif=n-i-newdim;
    … …  
    27112711                                       // intersection with the same Hilbert
    27122712                                       // function as P
    2713   ideal sP=std(P);
     2713  ideal sP=groebner(P);
    27142714  dB=1;                                // used as degree bound -
    27152715  d=0;                                 // initializing
    … …  
    27262726    if (B[1]<>0)
    27272727    { Pplus=P+B;
    2728       sPplus=std(Pplus);
     2728      sPplus=groebner(Pplus);
    27292729      newdim=dim(sPplus);
    27302730      dif=n-i-newdim;
    … …  
    30083008    }
    30093009    // degBound=dB;
    3010     test_dim=dim(std(TEST));
     3010    test_dim=dim(groebner(TEST));
    30113011    // test_dim=dim(std(TEST,h));         // Hilbert driven std-calculation
    30123012    // degBound=0;
    … …  
    31043104    }
    31053105    // degBound=dB;
    3106     test_dim=dim(std(TEST));
     3106    test_dim=dim(groebner(TEST));
    31073107    // test_dim=dim(std(TEST,h));         // Hilbert driven std-calculation
    31083108    // degBound=0;
    … …  
    32863286    if (B[1]<>0)
    32873287    { Pplus=P+B;
    3288       newdim=dim(std(Pplus));
     3288      newdim=dim(groebner(Pplus));
    32893289      dif=n-i-newdim;
    32903290    }
    … …  
    34393439    if (B[1]<>0)
    34403440    { Pplus=P+B;
    3441       newdim=dim(std(Pplus));
     3441      newdim=dim(groebner(Pplus));
    34423442      dif=n-i-newdim;
    34433443    }
    … …  
    35773577    if (B[1]<>0)
    35783578    { Pplus=P+B;
    3579       newdim=dim(std(Pplus));
     3579      newdim=dim(groebner(Pplus));
    35803580      dif=n-i-newdim;
    35813581    }
    … …  
    37243724    if (B[1]<>0)
    37253725    { Pplus=P+B;
    3726       newdim=dim(std(Pplus));
     3726      newdim=dim(groebner(Pplus));
    37273727      dif=n-i-newdim;
    37283728    }
    … …  
    38813881    if (B[1]<>0)
    38823882    { Pplus=P+B;
    3883       newdim=dim(std(Pplus));
     3883      newdim=dim(groebner(Pplus));
    38843884      dif=n-i-newdim;
    38853885    }
    … …  
    43104310  int k;
    43114311  intvec deg_vec;
    4312   ideal sP=std(ideal(P));
     4312  ideal sP=groebner(ideal(P));
    43134313  ideal TEST,B,IS;
    43144314  ideal S=1;                           // 1 is the first secondary invariant -
    … …  
    45304530  int k;
    45314531  intvec deg_vec;
    4532   ideal sP=std(ideal(P));
     4532  ideal sP=groebner(ideal(P));
    45334533  ideal TEST,B,IS;
    45344534  ideal S=1;                           // 1 is the first secondary invariant
    … …  
    47394739  }
    47404740 //------------------------- initializing variables ---------------------------
    4741   ideal sP=std(ideal(P));
     4741  ideal sP=groebner(ideal(P));
    47424742  ideal B, TEST;
    47434743  ideal S=1;                           // 1 is the first secondary invariant
    … …  
    48964896  int k;
    48974897  intvec irreducible_deg_vec;
    4898   ideal sP=std(ideal(P));
     4898  ideal sP=groebner(ideal(P));
    48994899  ideal B,TEST,IS;
    49004900  ideal S=1;                           // 1 is the first secondary invariant
    … …  
    57125712    { J[i]=J[i]-y(i);
    57135713    }
    5714     J=std(J);
     5714    J=groebner(J);
    57155715    J=J,I;
    57165716    option(redSB);
    5717     J=std(J);
     5717    J=groebner(J);
    57185718    ideal vars;
    57195719    //for (i=1;i<=n;i=i+1)
Note: See TracChangeset for help on using the changeset viewer.