Changeset 06f16f in git for Singular/LIB/primdec.lib


Ignore:
Timestamp:
May 12, 2000, 2:20:26 PM (24 years ago)
Author:
Kai Krüger <krueger@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
d18870bf915431bbbed064042d13fe3ecb292569
Parents:
38c1655b00c7eaba87af5a330f66679d70e33495
Message:
anne: changed execute to new syntax with ()


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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/primdec.lib

    r38c165 r06f16f  
    1 // $Id: primdec.lib,v 1.61 2000-05-11 11:22:40 pfister Exp $
     1// $Id: primdec.lib,v 1.62 2000-05-12 12:20:26 krueger Exp $
    22///////////////////////////////////////////////////////////////////////////////
    33// primdec.lib                                                               //
    … …  
    1111///////////////////////////////////////////////////////////////////////////////
    1212
    13 version="$Id: primdec.lib,v 1.61 2000-05-11 11:22:40 pfister Exp $";
     13version="$Id: primdec.lib,v 1.62 2000-05-12 12:20:26 krueger Exp $";
    1414info="
    1515LIBRARY: primdec.lib   PROCEDURES FOR PRIMARY DECOMPOSITION
    … …  
    8585   if(ordstr(basering)[1,2]!="dp")
    8686   {
    87       execute "ring @Phelp=("+charstr(@P)+"),("+varstr(@P)+"),(C,dp);";
     87      execute("ring @Phelp=("+charstr(@P)+"),("+varstr(@P)+"),(C,dp);");
    8888      ideal inew=std(imap(@P,id));
    8989      ideal  @h=imap(@P,h);
    … …  
    11821182   def bsr= basering;
    11831183   string @id=string(h);
    1184    execute "ring @r=0,("+@pa+","+varstr(bsr)+"),(C,dp);";
    1185    execute "ideal @i="+@id+";";
     1184   execute("ring @r=0,("+@pa+","+varstr(bsr)+"),(C,dp);");
     1185   execute("ideal @i="+@id+";");
    11861186   poly @p=lcmP(@i);
    11871187   string @ps=string(@p);
    11881188   setring bsr;
    1189    execute "poly @p="+@ps+";";
     1189   execute("poly @p="+@ps+";");
    11901190   return(@p);
    11911191}
    … …  
    15071507   list l= prepareQuotientring(3);
    15081508   l;
    1509    execute l[1];
    1510    execute l[2];
     1509   execute(l[1]);
     1510   execute(l[2]);
    15111511   basering;
    15121512   phi;
    … …  
    15621562   i=qr[1];
    15631563
    1564    execute "ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),("
    1565              +ordstr(basering)+");";
     1564   execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),("
     1565             +ordstr(basering)+");");
    15661566
    15671567
    … …  
    15971597         setring @P;
    15981598        // kill gnir;
    1599          execute "ring gnir1 = ("+charstr(basering)+"),
    1600                               ("+varstr(basering)+"),(C,lp);";
     1599         execute("ring gnir1 = ("+charstr(basering)+"),
     1600                              ("+varstr(basering)+"),(C,lp);");
    16011601         ideal i=fetch(@P,i);
    16021602         list @pr=facstd(i);
    … …  
    16841684  def P=basering;
    16851685
    1686   execute "ring ir = ("+charstr(basering)+"),("+varstr(basering)+"),(C,lp);";
     1686  execute("ring ir = ("+charstr(basering)+"),("+varstr(basering)+"),(C,lp);");
    16871687  list l=fetch(P,li);
    16881688  list @erg;
    … …  
    20462046  //----------------------------------------------------------------
    20472047
    2048   execute "ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),(C,lp);";
     2048  execute("ring gnir = ("+charstr(basering)+"),("+varstr(basering)+"),(C,lp);");
    20492049  option(redSB);
    20502050
    … …  
    21982198  if(ordstr(@P)[1]=="w")
    21992199  {
    2200      execute "ring @Phelp=("+charstr(gnir)+"),("+varstr(gnir)+"),("+ordstr(@P)+");";
     2200     execute("ring @Phelp=("+charstr(gnir)+"),("+varstr(gnir)+"),("+ordstr(@P)+");");
    22012201  }
    22022202  else
    22032203  {
    2204      execute "ring @Phelp=("+charstr(gnir)+"),("+varstr(gnir)+"),(C,dp);";
     2204     execute("ring @Phelp=("+charstr(gnir)+"),("+varstr(gnir)+"),(C,dp);");
    22052205  }
    22062206
    … …  
    22392239     //change the ring
    22402240     {
    2241         execute "ring gnir1 = ("+charstr(basering)+"),("+varstr(basering)+"),("
    2242                               +ordstr(basering)+");";
     2241        execute("ring gnir1 = ("+charstr(basering)+"),("+varstr(basering)+"),("
     2242                              +ordstr(basering)+");");
    22432243        ideal @j=fetch(gnir,@j);
    22442244        attrib(@j,"isSB",1);
    … …  
    22492249     {
    22502250        @va=string(maxideal(1));
    2251         execute "ring gnir1 = ("+charstr(basering)+"),("+indep[@m][1]+"),("
    2252                               +indep[@m][2]+");";
    2253         execute "map phi=gnir,"+@va+";";
     2251        execute("ring gnir1 = ("+charstr(basering)+"),("+indep[@m][1]+"),("
     2252                              +indep[@m][2]+");");
     2253        execute("map phi=gnir,"+@va+";");
    22542254        if(homo==1)
    22552255        {
    … …  
    22962296     //---------------------------------------------------------------------
    22972297
    2298      execute quotring;
     2298     execute(quotring);
    22992299
    23002300    // @j considered in the quotientring
    … …  
    25072507           //change the ring
    25082508           {
    2509               execute "ring gnir1 = ("+charstr(basering)+"),("+
    2510                 varstr(basering)+"),("+ordstr(basering)+");";
     2509              execute("ring gnir1 = ("+charstr(basering)+"),("+
     2510                varstr(basering)+"),("+ordstr(basering)+");");
    25112511              ideal @j=fetch(gnir,jkeep);
    25122512              attrib(@j,"isSB",1);
    … …  
    25152515           {
    25162516              @va=string(maxideal(1));
    2517               execute "ring gnir1 = ("+charstr(basering)+"),("+
    2518                       restindep[@m][1]+"),(" +restindep[@m][2]+");";
    2519               execute "map phi=gnir,"+@va+";";
     2517              execute("ring gnir1 = ("+charstr(basering)+"),("+
     2518                      restindep[@m][1]+"),(" +restindep[@m][2]+");");
     2519              execute("map phi=gnir,"+@va+";");
    25202520              if(homo==1)
    25212521              {
    … …  
    25602560           //------------------------------------------------------------------
    25612561
    2562            execute quotring;
     2562           execute(quotring);
    25632563
    25642564           // @j considered in the quotientring
    … …  
    28452845      //change the ring
    28462846      {
    2847         execute "ring gnir1 = ("+charstr(basering)+"),("+varstr(basering)+"),("
    2848                               +ordstr(basering)+");";
     2847        execute("ring gnir1 = ("+charstr(basering)+"),("+varstr(basering)+"),("
     2848                              +ordstr(basering)+");");
    28492849         ideal @j=fetch(@P,@j);
    28502850         attrib(@j,"isSB",1);
    … …  
    28532853      {
    28542854         @va=string(maxideal(1));
    2855          execute "ring gnir1 = ("+charstr(basering)+"),("+indep[@m][1]+"),("
    2856                               +indep[@m][2]+");";
    2857          execute "map phi=@P,"+@va+";";
     2855         execute("ring gnir1 = ("+charstr(basering)+"),("+indep[@m][1]+"),("
     2856                              +indep[@m][2]+");");
     2857         execute("map phi=@P,"+@va+";");
    28582858         if(homo==1)
    28592859         {
    … …  
    28972897     //------------------------------------------------------------------------
    28982898
    2899       execute quotring;
     2899      execute(quotring);
    29002900
    29012901    // @j considered in the quotientring
    … …  
    33663366  def oldring=basering;
    33673367  string n=system("neworder",PS);
    3368   execute "ring r=("+charstr(oldring)+"),("+n+"),dp;";
     3368  execute("ring r=("+charstr(oldring)+"),("+n+"),dp;");
    33693369  ideal PS=imap(oldring,PS);
    33703370  matrix m=char_series(PS);  // We compute an irreducible
    … …  
    39633963
    39643964      U[size(U)]=")";           // we compute the extractor of I (w.r.t. U)
    3965       execute "ring RAU="+charstr(basering)+",("+A+U+",(dp("+string(a)+"),dp);";
     3965      execute("ring RAU="+charstr(basering)+",("+A+U+",(dp("+string(a)+"),dp);");
    39663966      ideal I=imap(R,SI);
    39673967      //I=std(I,hv);            // the standard basis in (R[U])[A]
    39683968      I=std(I);            // the standard basis in (R[U])[A]
    39693969      A[size(A)]=")";
    3970       execute "ring Rloc=("+charstr(basering)+","+U+",("+A+",dp;";
     3970      execute("ring Rloc=("+charstr(basering)+","+U+",("+A+",dp;");
    39713971      ideal I=imap(RAU,I);
    39723972      //"std in lokalisierung:"+newline,I;
    … …  
    43934393      if(dim(pr[1])>1)
    43944394      {
    4395          execute "ring gnir = ("+charstr(basering)+"),
    4396                               ("+varstr(basering)+"),(C,lp);";
     4395         execute("ring gnir = ("+charstr(basering)+"),
     4396                              ("+varstr(basering)+"),(C,lp);");
    43974397         ideal i=fetch(@P,i);
    43984398         list @pr=facstd(i);
Note: See TracChangeset for help on using the changeset viewer.