Changeset 119e27b in git


Ignore:
Timestamp:
Mar 25, 2011, 3:48:41 PM (12 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
a3a116bf31680a590c2cc3c1e27c44b1b4fc7dea
Parents:
787f10764ca8eabeccca61ebad635bf6a2b12c5a
Message:
fix examples

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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/resbinomial.lib

    r787f10 r119e27b  
    169169/////////////////////////////////////////////////////////////////////////////////
    170170
    171 static proc data(ideal K,int k,int n)
     171proc data(ideal K,int k,int n)
    172172"USAGE: data(K,k,n); K any ideal, k integer (!=0), n integer (!=0)
    173173COMPUTE: Construcs a list with the coefficients and exponents of one ideal
     
    10051005  list flag=identifyvar();
    10061006  ideal J=x(1)^2-x(2)^2*x(3)^5, x(1)*x(3)^3+x(4)^6;
    1007   list Lmb=1,Resbinomial::list0(4),Resbinomial::list0(4),Resbinomial::list0(4),iniD(4),iniD(4),Resbinomial::list0(4),-1;
     1007  list Lmb=1,list(0,0,0,0),list(0,0,0,0),list(0,0,0,0),iniD(4),iniD(4),list(0,0,0,0),-1;
    10081008  list L=data(J,2,4);
    10091009  list LL=determinecenter(L[1],L[2],2,4,0,0,Lmb,flag,0,-1); // Compute the first center
     
    10221022  list flag=identifyvar();
    10231023  ideal J=x(1)^3-x(2)^2*x(3)^5, x(1)*x(3)^3+x(4)^5;
    1024   list Lmb=2,Resbinomial::list0(4),Resbinomial::list0(4),Resbinomial::list0(4),iniD(4),iniD(4),Resbinomial::list0(4),-1;
     1024  list Lmb=2,list(0,0,0,0),list(0,0,0,0),list(0,0,0,0),iniD(4),iniD(4),list(0,0,0,0),-1;
    10251025  list L2=data(J,2,4);
    10261026  list L3=determinecenter(L2[1],L2[2],2,4,0,0,Lmb,flag,0,-1); // Example with rational exponents in E-Coeff
     
    11331133list flag=identifyvar();
    11341134ideal J=x(1)^3-x(3)^2*y(4)^2,x(1)*x(7)*y(2)-x(6)^3*x(5)*y(4)^3,x(5)^3-x(5)^3*y(2)^2;
    1135 list Lmb=2,list0(7),list0(7),list0(7),iniD(7),iniD(7),list0(7),-1;
     1135list Lmb=2,list(0,0,0,0,0,0,0),list(0,0,0,0,0,0,0),list(0,0,0,0,0,0,0),iniD(7),iniD(7),list(0,0,0,0,0,0,0),-1;
    11361136list L=data(J,3,7);
    11371137list L2=determinecenter(L[1],L[2],2,7,0,0,Lmb,flag,0,-1); // Computing the center
    11381138module auxpath=[0,-1];
    1139 list infochart=0,0,0,L[2],L[1],flag,0,list0(7),auxpath,list(),list();
     1139list infochart=0,0,0,L[2],L[1],flag,0,list(0,0,0,0,0,0,0),auxpath,list(),list();
    11401140list L3=Blowupcenter(L2[1],1,1,infochart,2,7,0);
    11411141L3[1]; // current chart (parent,Y,center,expJ,Coef,flag,Hhist,blwhist,path,hipercoef,hiperexp) with sons: [12],...,[16]
     
    13691369  list flag=identifyvar();
    13701370  ideal J=x(1)^4*x(2)^2, x(3)^3;
    1371   list Lmb=1,list0(3),list0(3),list0(3),iniD(3),iniD(3),list0(3),-1;
     1371  list Lmb=1,list(0,0,0),list(0,0,0),list(3),iniD(3),iniD(3),list(0,0,0),-1;
    13721372  list L=data(J,2,3);
    13731373  list LL=determinecenter(L[1],L[2],3,3,0,0,Lmb,flag,0,-1); // Calculate the center
    13741374  module auxpath=[0,-1];
    1375   list infochart=0,0,0,L[2],L[1],flag,0,list0(3),auxpath,list(),list();
     1375  list infochart=0,0,0,L[2],L[1],flag,0,list(0,0,0),auxpath,list(),list();
    13761376  list L3=Blowupcenter(LL[1],1,1,infochart,3,3,0); // blowing-up and looking to the x(3) chart
    13771377  calculateI(L3[2][1][5],L3[2][1][4],3,3,3,L3[2][1][3],3,iniD(3)); //  (I_3)
Note: See TracChangeset for help on using the changeset viewer.