Changeset f999689 in git


Ignore:
Timestamp:
Jan 26, 2015, 12:43:16 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
1386125efea2b96cc1b1eb9c36caa5004c0f47f6766ae30cf1b9a4f004ee11825797b33b8798ae39
Parents:
97a7da2750245efc953ff12aad2e56a4bff4374e
Message:
chnaged: Presolve::findvars: see variables
Files:
8 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/JMSConst.lib

    r97a7da2 rf999689  
    947947poly h=Minimus(variables(A.h));
    948948//print(h);
    949 int l=findvars(h,1)[2][1];
     949int l=findvars(h)[2][1];
    950950if(l!=nvars(basering))
    951951 {
  • Singular/LIB/ffsolve.lib

    r97a7da2 rf999689  
    383383        }
    384384      }
    385       varinfo = findvars(univar_part,1);
     385      varinfo = varaibles(univar_part);
    386386      unsolved_vars = varinfo[3];
    387387      unsolved_var_nums = varinfo[4];
  • Singular/LIB/noether.lib

    r97a7da2 rf999689  
    6767   for ( ii = 1; ii <= size(I); ii++ )
    6868   {
    69      Y=findvars(I[ii],1)[1];
     69     Y=variables(I[ii]);
    7070     l=rvar(Y[1][1]);
    7171     if (size(Y[1])==1)
     
    8989   else
    9090   {
    91      P2=findvars(ideal(P1[1..t]),1)[3];
     91     P2=findvars(ideal(P1[1..t]))[3];
    9292     for ( jj = 1; jj <= size(P2[1]); jj++ )
    9393     {
  • Singular/LIB/normal.lib

    r97a7da2 rf999689  
    11481148          "// the ideal was the zero-ideal";
    11491149      }
    1150      // execute("ring newR7="+charstr(basering)+",("+varstr(basering)+"),("
    1151      //                 +ordstr(basering)+");");
    11521150         def newR7 = ring(gnirlist);
    11531151         setring newR7;
     
    15971595         // Now RR[2] must be 1, hence the test for normality was positive
    15981596         MB=SM[2];
    1599          //execute("ring newR7="+charstr(basering)+",("+varstr(basering)+"),("
    1600          //             +ordstr(basering)+");");
    16011597         def newR7 = ring(gnirlist);
    16021598         setring newR7;
     
    19011897      //ideal new2=SL[1],SM[2];
    19021898
    1903       //execute("ring newR1="+charstr(basering)+",("+varstr(basering)+"),("
    1904       //                +ordstr(basering)+");");
    19051899      def newR1 = ring(gnirlist);
    19061900      setring newR1;
     
    19301924
    19311925      setring BAS;
    1932       //execute("ring newR2="+charstr(basering)+",("+varstr(basering)+"),("
    1933       //                +ordstr(basering)+");");
    19341926      def newR2 = ring(gnirlist);
    19351927      setring newR2;
     
    22852277      return(0);
    22862278   }
    2287    list N=findvars(I,0);
    2288    if(size(N[1])==1)
     2279   ideal N=variables(I);
     2280   if(size(N)==1)
    22892281   {
    22902282      poly p=I[1];
     
    22922284      return(-deg(p)+1);
    22932285   }
    2294    if(size(N[1]) < nvars(R0))
    2295    {
    2296      string newvar=string(N[1]);
     2286   if(size(N) < nvars(R0))
     2287   {
     2288     string newvar=string(N);
    22972289     execute("ring R=("+charstr(R0)+"),("+newvar+"),dp;");
    22982290     ideal I =imap(R0,I);
  • Singular/LIB/presolve.lib

    r97a7da2 rf999689  
    11////////////////////////////////////////////////////////////////////////////
    2 version="version presolve.lib 4.0.0.0 Jun_2013 "; // $Id$
     2version="version presolve.lib 4.0.1.2 Jan_2015 "; // $Id$
    33category="Symbolic-numerical solving";
    44info="
     
    1212 elimpartanyr(i,p);     factors of p partially eliminated from i in any ring
    1313 fastelim(i,p[..]);     fast elimination of factors of p from i [options]
    14  findvars(id[..]);      ideal of variables occuring in id [more information]
     14 findvars(id);          variables occuring/not occurring  in id
    1515 hilbvec(id[,c,o]);     intvec of Hilberseries of id [in char c and ord o]
    1616 linearpart(id);        elements of id of total degree <=1
     
    837837
    838838proc findvars(def id, list #)
    839 "USAGE:   findvars(id [,any] ); id=poly/ideal/vector/module/matrix, any=any type
    840 RETURN:  if no second argument is present: ideal of variables occuring in id,@*
    841          if a second argument is given (of any type): list L with 4 entries:
     839"USAGE:   findvars(id ); id=poly/ideal/vector/module/matrix
     840RETURN:  list L with 4 entries:
    842841  @format
    843842  L[1]: ideal of variables occuring in id
     
    846845  L[4]: intvec of variables not occuring in id
    847846  @end format
     847SEE ALSO: variables
    848848EXAMPLE: example findvars; shows an example
    849849"
     
    873873   if ( size(f)>1 ) { f = f[2..size(f)]; }      //intvec of found vars
    874874   if ( size(nf)>1 ) { nf = nf[2..size(nf)]; }  //intvec of vars not found
    875    if( size(#)==0 )  { return(found); }
    876    if( size(#)!=0 )  { list L = found,f,notfound,nf; return(L); }
     875   list L = found,f,notfound,nf; return(L);
    877876}
    878877example
     
    881880   ideal i = w2+f2-1, x2+t2+a2-1;
    882881   findvars(i);
    883    findvars(i,1);
    884882}
    885883///////////////////////////////////////////////////////////////////////////////
  • Singular/LIB/resolve.lib

    r97a7da2 rf999689  
    389389//--- then by dropping non-occuring variables
    390390      testId=Jsub,Esub,laM;
    391       templist=findvars(testId,0);
     391      templist=findvars(testId);
    392392      if(size(templist[1])<nvars(R))
    393393      {
     
    617617            LL=LL,BO[4][j];
    618618         }
    619          LL=findvars(LL);
     619         LL=variables(LL);
    620620         L=elimpart(BO[2]);
    621621         if((size(L[2])!=0)&&(size(std(LL+L[2]))==size(L[2])+size(LL)))
     
    633633        K=K,BO[4][j];
    634634      }
    635       list N=findvars(K,0);
     635      list N=findvars(K);
    636636      if(size(N[1])<n)
    637637      {
     
    10731073                 if(deg(MM[1])>0){LL=LL,MM;}
    10741074              }
    1075               LL=findvars(LL);
     1075              LL=variables(LL);
    10761076              M=elimpart(B[2]);
    10771077              if((size(M[2])!=0)&&(size(std(LL+M[2]))==size(M[2])+size(LL)))
     
    11051105        K=B[1],B[2],B[5];          //Aenderung!!!
    11061106        for(j=1;j<=size(B[4]);j++){K=K,B[4][j];}
    1107         N=findvars(K,0);
     1107        N=findvars(K);
    11081108        if(size(N[1])<n)
    11091109        {
     
    11531153//--- this variable
    11541154//!!!! not necessarily in exactly one BO[4][j]
    1155         list N=findvars(BO[1]+BO[2],0);
     1155        list N=findvars(BO[1]+BO[2]);
    11561156        if(size(N[1])<nvars(basering))
    11571157        {
     
    47954795        K=K,BO[4][i];
    47964796      }
    4797       list N=findvars(K,0);
    4798       //list N=findvars(BO[2],0);
     4797      list N=findvars(K);
     4798      //list N=findvars(BO[2]);
    47994799      if(size(N[1])<n)
    48004800      {
  • Tst/Manual/findvars.res.gz.uu

    r97a7da2 rf999689  
    11begin 640 findvars.res.gz
    2 M'XL("'XI<DX``V9I;F1V87)S+G)E<P!-D<MJPS`01??ZBB%TX9"IB60[:1ND
    3 M1>DF4+I)=\$$%<M%8-Q@R8_\?2>JD;NZ5VC.89!.GV_'#P#@"MZ/K[#RSJ>-
    4 M_5H=@-K%MM8GZP.[)R@%M6VK07<N;<V8.J\].\V\F/EK9]Q/,Y@_2;S.%'2V
    5 M_08'(&&+B<$:)[RAQQX''%%CM<;JN@"Y`EL9W8`E8!2;6CQRA$ELO-AHZLMD
    6 ML:R56-KU<N:EK"E$*2>*K)2>(B_E2%&44D=T]Q]%3C"Q+XQN9DEHP1-:4(46
    7 M;*$%(<T$3&"&!3[A,Z/9162BZ!9%?10-450Q.@>,8XX[W"/?QF7W*GS)_=5[
    8 .E]"R#^P7BXXF)KT!````
     2M'XL("/4FQE0``V9I;F1V87)S+G)E<P!%D,MJPS`01??ZBB%T8>.IB60[?1AI
     3M4;H)E&[271%!17(1&#=8\B-_7\4.\DI'TMS#94Y?[\=/`*`"/HYOL//.YZW]
     4MV=40Z&P[ZY.T)K<3A(#&=GI4O<L[,^7.*T].]SR[YR^]<7_M:%9)_"X$]+;[
     5M!0?`88^)P09GO*+'`4><4*%.45^V0"G`:J-:L"$PL:QACQ1A9IEGF0J\359;
     6MK<2&KM]4OI+P?@[`FY68Y/-*A>1^I5+R::5*<D7"S!)C6&"%S_A"PNPF,E%T
     7HC:(ABL8HTB3<EQC%$@_XA'0?JQ[$LM7;X@:7T+1^(/^1SG.A@`$`````
    98`
    109end
  • Tst/Manual/findvars.tst

    r97a7da2 rf999689  
    44ideal i = w2+f2-1, x2+t2+a2-1;
    55findvars(i);
    6 findvars(i,1);
    76tst_status(1);$
Note: See TracChangeset for help on using the changeset viewer.