| version 1.12, 2017/05/23 01:52:11 |
version 1.47, 2019/03/05 01:52:51 |
|
|
| /* $OpenXM: OpenXM/src/asir-contrib/packages/src/os_muldif.rr,v 1.11 2017/05/23 00:17:40 takayama Exp $ */
|
/* $OpenXM: OpenXM/src/asir-contrib/packages/src/os_muldif.rr,v 1.46 2019/03/04 02:02:04 takayama Exp $ */
|
| /* The latest version will be at ftp://akagi.ms.u-tokyo.ac.jp/pub/math/muldif |
/* The latest version will be at ftp://akagi.ms.u-tokyo.ac.jp/pub/math/muldif |
| scp os_muldif.[dp]* ${USER}@lemon.math.kobe-u.ac.jp:/home/web/OpenXM/Current/doc/other-docs |
scp os_muldif.[dp]* ${USER}@lemon.math.kobe-u.ac.jp:/home/web/OpenXM/Current/doc/other-docs |
| */ |
*/ |
|
|
| /* #undef USEMODULE */ |
/* #undef USEMODULE */ |
| |
|
| /* os_muldif.rr (Library for Risa/Asir) |
/* os_muldif.rr (Library for Risa/Asir) |
| * Toshio Oshima (Nov. 2007 - May 2017) |
* Toshio Oshima (Nov. 2007 - Feb. 2019) |
| * |
* |
| * For polynomials and differential operators with coefficients |
* For polynomials and differential operators with coefficients |
| * in rational funtions (See os_muldif.pdf) |
* in rational funtions (See os_muldif.pdf) |
| Line 22 static Muldif.rr$ |
|
| Line 22 static Muldif.rr$ |
|
| static TeXEq$ |
static TeXEq$ |
| static TeXLim$ |
static TeXLim$ |
| static DIROUT$ |
static DIROUT$ |
| |
static DIROUTD$ |
| static DVIOUTL$ |
static DVIOUTL$ |
| static DVIOUTA$ |
static DVIOUTA$ |
| static DVIOUTB$ |
static DVIOUTB$ |
| static DVIOUTH$ |
static DVIOUTH$ |
| static DVIOUTF$ |
static DVIOUTF$ |
| static FCAT$ |
|
| static LCOPT$ |
static LCOPT$ |
| static COLOPT$ |
static COLOPT$ |
| static LPOPT$ |
static LPOPT$ |
|
|
| static ID_PLOT$ |
static ID_PLOT$ |
| static Rand$ |
static Rand$ |
| static LQS$ |
static LQS$ |
| |
static SVORG$ |
| localf spType2$ |
localf spType2$ |
| localf erno$ |
localf erno$ |
| localf chkfun$ |
localf chkfun$ |
|
|
| localf llsize$ |
localf llsize$ |
| localf llbase$ |
localf llbase$ |
| localf lsort$ |
localf lsort$ |
| |
localf rsort$ |
| |
localf lpair$ |
| localf lmax$ |
localf lmax$ |
| localf lmin$ |
localf lmin$ |
| localf lgcd$ |
localf lgcd$ |
|
|
| localf myatan$ |
localf myatan$ |
| localf mylog$ |
localf mylog$ |
| localf mypow$ |
localf mypow$ |
| |
localf scale$ |
| localf arg$ |
localf arg$ |
| localf sqrt$ |
localf sqrt$ |
| localf gamma$ |
localf gamma$ |
|
|
| localf jell$ |
localf jell$ |
| localf frac$ |
localf frac$ |
| localf erfc$ |
localf erfc$ |
| |
localf orthpoly$ |
| |
localf schurpoly$ |
| localf fouriers$ |
localf fouriers$ |
| localf todf$ |
localf todf$ |
| localf f2df$ |
localf f2df$ |
|
|
| localf seriesHG$ |
localf seriesHG$ |
| localf seriesMc$ |
localf seriesMc$ |
| localf seriesTaylor$ |
localf seriesTaylor$ |
| |
localf mulpolyMod$ |
| |
localf solveEq$ |
| |
localf baseODE$ |
| |
localf taylorODE$ |
| localf evalred$ |
localf evalred$ |
| localf toeul$ |
localf toeul$ |
| localf fromeul$ |
localf fromeul$ |
| Line 271 localf okuboetos$ |
|
| Line 281 localf okuboetos$ |
|
| localf heun$ |
localf heun$ |
| localf fspt$ |
localf fspt$ |
| localf abs$ |
localf abs$ |
| |
localf sgn$ |
| localf calc$ |
localf calc$ |
| localf isint$ |
localf isint$ |
| localf israt$ |
localf israt$ |
|
|
| localf mcgrs$ |
localf mcgrs$ |
| localf mc2grs$ |
localf mc2grs$ |
| localf mcmgrs$ |
localf mcmgrs$ |
| |
localf spslm$ |
| localf anal2sp$ |
localf anal2sp$ |
| localf delopt$ |
localf delopt$ |
| localf str_char$ |
localf str_char$ |
| Line 341 localf getbygrs$ |
|
| Line 353 localf getbygrs$ |
|
| localf mcop$ |
localf mcop$ |
| localf shiftop$ |
localf shiftop$ |
| localf conf1sp$ |
localf conf1sp$ |
| |
localf confexp$ |
| |
localf confspt$ |
| |
localf s2csp$ |
| |
localf partspt$ |
| localf pgen$ |
localf pgen$ |
| localf diagm$ |
localf diagm$ |
| localf mgen$ |
localf mgen$ |
|
|
| localf trig2exp$ |
localf trig2exp$ |
| localf intpoly$ |
localf intpoly$ |
| localf integrate$ |
localf integrate$ |
| |
localf rungeKutta$ |
| localf simplog$ |
localf simplog$ |
| localf fshorter$ |
localf fshorter$ |
| localf isshortneg$ |
localf isshortneg$ |
|
|
| localf ptype$ |
localf ptype$ |
| localf pfargs$ |
localf pfargs$ |
| localf average$ |
localf average$ |
| |
localf tobig$ |
| localf sint$ |
localf sint$ |
| localf frac2n$ |
localf frac2n$ |
| localf xyproc$ |
localf xyproc$ |
| Line 398 localf areabezier$ |
|
| Line 416 localf areabezier$ |
|
| localf saveproc$ |
localf saveproc$ |
| localf xygraph$ |
localf xygraph$ |
| localf xy2graph$ |
localf xy2graph$ |
| |
localf addIL$ |
| |
localf xy2curve$ |
| |
localf xygrid$ |
| localf xyarrow$ |
localf xyarrow$ |
| localf xyarrows$ |
localf xyarrows$ |
| localf xyang$ |
localf xyang$ |
| localf xyoval$ |
localf xyoval$ |
| |
localf xypoch$ |
| localf ptcommon$ |
localf ptcommon$ |
| localf ptcopy$ |
localf ptcopy$ |
| localf ptaffine$ |
localf ptaffine$ |
| Line 425 extern Muldif.rr$ |
|
| Line 447 extern Muldif.rr$ |
|
| extern TeXEq$ |
extern TeXEq$ |
| extern TeXLim$ |
extern TeXLim$ |
| extern DIROUT$ |
extern DIROUT$ |
| |
extern DIROUTD$ |
| extern DVIOUTL$ |
extern DVIOUTL$ |
| extern DVIOUTA$ |
extern DVIOUTA$ |
| extern DVIOUTB$ |
extern DVIOUTB$ |
| extern DVIOUTH$ |
extern DVIOUTH$ |
| extern DVIOUTF$ |
extern DVIOUTF$ |
| extern FCAT$ |
|
| static LCOPT$ |
static LCOPT$ |
| static COLOPT$ |
static COLOPT$ |
| static LPOPT$ |
static LPOPT$ |
|
|
| extern ID_PLOT$ |
extern ID_PLOT$ |
| extern Rand$ |
extern Rand$ |
| extern LQS$ |
extern LQS$ |
| |
extern SV=SVORG$ |
| #endif |
#endif |
| static S_Fc,S_Dc,S_Ic,S_Ec,S_EC,S_Lc$ |
static S_Fc,S_Dc,S_Ic,S_Ec,S_EC,S_Lc$ |
| static S_FDot; |
static S_FDot$ |
| extern AMSTeX$ |
extern AMSTeX$ |
| Muldif.rr="001705179$ |
Muldif.rr="00190301"$ |
| AMSTeX=1$ |
AMSTeX=1$ |
| TeXEq=5$ |
TeXEq=5$ |
| TeXLim=80$ |
TeXLim=80$ |
| Line 465 DVIOUTL="%ASIRROOT%\\bin\\risatex0.bat"$ |
|
| Line 488 DVIOUTL="%ASIRROOT%\\bin\\risatex0.bat"$ |
|
| DVIOUTA="%ASIRROOT%\\bin\\risatex.bat"$ |
DVIOUTA="%ASIRROOT%\\bin\\risatex.bat"$ |
| DVIOUTB="%ASIRROOT%\\bin\\risatex1%TikZ%.bat"$ |
DVIOUTB="%ASIRROOT%\\bin\\risatex1%TikZ%.bat"$ |
| DVIOUTH="start dviout -2 -hyper=0x90 \"%ASIRROOT%\\help\\os_muldif.dvi\" #%LABEL%"$ |
DVIOUTH="start dviout -2 -hyper=0x90 \"%ASIRROOT%\\help\\os_muldif.dvi\" #%LABEL%"$ |
| FCAT="%TEMP%\\fcat.txt"$ |
|
| DVIOUTF=0$ |
DVIOUTF=0$ |
| LCOPT=["red","green","blue","yellow","cyan","magenta","black","white","gray"]$ |
LCOPT=["red","green","blue","yellow","cyan","magenta","black","white","gray"]$ |
| COLOPT=[0xff,0xff00,0xff0000,0xffff,0xffff00,0xff00ff,0,0xffffff,0xc0c0c0]$ |
COLOPT=[0xff,0xff00,0xff0000,0xffff,0xffff00,0xff00ff,0,0xffffff,0xc0c0c0]$ |
| LPOPT=["above","below","left","right"]$ |
LPOPT=["above","below","left","right"]$ |
| LFOPT=["very thin","thin","dotted","dashed"]$ |
LFOPT=["very thin","thin","dotted","dashed"]$ |
| |
SVORG=["x","y","z","w","u","v","p","q","r","s"]$ |
| Canvas=[400,400]$ |
Canvas=[400,400]$ |
| LQS=[[1,0]]$ |
LQS=[[1,0]]$ |
| |
|
|
|
| if((V=getopt(var))<2) V="z_"; |
if((V=getopt(var))<2) V="z_"; |
| else if(isvar(V)) V=rtostr(V); |
else if(isvar(V)) V=rtostr(V); |
| if(type(N=getopt(num))!=1) N=0; |
if(type(N=getopt(num))!=1) N=0; |
| Var=vars(L); |
Var=varargs(L|all=2); |
| for(Va=Var;Va!=[];Va=cdr(Va)) |
|
| if(vtype(car(Va))==2) Var=append(vars(args(car(Va))),Var); |
|
| for(XX=[],I=J=0;;I++){ |
for(XX=[],I=J=0;;I++){ |
| X=strtov(V+rtostr(I)); |
X=strtov(V+rtostr(I)); |
| if(findin(X,Var)<0){ |
if(findin(X,Var)<0){ |
|
|
| Do = 1; |
Do = 1; |
| } |
} |
| if(CR) print(""); |
if(CR) print(""); |
| |
else print("",2); |
| } |
} |
| |
|
| def fcat(S,X) |
def fcat(S,X) |
| { |
{ |
| if(type(S)!=7){ |
if(type(S)!=7){ |
| if(S==-1) return FCAT; |
if(type(DIROUTD)!=7){ |
| if(S==0&&access(FCAT)) remove(FCAT); |
DIROUTD=str_subst(DIROUT,["%HOME%","%ASIRROOT%","\\"], |
| S=FCAT; |
[getenv("HOME"),get_rootdir(),"/"])+"/"; |
| |
if(isMs()) DIROUTD=str_subst(DIROUTD,"/","\\"|sjis=1); |
| |
} |
| |
if(S==-1) return; |
| |
T="fcat"; |
| |
if(S>=2&&S<=9) T+=rtostr(S); |
| |
T=DIROUTD+T+".txt"; |
| |
if(S==-1) return T; |
| |
if(S!=0&&access(T)) remove_file(T); |
| |
S=T; |
| } |
} |
| output(S); |
R=output(S); |
| print(X); |
print(X); |
| output(); |
output(); |
| |
if(getopt(exe)==1) shell("\""+S+"\""); |
| |
return R; |
| } |
} |
| |
|
| def mycat0(L,T) |
def mycat0(L,T) |
| { |
{ |
| Opt = getopt(delim); |
Opt = getopt(delim); |
| Del = (type(Opt) >= 0)?Opt:""; |
Del = (type(Opt) >= 0)?Opt:""; |
| |
if(type(L)!=4) L=[L]; |
| while(L != []){ |
while(L != []){ |
| if(Do==1) |
if(Do==1) |
| print(Del,0); |
print(Del,0); |
|
|
| Do = 1; |
Do = 1; |
| } |
} |
| if(T) print(""); |
if(T) print(""); |
| |
else print("",2); |
| } |
} |
| |
|
| def findin(M,L) |
def findin(M,L) |
|
|
| for(;X!=[];X=cdr(X)) P=mydiff(P,car(X)); |
for(;X!=[];X=cdr(X)) P=mydiff(P,car(X)); |
| return P; |
return P; |
| } |
} |
| if(deg(dn(P),X) == 0) |
if(ptype(dn(P),X)<2) |
| return red(diff(nm(P),X)/dn(P)); |
return red(diff(nm(P),X)/dn(P)); |
| return red(diff(P,X)); |
return red(diff(P,X)); |
| } |
} |
| Line 865 def mulsubst(F,L) |
|
| Line 900 def mulsubst(F,L) |
|
| if(N == 0) |
if(N == 0) |
| return F; |
return F; |
| if(type(L[0])!=4) L=[L]; |
if(type(L[0])!=4) L=[L]; |
| |
if(getopt(lpair)==1||(type(L[0])==4&&length(L[0])>2)) L=lpair(L[0],L[1]); |
| if(getopt(inv)==1){ |
if(getopt(inv)==1){ |
| for(R=[];L!=[];L=cdr(L)) R=cons([car(L)[1],car(L)[0]],R); |
for(R=[];L!=[];L=cdr(L)) R=cons([car(L)[1],car(L)[0]],R); |
| L=reverse(R); |
L=reverse(R); |
| Line 1239 def mulseries(V1,V2) |
|
| Line 1275 def mulseries(V1,V2) |
|
| return VV; |
return VV; |
| } |
} |
| |
|
| |
def scale(L) |
| |
{ |
| |
T=F=0;LS=1; |
| |
Pr=getopt(prec); |
| |
Inv=getopt(inv); |
| |
Log10=dlog(10); |
| |
if(type(L)==7){ |
| |
V=findin(L,["CI","DI","CIF","CIF'","DIF","DIF'","SI","TI1","TI2","STI"]); |
| |
if(V>=0){ |
| |
L=["C","D","CF","CF'","DF","DF'","S","T1","T2","ST"]; |
| |
Inv=1;L=L[V]; |
| |
} |
| |
V=findin(L,["C","A","K","CF","CF'","S","T1","T2","ST","LL0","LL1","LL2","LL3","LL00", |
| |
"LL01","LL02","LL03"])+1; |
| |
if(V==0) V=findin(L,["D","B","K","DF","DF'"])+1; |
| |
if(V>0) L=V; |
| |
} |
| |
if(type(OL=L)!=4){ |
| |
if(L==2){ |
| |
L=(Pr==0)? |
| |
[[[1,2,1/20],[2,5,1/10],[5,10,1/5], [10,20,1/2],[20,50,1],[50,100,2]], |
| |
[[1,2,1/10],[2,5,1/2], [10,20,1],[20,50,5]], |
| |
[[1,2,1/2],[2,10,1], [10,20,5],[20,100,10]]]: |
| |
[[[1,2,1/50],[2,5,1/20],[5,10,1/10], [10,20,1/5],[20,50,1/2],[50,100,1]], |
| |
[[1,5,1/10],[5,10,1/2], [10,20,1],[50,100,5]], |
| |
[[1,5,1/2],[5,10,1], [10,50,5],[50,100,10]]]; |
| |
LS=2;M2=[[1,10,1],[10,100,10]]; |
| |
}else if(L==3){ |
| |
L=(Pr==0)? |
| |
[[[1,2,1/20],[2,5,1/10],[5,10,1/5], [10,20,1/2],[20,50,1],[50,100,2], |
| |
[100,200,5],[200,500,10],[500,1000,20]], |
| |
[[1,2,1/10],[2,5,1/2], [10,20,1],[20,50,5], [100,200,10],[200,500,50]], |
| |
[[1,2,1/2],[2,10,1], [10,20,5],[20,100,10], [100,200,50],[200,1000,100]]]: |
| |
[[[1,2,1/50],[2,5,1/20],[5,10,1/10],[10,20,1/5],[20,50,1/2],[50,100,1], |
| |
[100,200,2],[200,500,5],[500,1000,10]], |
| |
[[1,5,1/10],[5,10,1/2], [10,50,1],[50,100,5], [100,500,10],[500,1000,50]], |
| |
[[1,5,1/2],[5,10,1],[10,50,5],[50,100,10], [100,500,50],[500,1000,100]]]; |
| |
LS=3;M2=[[1,5,1],[10,50,10],[100,500,100],[500,1000,500]]; |
| |
}else if(L>9&&L<18){ |
| |
if(L<18){ /* LL0 - LL3, LL00 - LL03 */ |
| |
if(L==10){ |
| |
L=[ [[1.001,1.002,0.00001],[1.002,1.005,0.00002],[1.005,1.0105,0.00005]], |
| |
[[1.001,1.002,0.00005],[1.002,1.005,0.0001], [1.005,1.0105,0.0001]], |
| |
[[1.001,1.002,0.0001],[1.002,1.005,0.0005], [1.005,1.0105,0.0005]]]; |
| |
M2=[1.001,1.0015,1.002,1.003,1.004,1.005,1.006,1.007,1.008,1.009,1.01]; |
| |
} |
| |
if(L==11){ |
| |
L=[ [[1.01,1.02,0.0001],[1.02,1.05,0.0002],[1.05,1.105,0.0005]], |
| |
[[1.01,1.02,0.0005],[1.02,1.05,0.001], [1.05,1.105,0.001]], |
| |
[[1.01,1.02,0.001],[1.02,1.05,0.005], [1.05,1.105,0.005]]]; |
| |
M2=[1.01,1.015,1.02,1.03,1.04,1.05,1.06,1.07,1.08,1.09,1.10]; |
| |
}else if(L==12){ |
| |
L=[ [[1.105,1.2,0.001],[1.2,1.4,0.002],[1.4,1.8,0.005],[1.8,2.5,0.01], |
| |
[2.5,2.72,0.02]], |
| |
[[1.105,1.2,0.005],[1.2,1.4,0.01],[1.4,1.8,0.01],[1.8,2.5,0.05], |
| |
[2.5,2.72,0.1]], |
| |
[[1.105,1.2,0.01],[1.2,1.4,0.05],[1.4,1.8,0.05],[1.8,2.5,0.1], |
| |
[2.5,2.72,0.1]]]; |
| |
M2=[1.11,1.15,1.2,1.3,1.4,1.5,1.6,1.7,1.8,1.9,2.0,2.2,2.5]; |
| |
}else if(L==13){ |
| |
L=[ [[2.72,4,0.02],[4,6,0.05],[6,10,0.1],[10,15,0.2],[15,30,0.5],[30,50,1], |
| |
[50,100,2],[100,200,5],[200,400,10],[400,500,20],[500,1000,50], |
| |
[1000,2000,100],[2000,5000,200],[5000,10000,500],[10000,22000,1000]], |
| |
[[2.7,4,0.1],[4,6,0.1],[6,10,0.5],[10,15,1],[15,30,1],[30,50,5], |
| |
[50,100,10],[100,200,10],[200,400,50],[400,500,100],[500,1000,100], |
| |
[1000,2000,500],[2000,5000,1000],[5000,10000,1000],[10000,22000,5000]], |
| |
[[3,4,0.5],[4,6,0.5],[6,10,1],[10,15,5],[15,30,5],[30,50,10], |
| |
[50,100,50],[100,200,50],[200,400,100],[400,500,100],[500,1000,500], |
| |
[1000,2000,1000],[2000,5000,3000],[5000,10000,5000],[10000,22000,10000]]]; |
| |
M2=[3,4,5,6,7,8,9,10,15,20,30,40,50,100,200,500,1000,2000,5000,10000,20000]; |
| |
}else if(L==14){ |
| |
L=[ [[0.998,0.999,0.00001],[0.995,0.998,0.00002],[0.99,0.995,0.00005]], |
| |
[[0.998,0.999,0.00005],[0.995,0.998,0.0001],[0.99,0.995,0.0001]], |
| |
[[0.998,0.999,0.0001],[0.995,0.998,0.0005],[0.99,0.995,0.0005]]]; |
| |
M2=[0.999,0.9985,0.998,0.997,0.996,0.995,0.994,0.993,0.992,0.991,0.99]; |
| |
}else if(L==15){ |
| |
L=[ [[0.98,0.9901,0.0001],[0.95,0.98,0.0002],[0.905,0.95,0.0005]], |
| |
[[0.98,0.99,0.0005],[0.95,0.98,0.001], [0.905,0.95,0.001]], |
| |
[[0.98,0.99,0.001],[0.95,0.98,0.005], [0.91,0.95,0.005]]]; |
| |
M2=[0.99,0.985,0.98,0.97,0.96,0.95,0.94,0.93,0.92,0.91]; |
| |
}else if(L==16){ |
| |
L=[ [[0.8,0.906,0.001],[0.6,0.8,0.002],[0.37,0.6,0.005]], |
| |
[[0.8,0.906,0.005],[0.6,0.8,0.01],[0.37,0.6,0.01]], |
| |
[[0.8,0.9,0.01],[0.6,0.8,0.05],[0.4,0.6,0.05]]]; |
| |
M2=[0.9,0.85,0.8,0.75,0.7,0.65,0.6,0.55,0.5,0.45,0.4]; |
| |
}else{ |
| |
L=[ [[0.05,0.37,0.002],[0.02,0.05,0.001],[0.01,0.02,0.0005], |
| |
[0.005,0.01,0.0002],[0.001,0.005,0.0001], |
| |
[0.0005,0.001,0.00002],[0.0001,0.0005,0.00001],[0.00005,0.0001,0.000002]], |
| |
[[0.05,0.37,0.01],[0.02,0.05,0.002],[0.01,0.02,0.001], |
| |
[0.005,0.01,0.001],[0.001,0.005,0.0002], |
| |
[0.0005,0.001,0.0001],[0.0001,0.0005,0.00002],[0.00005,0.0001,0.00001]], |
| |
[[0.05,0.37,0.05],[0.02,0.05,0.01],[0.01,0.02,0.005], |
| |
[0.005,0.01,0.005],[0.002,0.005,0.001], |
| |
[0.0005,0.001,0.0005],[0.0001,0.0005,0.0001],[0.00005,0.0001,0.00005]]]; |
| |
M2=[0.3,0.2,0.1,0.05,0.03,0.02,0.01,0.005,0.002,0.001,0.0005,0.0002,0.0001]; |
| |
} |
| |
} |
| |
}else{ |
| |
if(L==6){ /* S */ |
| |
L=[ [[6-3/12,15,1/12],[15,30,1/6],[30,50,1/3],[50,70,1/2],[70,80,1],[80,90,5]], |
| |
[[6-1/6,15,1/6],[15,30,1/2],[30,70,1],[70,80,5],[80,90,10]], |
| |
[[6,15,1/2],[15,30,1],[30,70,5],[70,90,10]] ]; |
| |
M2=[6,7,8,9,10,15,20,30,40,50,60,70,90]; |
| |
}else if(L==7){ /* T1 */ |
| |
F=log(tan(x*3.1416/180))/Log10+1; |
| |
L=[ [[6-1/3,15,1/12],[15,45,1/6]], |
| |
[[6-1/3,15,1/6],[15,45,1/2]], |
| |
[[6,45,1]] ]; |
| |
M2=[6,7,8,9,10,15,20,30,40,45]; |
| |
}else if(L==8){ /* T2 */ |
| |
L=[ [[45,75,1/6],[75,84+1/6,1/12]], |
| |
[[45,75,1],[75,84+1/6,1/6]], |
| |
[[45,84,1]] ]; |
| |
M2=[45,50,60,70,75,80,81,82,83,84]; |
| |
}else if(L==9){ /* ST */ |
| |
L=[ [[35/60,1,1/120],[1,2,1/60],[2,5+9/12,1/30]], |
| |
[[35/60,1,1/60],[1,2,1/6],[2,5+9/12,1/6]], |
| |
[[40/60,1,1/6],[1,2,1/2],[2,5+9/12,1]] ]; |
| |
M2=[1,2,3,4,5]; |
| |
}else{ |
| |
M2=(L==4||L==5)?[[1,2,1/2],[2,9,1]]:[[1,2,1/2],[2,10,1]]; |
| |
L=(Pr==0)? |
| |
[ [[1,2,1/50],[2,5,1/20],[5,10,1/10]], |
| |
[[1,5,1/10],[5,10,1/2]], |
| |
[[1,5,1/2],[5,10,1]] ]: |
| |
[[[1,2,1/100],[2,5,1/50],[5,10,1/20]], |
| |
[[1,2,1/20],[2,10,1/10]], |
| |
[[1,2,1/10],[2,10,1/2]] ]; |
| |
} |
| |
} |
| |
}else if(type(L[0])!=4){ |
| |
L=[L]; |
| |
if(length(L)!=3||L[0]+L[2]>L[1]) T=L; |
| |
} |
| |
if(T==0){ |
| |
if(type(L[0][0])!=4) L=[L]; |
| |
for(R=[];L!=[];L=cdr(L)){ |
| |
for(RR=[],LT=car(L);LT!=[];LT=cdr(LT)) |
| |
for(I=car(LT)[0];I<=car(LT)[1];I+=car(LT)[2]) RR=cons(I,RR); |
| |
RR=lsort(RR,[],1); |
| |
R=cons(RR,R); |
| |
} |
| |
R=reverse(R); |
| |
for(T=[];R!=[];R=cdr(R)){ |
| |
if(length(R)>1) T=cons(lsort(R[0],R[1],"setminus"),T); |
| |
else T=cons(R[0],T); |
| |
} |
| |
} |
| |
V0=dlog(10); |
| |
S0=S1=1;D0=D1=0; |
| |
SC=getopt(scale); |
| |
if(type(SC)==4){ |
| |
S0=SC[0];S1=SC[1]; |
| |
}else if(type(SC)==1){ |
| |
S0=SC;S1=0; |
| |
}else return T; |
| |
if(type(D=getopt(shift))==4){ |
| |
D0=D[0];D1=D[1]; |
| |
}else if(type(D)<2&&type(D)>=0){ |
| |
D0=0;D1=D; |
| |
}; |
| |
if(Inv==1){ |
| |
D0+=S0;S0=-S0; |
| |
} |
| |
if(type(TF=getopt(f))>1) F=TF; |
| |
if(F) F=f2df(F); |
| |
if(type(I=getopt(ol))==1&&OL>3) OL=I; |
| |
for(M=M0=[],I=length(T);T!=[];T=cdr(T),I--){ |
| |
for(S=car(T);S!=[];S=cdr(S)){ |
| |
VS=car(S); |
| |
if(F) V=myfdeval(F,car(S)); |
| |
else if(OL==4) V=frac(dlog(VS)/Log10+0.5); |
| |
else if(OL==5) V=frac(dlog(VS*3.1416)/Log10); |
| |
else if(OL>5&&OL<10){ |
| |
VS=VS*3.1416/180; |
| |
if(OL==6) V=dlog(dsin(VS))/Log10+1; |
| |
else if(OL==9) V=dlog(VS)/Log10+2; |
| |
else V=dlog(dtan(VS))/Log10+8-OL; |
| |
} |
| |
else if(OL>9&&OL<14) V=dlog(dlog(VS))/Log10+13-OL; |
| |
else if(OL>13&&OL<18) V=dlog(-dlog(VS))/Log10+17-OL; |
| |
else V=dlog(VS)/Log10/LS; |
| |
V*=S0; |
| |
if(S1!=0){ |
| |
M=cons([V+D0,D1],M); |
| |
M=cons([V+D0,((length(SC)>2)?SC[I]:(I*S1))+D1],M); |
| |
M=cons(0,M); |
| |
}else M0=cons(V+D0,M0); |
| |
} |
| |
if(S1==0) M=cons(reverse(M0),M); |
| |
} |
| |
if(S1!=0) M=cdr(M); |
| |
if(S1==0||getopt(TeX)!=1) return M; |
| |
M=reverse(M); |
| |
if(type(U=getopt(line))==4){ |
| |
if(Inv==1) U=[U[0]+S0,U[1]+S0]; |
| |
M=cons([U[0]+D0,D1],cons([U[1]+D0,D1],cons(0,M))); |
| |
} |
| |
if((VT=getopt(vert))==1){ |
| |
for(N=[];M!=[];M=cdr(M)){ |
| |
if(type(TM=car(M))==4) N=cons([TM[1],TM[0]],N); |
| |
else N=cons(TM,N); |
| |
} |
| |
M=reverse(N); |
| |
} |
| |
if(type(Col=getopt(col))<1) S=xylines(M); |
| |
else S=xylines(M|opt=Col); |
| |
if(type(Mes=getopt(mes))==4){ |
| |
if(length(Mes)==1&&type(M2)==4) Mes=cons(car(Mes),M2); |
| |
S3=car(Mes); |
| |
if(type(S3)==4){ |
| |
Col=S3[1]; |
| |
S3=car(S3); |
| |
}else Col=0; |
| |
V=car(scale(cdr(Mes))); |
| |
if(!F) Mes=scale(cdr(Mes)|scale=[S0/LS,0],shift=[D0,D1],ol=OL); |
| |
else Mes=scale(cdr(Mes)|f=F,scale=[S0,0],shift=[D0,D1]); |
| |
for(M=car(Mes);M!=[];M=cdr(M),V=cdr(V)){ |
| |
TV=deval(car(V)); |
| |
if(Col!=0) TV=[Col,TV]; |
| |
S+=(VT==1)?xyput([S3+D1,car(M),TV]):xyput([car(M),S3+D1,TV]); |
| |
} |
| |
} |
| |
if(type(Mes=getopt(mes2))==4){ |
| |
if(type(car(Mes))!=4) Mes=[Mes]; |
| |
for(;Mes!=[];Mes=cdr(Mes)){ |
| |
TM=car(Mes); |
| |
if(!F) V=scale([car(TM)]|scale=[S0/LS,0],shift=[D0,D1],ol=OL); |
| |
else V=scale([car(TM)]|f=F,scale=[S0,0],shift=[D0,D1]); |
| |
V=car(car(V)); |
| |
TM=cdr(TM); |
| |
if(type(Col=car(TM))==4){ |
| |
C0=Col[0];C1=Col[1]; |
| |
if(length(Col)==3){ |
| |
S+=(VT==1)?xyline([D1+C0,V],[D1+C1,V]|opt=Col[2]) |
| |
:xyline([V,D1+C0],[V,D1+C1]|opt=Col[2]); |
| |
}else S+=(VT==1)?xyline([D1+C0,V],[D1+C1,V]):xyline([V,D1+C0],[V,D1+C1]); |
| |
} |
| |
if(type(TM[1]<2)){ |
| |
TM=cdr(TM); |
| |
S3=car(TM); |
| |
} |
| |
S+=(VT==1)?xyput([S3+D1,V,TM[1]]):xyput([V,S3+D1,TM[1]]); |
| |
} |
| |
} |
| |
return S; |
| |
} |
| |
|
| def pluspower(P,V,N,M) |
def pluspower(P,V,N,M) |
| { |
{ |
| RR = 1; |
RR = 1; |
| Line 1413 def mtoupper(MM, F) |
|
| Line 1698 def mtoupper(MM, F) |
|
| if(type(St = getopt(step))!=1) St=0; |
if(type(St = getopt(step))!=1) St=0; |
| Opt = getopt(opt); |
Opt = getopt(opt); |
| if(type(Opt)!=1) Opt=0; |
if(type(Opt)!=1) Opt=0; |
| |
if(type(Main=getopt(main))!=1) Main=0; |
| TeX=getopt(dviout); |
TeX=getopt(dviout); |
| if(type(Tab=getopt(tab))!=1 && Tab!=0) Tab=2; |
if(type(Tab=getopt(tab))!=1 && Tab!=0) Tab=2; |
| Line="\\text{line}"; |
Line="\\text{line}"; |
| Line 1443 def mtoupper(MM, F) |
|
| Line 1729 def mtoupper(MM, F) |
|
| Top+=(TeX)?"\\ ":" "; |
Top+=(TeX)?"\\ ":" "; |
| } |
} |
| PC=IF=1; |
PC=IF=1; |
| |
if(Opt>3){ |
| |
for(P=[1],K=0;K<Size[1]-F;K++){ |
| |
for(J=0;J<Size[0];J++) |
| |
if(type(dn(M[J][K]))==2) P=cons(dn(M[J][K]),P); |
| |
} |
| |
PC=llcm(P|poly=1); |
| |
} |
| for(K = JJ = 0; K < Size[1] - F; K++){ |
for(K = JJ = 0; K < Size[1] - F; K++){ |
| for(J = JJ; J < Size[0]; J++){ |
for(J = JJ; J < Size[0]; J++){ |
| if(M[J][K] != 0){ /* search simpler element */ |
if(M[J][K] != 0){ /* search simpler element */ |
| Line 1523 def mtoupper(MM, F) |
|
| Line 1816 def mtoupper(MM, F) |
|
| KRC=-KRC;Sgn=1; |
KRC=-KRC;Sgn=1; |
| }else |
}else |
| Sgn=0; |
Sgn=0; |
| if(St){ |
if(St&&!Main){ |
| if(TeX){ |
if(TeX){ |
| if(KRC==1) |
if(KRC==1) |
| Lout=cons([Top+"\\xrightarrow{", Line,KJ0+1,TeXs[Sgn], |
Lout=cons([Top+"\\xrightarrow{", Line,KJ0+1,TeXs[Sgn], |
| Line 1548 def mtoupper(MM, F) |
|
| Line 1841 def mtoupper(MM, F) |
|
| } |
} |
| /* a parameter Var */ |
/* a parameter Var */ |
| Var=0; |
Var=0; |
| |
/* mycat(["start",J,K]); */ |
| if(St && Opt>4 && length(Var=vars(nm(M[J][K])))==1){ |
if(St && Opt>4 && length(Var=vars(nm(M[J][K])))==1){ |
| J0=J;Jv=mydeg(nm(M[J0][K]),car(Var)); |
J0=J;Jv=mydeg(nm(M[J0][K]),car(Var)); |
| for(I=JJ;I<Size[0]; I++){ |
for(I=JJ;I<Size[0]; I++){ |
| Line 1557 def mtoupper(MM, F) |
|
| Line 1851 def mtoupper(MM, F) |
|
| } |
} |
| if(length(T)>1) continue; |
if(length(T)>1) continue; |
| if(mydeg(MIK,T[0])<Jv){ |
if(mydeg(MIK,T[0])<Jv){ |
| J0=I;Jv=mydeg(MIK);Var=T; /* search minimal degree */ |
J0=I;Jv=mydeg(MIK,T[0]);Var=T; /* search minimal degree */ |
| } |
} |
| } |
} |
| if(length(Var)==1){ |
if(length(Var)==1){ |
| Var=car(Var); |
Var=car(Var); |
| Q=nm(M[J0][K]); |
Q=nm(M[J0][K]); |
| |
/* mycat(["min",Q,M[J0][K],"J0=",J0,"J=",J,"JJ=",JJ,K,M]); */ |
| |
J=J0; |
| for(I=JJ; I<Size[0]; I++){ |
for(I=JJ; I<Size[0]; I++){ |
| if(I==J0 || mydeg(nm(M[I][K]),Var)<0) continue; |
if(I==J0 || mydeg(nm(M[I][K]),Var)<0) continue; |
| T=rpdiv(nm(M[I][K]),Q,Var); |
T=rpdiv(nm(M[I][K]),Q,Var); |
| Line 1573 def mtoupper(MM, F) |
|
| Line 1869 def mtoupper(MM, F) |
|
| if(type(Var)==2){ /* 1 variable */ |
if(type(Var)==2){ /* 1 variable */ |
| if(I==Size[0]){ |
if(I==Size[0]){ |
| for(QF=0,Q0=1,QR=getroot(Q,Var|mult=1);QR!=[];QR=cdr(QR)){ |
for(QF=0,Q0=1,QR=getroot(Q,Var|mult=1);QR!=[];QR=cdr(QR)){ |
| |
/* mycat(["root",Q,QR,PC]); */ |
| if(deg(T=QR[0][1],Var)>0){ |
if(deg(T=QR[0][1],Var)>0){ |
| QF=1;Q0*=T; continue; |
QF=1;Q0*=T; continue; |
| } |
} |
| Line 1583 def mtoupper(MM, F) |
|
| Line 1880 def mtoupper(MM, F) |
|
| if(TeX){ |
if(TeX){ |
| Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
| Var,"=",T,","] ,Lout); |
Var,"=",T,","] ,Lout); |
| Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab),Lout); |
Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab,main=Main),Lout); |
| }else{ |
}else{ |
| mycat([str_times(" ",St-1)+"If",Var,"=",T,","]); |
mycat([str_times(" ",St-1)+"If",Var,"=",T,","]); |
| mtoupper(M0,F|step=St+1,opt=Opt); |
mtoupper(M0,F|step=St+1,opt=Opt,main=Main); |
| } |
} |
| } |
} |
| } |
} |
| Line 1603 def mtoupper(MM, F) |
|
| Line 1900 def mtoupper(MM, F) |
|
| KRC=-red((T[2]*dn(M[J0][K]))/(T[1]*dn(M[I][K]))); |
KRC=-red((T[2]*dn(M[J0][K]))/(T[1]*dn(M[I][K]))); |
| for(II=K;II<Size[1];II++) |
for(II=K;II<Size[1];II++) |
| M[I][II]=radd(M[I][II],rmul(M[J0][II],KRC)); |
M[I][II]=radd(M[I][II],rmul(M[J0][II],KRC)); |
| if(TeX) |
if(!Main){ |
| Lout=cons([Top+"\\xrightarrow{", Line,I+1,"\\ +=\\ ",Line, |
if(TeX) |
| J0+1,"\\times\\left(",KRC,"\\right)}",dupmat(M)],Lout); |
Lout=cons([Top+"\\xrightarrow{", Line,I+1,"\\ +=\\ ",Line, |
| else |
J0+1,"\\times\\left(",KRC,"\\right)}",dupmat(M)],Lout); |
| mycat([Top+"line",I+1,"+=",Line,J0+1," * (",KRC,")\n",M,"\n"]); |
else |
| |
mycat([Top+"line",I+1,"+=",Line,J0+1," * (",KRC,")\n",M,"\n"]); |
| |
} |
| J=JJ-1; |
J=JJ-1; |
| continue; |
continue; |
| } |
} |
| Line 1642 def mtoupper(MM, F) |
|
| Line 1941 def mtoupper(MM, F) |
|
| if(TeX){ |
if(TeX){ |
| Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
| X,"=",T,","] ,Lout); |
X,"=",T,","] ,Lout); |
| Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab), |
Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab,main=Main), |
| Lout); |
Lout); |
| }else{ |
}else{ |
| mycat([str_times(" ",St-1)+"If",X,"=",T,","]); |
mycat([str_times(" ",St-1)+"If",X,"=",T,","]); |
| mtoupper(M0,F|step=St+1,opt=Opt); |
mtoupper(M0,F|step=St+1,opt=Opt,main=Main); |
| } |
} |
| break; |
break; |
| } |
} |
| Line 1673 def mtoupper(MM, F) |
|
| Line 1972 def mtoupper(MM, F) |
|
| if(TeX){ |
if(TeX){ |
| Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
Lout=cons(["\\hspace{",Tab*(St-3)-1,"mm}\\text{If }", |
| X0,"=",T0,","] ,Lout); |
X0,"=",T0,","] ,Lout); |
| Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab), |
Lout=append(mtoupper(M0,F|step=St+1,opt=Opt,dviout=-2,tab=Tab,main=Main), |
| Lout); |
Lout); |
| }else{ |
}else{ |
| mycat([str_times(" ",St-1)+"If",X0,"=",T0,","]); |
mycat([str_times(" ",St-1)+"If",X0,"=",T0,","]); |
| mtoupper(M0,F|step=St+1,opt=Opt); |
mtoupper(M0,F|step=St+1,opt=Opt,main=Main); |
| } |
} |
| } |
} |
| |
|
| Line 1721 def mtoupper(MM, F) |
|
| Line 2020 def mtoupper(MM, F) |
|
| for(I = K+1; I < Size[1]; I++) |
for(I = K+1; I < Size[1]; I++) |
| M[J][I] = radd(M[J][I],rmul(M[JJ][I],Mul)); |
M[J][I] = radd(M[J][I],rmul(M[JJ][I],Mul)); |
| M[J][K] = 0; |
M[J][K] = 0; |
| if(St){ |
if(St&&!Main){ |
| if(Mul<0){ |
if(Mul<0){ |
| Mul=-Mul;Sgn=0; |
Mul=-Mul;Sgn=0; |
| }else Sgn=1; |
}else Sgn=1; |
| Line 3060 def llbase(VV,L) |
|
| Line 3359 def llbase(VV,L) |
|
| return V; |
return V; |
| } |
} |
| |
|
| |
def rsort(L,T,K) |
| |
{ |
| |
for(R=[];L!=[];L=cdr(L)) |
| |
R=cons((type(car(L))==4)?rsort(car(L),T-1,K):car(L),R); |
| |
if(T>0||iand(T,iand(K,2)/2)) return reverse(R); |
| |
R=qsort(R); |
| |
return (iand(K,1))? reverse(R):R; |
| |
} |
| |
|
| |
|
| def lsort(L1,L2,T) |
def lsort(L1,L2,T) |
| { |
{ |
| C1=getopt(c1);C2=getopt(c2); |
C1=getopt(c1);C2=getopt(c2); |
| Line 3164 def lsort(L1,L2,T) |
|
| Line 3473 def lsort(L1,L2,T) |
|
| }else if(L2=="transpose") return mtranspose(L1); |
}else if(L2=="transpose") return mtranspose(L1); |
| else if(L2=="subst"||L2=="adjust"){ |
else if(L2=="subst"||L2=="adjust"){ |
| Null=(!K)?"":car(K); |
Null=(!K)?"":car(K); |
| if(L2=="adjust) C1=[]; |
if(L2=="adjust") C1=[]; |
| R=lv2m(L1|null=""); |
R=lv2m(L1|null=""); |
| for(;C1!=[];C1=cdr(C1)) R[car(C1)[0]][car(C1)[1]]=car(C1)[2]; |
for(;C1!=[];C1=cdr(C1)) R[car(C1)[0]][car(C1)[1]]=car(C1)[2]; |
| return m2ll(R); |
return m2ll(R); |
| Line 3276 def lsort(L1,L2,T) |
|
| Line 3585 def lsort(L1,L2,T) |
|
| } |
} |
| return reverse(R); |
return reverse(R); |
| } |
} |
| |
if(T==10||TT=="cmp"){ |
| |
if(length(L1)!=length(L2)){ |
| |
mycat("Different length!"); |
| |
return 1; |
| |
} |
| |
R=[]; |
| |
if(type(car(L1))==4){ |
| |
for(U=[],I=0;L1!=[];I++,L1=cdr(L1),L2=cdr(L2)){ |
| |
if(length(S=car(L1))!=length(T=car(L2))){ |
| |
mycat(["Different size : line ",I]); |
| |
return 0; |
| |
} |
| |
for(J=0;S!=[];S=cdr(S),T=cdr(T),J++) |
| |
if(car(S)!=car(T)) U=cons([[I,J],car(S),car(T)],U); |
| |
} |
| |
if(U!=[]) R=cons(reverse(U),R); |
| |
}else{ |
| |
for(I=0;L1!=[];L1=cdr(L1),L2=cdr(L2),I++) |
| |
if(car(L1)!=car(L2)) R=cons([I,car(L1),car(L2)],R); |
| |
} |
| |
return reverse(R); |
| |
} |
| |
if(T==11||TT=="append"){ |
| |
if(type(car(L1))!=4) return append(L1,L2); |
| |
for(R=[];L1!=[];L1=cdr(L1),L2=cdr(L2)) |
| |
R=cons(append(car(L1),car(L2)),R); |
| |
return reverse(R); |
| |
} |
| if(T == 1 || T == 2){ |
if(T == 1 || T == 2){ |
| L1 = lsort(L1,[],1); |
L1 = lsort(L1,[],1); |
| L2 = lsort(L2,[],1); |
L2 = lsort(L2,[],1); |
|
|
| return qsort(L,os_md.mqsub); |
return qsort(L,os_md.mqsub); |
| } |
} |
| |
|
| |
def lpair(A,B) |
| |
{ |
| |
if(B==0){ |
| |
for(S=T=[];A!=[];A=cdr(A)){ |
| |
S=cons(car(A)[0],S);T=cons(car(A)[1],T); |
| |
} |
| |
return [reverse(S),reverse(T)]; |
| |
}else{ |
| |
for(R=[];A!=[];A=cdr(A),B=cdr(B)) |
| |
R=cons([car(A),car(B)],R); |
| |
return reverse(R); |
| |
} |
| |
} |
| |
|
| def lmax(L) |
def lmax(L) |
| { |
{ |
| if(type(L)==4){ |
if(type(L)==4){ |
| Line 3514 def lnsol(VV,L) |
|
| Line 3865 def lnsol(VV,L) |
|
| |
|
| def ladd(X,Y,M) |
def ladd(X,Y,M) |
| { |
{ |
| if(type(X)==4) X=ltov(X); |
|
| if(type(Y)==4) Y=ltov(Y); |
if(type(Y)==4) Y=ltov(Y); |
| |
if(type(X)==4) X=ltov(X); |
| return vtol(X+M*Y); |
return vtol(X+M*Y); |
| } |
} |
| |
|
| def mrot(X) |
def mrot(X) |
| { |
{ |
| |
if(type(X)==4){ |
| |
if(getopt(deg)==1) |
| |
X=[deval(@pi*X[0]/180),deval(@pi*X[1]/180),deval(@pi*X[2]/180)]; |
| |
if(getopt(conj)==1) |
| |
return mrot([-X[2],-X[1],0])*mrot([X[0],X[1],X[2]]); |
| |
if(X[1]==0){ |
| |
X=[X[0]+X[2],0,0]; |
| |
if(X[0]==0) return diagm(3,[1]); |
| |
} |
| |
if(X[0]!=0){ |
| |
M=mat([dcos(X[0]),-dsin(X[0]),0],[dsin(X[0]),dcos(X[0]),0],[0,0,1]); |
| |
if(X[1]==0) return M; |
| |
} |
| |
N=mat([dcos(X[1]),0,-dsin(X[1])],[0,1,0],[dsin(X[1]),0,dcos(X[1])]); |
| |
if(X[0]!=0) N=M*N; |
| |
if(X[2]==0) return N; |
| |
return N*mrot([X[2],0,0]); |
| |
} |
| if(getopt(deg)==1) X=@pi*X/180; |
if(getopt(deg)==1) X=@pi*X/180; |
| X=deval(X); |
X=deval(X); |
| return mat([dcos(X),dsin(X)],[-dsin(X),dcos(X)]); |
return mat([dcos(X),-dsin(X)],[dsin(X),dcos(X)]); |
| } |
} |
| |
|
| def m2v(M) |
def m2v(M) |
| Line 4617 def myswap(P,L) |
|
| Line 4986 def myswap(P,L) |
|
| def mysubst(P,L) |
def mysubst(P,L) |
| { |
{ |
| if(P==0) return 0; |
if(P==0) return 0; |
| |
if(getopt(lpair)==1||(type(L[0])==4&&length(L[0])>2)) L=lpair(L[0],L[1]); |
| Inv=getopt(inv); |
Inv=getopt(inv); |
| if(type(L[0]) == 4){ |
if(type(L[0]) == 4){ |
| while((L0 = car(L))!=[]){ |
while((L0 = car(L))!=[]){ |
| Line 4812 def muldo(P,Q,L) |
|
| Line 5182 def muldo(P,Q,L) |
|
| def jacobian(F,X) |
def jacobian(F,X) |
| { |
{ |
| F=ltov(F);X=ltov(X); |
F=ltov(F);X=ltov(X); |
| N=length(F); |
N=length(F);L=length(X); |
| M=newmat(N,N); |
M=newmat(N,L); |
| for(I=0;I<N;I++) |
for(I=0;I<N;I++) |
| for(J=0;J<N;J++) M[I][J]=red(diff(F[I],X[J])); |
for(J=0;J<L;J++) M[I][J]=red(diff(F[I],X[J])); |
| if(getopt(mat)==1) return M; |
if(N!=L||getopt(mat)==1) return M; |
| return mydet(M); |
return mydet(M); |
| } |
} |
| |
|
| Line 5177 def texbegin(T,S) |
|
| Line 5547 def texbegin(T,S) |
|
| { |
{ |
| if(type(Opt=getopt(opt))==7) Opt="["+Opt+"]\n"; |
if(type(Opt=getopt(opt))==7) Opt="["+Opt+"]\n"; |
| else Opt="\n"; |
else Opt="\n"; |
| return "\\begin{"+T+"}"+Opt+S+"%\n\\end{"+T+"}\n"; |
U=(str_chr(S,str_len(S)-1,"\n")<0)?"%\n":""; |
| |
return "\\begin{"+T+"}"+Opt+S+U+"\\end{"+T+"}\n"; |
| } |
} |
| |
|
| def mygcd(P,Q,L) |
def mygcd(P,Q,L) |
| Line 5669 def pol2sft(F,A) |
|
| Line 6040 def pol2sft(F,A) |
|
| |
|
| def binom(P,N) |
def binom(P,N) |
| { |
{ |
| if(type(N)!=1 || N<0) return 1; |
if(type(N)!=1 || N<=0) return 1; |
| for(S=1;N>0;N--,P-=1) S*=P/N; |
for(S=1;N>0;N--,P-=1) S*=P/N; |
| return red(S); |
return red(S); |
| } |
} |
| Line 5685 def expower(P,R,N) |
|
| Line 6056 def expower(P,R,N) |
|
| |
|
| def seriesHG(A,B,X,N) |
def seriesHG(A,B,X,N) |
| { |
{ |
| |
if(N==0) return 1; |
| if(type(N)!=1 || N<0) return 0; |
if(type(N)!=1 || N<0) return 0; |
| if(type(X)<4){ |
if(type(X)<4){ |
| for(K=0,S=S0=1;K<N;K++){ |
for(K=0,S=S0=1;K<N;K++){ |
|
|
| Opt=[]; |
Opt=[]; |
| }else if(length(Opt)==2 && type(Opt[0])!=4) Opt=[Opt]; |
}else if(length(Opt)==2 && type(Opt[0])!=4) Opt=[Opt]; |
| for(;;){ |
for(;;){ |
| G=mysubst(F,[[sin(0),0],[tan(0),0],[asin(0),0],[atan(0),0],[sinh(0),0],[tanh(0),0], |
G=mysubst(F,[[tan(0),0],[asin(0),0],[atan(0),0],[sinh(0),0],[tanh(0),0], |
| [log(1),0],[cos(0),1],[cosh(0),1],[exp(0),1]]); |
[log(1),0],[cosh(0),1],[exp(0),1]]); |
| for(Rep=Opt; Rep!=[]; Rep=cdr(Rep)) |
for(Rep=Opt; Rep!=[]; Rep=cdr(Rep)) |
| G=subst(G,car(Rep)[0],car(Rep)[1]); |
G=subst(G,car(Rep)[0],car(Rep)[1]); |
| Var=vars(G); |
Var=vars(G); |
| for(V=Var; V!=[]; V=cdr(V)){ |
for(V=Var; V!=[]; V=cdr(V)){ |
| if(functor(car(V))!=pow || (P=args(car(V))[0])!=1) continue; |
if(!(VV=args(CV=car(V)))) continue; |
| G=subst(G,car(V),1); |
if((functor(CV)==sin||functor(CV)==cos)){ |
| |
P=2*red(VV[0]/@pi); |
| |
if(functor(CV)==sin) P=1-P; |
| |
if(isint(P)){ |
| |
if(iand(P,1)) G=subst(G,CV,0); |
| |
else if(!iand(P,3)) G=subst(G,CV,1); |
| |
else G=subst(G,CV,-1); |
| |
continue; |
| |
} |
| |
if(isint(P*=3/2)){ |
| |
if(iand(P,3)==1) G=subst(G,CV,1/2); |
| |
else G=subst(G,CV,-1/2); |
| |
} |
| |
} |
| |
for(;VV!=[];VV=cdr(VV)) |
| |
if(car(VV)!=(TV=evalred(car(VV)))) G=subst(G,car(VV),TV); |
| |
if(functor(CV)!=pow || (args(CV)[0])!=1) continue; |
| |
G=subst(G,CV,1); |
| } |
} |
| if(G==F) return F; |
if(G==F) return F; |
| F=G; |
F=G; |
| Line 5801 def seriesTaylor(F,N,V) |
|
| Line 6190 def seriesTaylor(F,N,V) |
|
| return F; |
return F; |
| } |
} |
| |
|
| |
def mulpolyMod(P,Q,X,N) |
| |
{ |
| |
Red=(type(P)>2||type(Q)>2)?1:0; |
| |
for(I=R=0;I<=N;I++){ |
| |
P0=mycoef(P,I,X); |
| |
for(J=0;J<=N-I;J++){ |
| |
R+=P0*mycoef(Q,J,X)*X^(I+J); |
| |
if(Red) R=red(R); |
| |
} |
| |
} |
| |
return R; |
| |
} |
| |
|
| |
def solveEq(L,V) |
| |
{ |
| |
Inv=0;K=length(V); |
| |
H=(getopt(h)==1)?1:0; |
| |
if(getopt(inv)==1){ |
| |
if(K!=length(L)) return -5; |
| |
Inv=1; |
| |
VN=makenewv(vars(L)|num=K); |
| |
for(TL=[],I=K-1;I>=0;I--) TL=cons(VN[I]-L[I],TL); |
| |
S=solveEq(TL,V|h=H); |
| |
if(type(S)!=4) return S; |
| |
return mysubst(S,[VN,V]|lpair=1); |
| |
} |
| |
for(TL=[];L!=[];L=cdr(L)) TL=cons(nm(red(car(L))),TL); |
| |
S=gr(TL,reverse(V),2); |
| |
if(length(S)!=K) return -1; |
| |
for(R=[],I=F=0;I<K;I++){ |
| |
TS=S[I]; |
| |
VI=lsort(vars(TS),V,2); |
| |
if(length(VI)!=1) return -2; |
| |
if((VI=car(VI))!=V[I]) return -3; |
| |
if(mydeg(TS,VI)!=1){ |
| |
F=1;R=cons([VI,TS],R); |
| |
}else R=cons(-red(mycoef(TS,0,VI)/mycoef(TS,1,VI)),R); |
| |
} |
| |
R=reverse(R); |
| |
if(!F||H==1) return R; |
| |
return -4; |
| |
} |
| |
|
| |
/* Opt: f, var, ord, to, in, TeX */ |
| |
def baseODE(L) |
| |
{ |
| |
SV=SVORG; |
| |
if(type(TeX=getopt(TeX))!=1) TeX=0; |
| |
if(type(F=getopt(f))!=1) F=0; |
| |
if(isint(In=getopt(in))!=1) In=0; |
| |
if(type(Ord=getopt(ord))!=1&&Ord!=0) Ord=2; |
| |
if(Ord>3){ |
| |
Ord-=4; Hgr=1; |
| |
}else Hgr=0; |
| |
if(type(car(L))==4&&type(L[1])==7){ |
| |
Tt=L[1];L=car(L); |
| |
} |
| |
M=N=length(L); SV=SVORG; |
| |
if(type(Var=getopt(var))==4&&(In>0||length(Var)==N)){ |
| |
SV=Var; |
| |
M=length(SV); |
| |
if(type(car(SV))==2){ |
| |
for(R=[];SV!=[];SV=cdr(SV)) R=cons(rtostr(car(SV)),R); |
| |
SV=reverse(R); |
| |
} |
| |
}else{ |
| |
if(N>10){ |
| |
R=[]; |
| |
for(K=M-1;K>9;K++) R=cons(SV[floor(K/10)-1]+SV[K%10],R); |
| |
SV=append(SV,R); |
| |
} |
| |
for(Var=[],I=M-1;I>=0;I--) Var=cons(makev([SV[I]]),Var); |
| |
} |
| |
if(type(To=getopt(to))<2||type(To)>4) To=0; |
| |
else if(!isvar(To)){ |
| |
if(type(To)!=4) To=cons(red(To),cdr(Var)); |
| |
if(type(To)==4){ |
| |
if(type(car(To))==4){ |
| |
R=1;To=car(To); |
| |
}else R=0; |
| |
if(type(IL=solveEq(To,Var|inv=1))!=4) return -7; |
| |
if(R==1){ |
| |
R=To;To=IL;IL=R; |
| |
} |
| |
L=mulsubst(L,[Var,IL]|lpair=1); |
| |
if(!In){ /* X_i'=\sum_j(\p_{x_j}X_i)*x_j' */ |
| |
for(TL=[],I=M-1;I>=0;I--){ |
| |
P=To[I];Q=mydiff(P,t); |
| |
for(J=0;J<M;J++) Q=red(Q+mydiff(P,Var[J])*L[J]); |
| |
TL=cons(Q,TL); |
| |
} |
| |
L=TL; |
| |
}else{ /* x_i'=\sum_j(\p_{X_j}x_i)*X_j' */ |
| |
for(I=M-1;I>=0;I--){ |
| |
P=IL[I];Q=mydiff(P,t); |
| |
for(J=0;J<M;J++){ |
| |
V=makev([SV[J],1]); |
| |
Q=red(Q+mydiff(P,V)*V); |
| |
} |
| |
L=mysubst(L,[makev([SV[I],1]),TL[I]]); |
| |
} |
| |
for(TL=L,L=[],I=M-1;I>=0;I--) L=cons(num(TL[I]),L); |
| |
} |
| |
} |
| |
} |
| |
if(F==-3) return [Var,L]; |
| |
for(I=0;I<M;I++) L=subst(L,Var[I], makev([SV[I],0])); |
| |
if(TeX){ |
| |
for(TL=L,I=0;I<M;I++) |
| |
TL=subst(TL,makev([SV[I],0]),Var[I]); |
| |
for(I=0;I<N;I++){ |
| |
if(I) S0+=",\\\\\n"; |
| |
if(In) S0+=" "+my_tex_form(TL[I])+"=0"; |
| |
else S0+=" "+SV[I]+"'\\!\\!\\! &= "+my_tex_form(TL[I]); |
| |
} |
| |
S0+=".\n"; |
| |
S0=texbegin("cases", S0); |
| |
S0=texbegin("align",S0); |
| |
if(type(Tt)==7) S0=Tt+"\n"+S0; |
| |
if(F<0){ |
| |
if(TeX==2) dviout(S0); |
| |
return S0; |
| |
} |
| |
} |
| |
for(I=0,TL=[];L!=[];L=cdr(L),I++){ |
| |
T=car(L); |
| |
if(!In) T=makev([SV[I],1])-T; |
| |
TL=cons(nm(red(T)),TL); |
| |
} |
| |
if(isvar(To)){ |
| |
T=rtostr(T); |
| |
IT=findin(T,SV); |
| |
if(IT>=0 && IT<M){ |
| |
R=[SV[IT]]; |
| |
for(J=0;SV!=[];SV=cdr(SV),J++){ |
| |
if(J==IT) continue; |
| |
R=cons(car(SV),R); |
| |
} |
| |
SV=reverse(R); |
| |
}else{ |
| |
IT=0; |
| |
mycat(["Cannot find variable", T, "!\n"]); |
| |
} |
| |
} |
| |
for(S=1;S<M;S++){ |
| |
L=append(TL,L); |
| |
TL=reverse(TL); |
| |
for(RL=[];TL!=[];TL=cdr(TL)){ |
| |
if(In==0&&S==N-1&&length(TL)!=N-IT) continue; |
| |
T=car(TL);R=mydiff(V,t); |
| |
for(I=0;I<M;I++){ |
| |
for(J=0;J<=S;J++){ |
| |
V=makev([SV[I],J]|num=1); |
| |
if((DR=mydiff(T,V))!=0) R+=DR*makev([SV[I],J+1]|num=1); |
| |
} |
| |
} |
| |
RL=cons(R,RL); |
| |
} |
| |
TL=RL; |
| |
} |
| |
L=append(TL,L); |
| |
for(I=0;I<M;I++) L=subst(L,Var[I],makev([SV[I]])); |
| |
for(V=VV=[],I=0;I<M;I++){ |
| |
for(J=0;J<M;J++) V=cons(J?makev([SV[I],J]):makev([SV[I]]),V); |
| |
if(!I||In) V=cons(makev([SV[0],M]),V); |
| |
if(F==-2){ |
| |
VV=cons(V,VV); |
| |
V=[]; |
| |
} |
| |
} |
| |
if(F>=0&&!chkfun("gr",0)){ |
| |
mycat("load(\"gr\"); /* <- do! */\n"); |
| |
F=-1; |
| |
} |
| |
if(F==-2) return [VV,L]; |
| |
if(F<0) return [V,L]; |
| |
LL=(Hgr==1)?hgr(L,V,Ord):gr(L,V,Ord); |
| |
if(F==2) return [V,L,LL]; |
| |
if(Ord==2) P=LL[0]; |
| |
else{ |
| |
P=LL[length(LL)-1]; |
| |
for(RV=reverse(V), I=0;I<M+1;I++) RV=cdr(RV); |
| |
if(lsort(vars(P),RV,2)!=[]){ |
| |
LL=tolex_tl(LL,V,Ord,V,2);P=LL[0]; |
| |
} |
| |
} |
| |
V0=makev([car(SV),M]); |
| |
CP=mycoef(P,mydeg(P,V0),V0); |
| |
if(cmpsimple(-CP,CP)<0) P=-P; |
| |
if(TeX){ |
| |
for(V0=[makev([car(SV)])],I=1;I<=M;I++) V0=cons(makev([car(SV),I]),V0); |
| |
T="&\\!\\!\\!"+fctrtos(P|var=VV,dic=1,TeX=3); |
| |
S=((F==1)?(Tt+"\n"):S0)+texbegin("align*",texbegin("split",T)); |
| |
if(TeX==2) dviout(S); |
| |
return S; |
| |
} |
| |
return (F==1)? P:[P,V,L,LL]; |
| |
} |
| |
|
| |
def taylorODE(D){ |
| |
Dif=(getopt(dif)==1)?1:0; |
| |
if(D==0) return Dif?f:f_00; |
| |
if(type(T=getopt(runge))!=1||ntype(T)!=0) T=0; |
| |
if(type(F=getopt(f))!=7&&type(F)<2) F="f_"; |
| |
if(type(D)!=1||ntype(D)!=0||D<0||D>30) return 0; |
| |
if(type(H=getopt(taylor))==4&&length(H)==2){ |
| |
if(type(Lim=getopt(lim))==2) DD=D; |
| |
else if(type(Lim)==4){ |
| |
DD=Lim[1];Lim=Lim[0]; |
| |
}else Lim=0; |
| |
for(R=I=0;I<=D;I++){ |
| |
if(I){ |
| |
if(Lim) H0=mulpolyMod(H0,H[0],Lim,DD); |
| |
else H0*=H[0]; |
| |
}else H0=1; |
| |
if(type(F)!=7) G=I?mydiff(G,x):F; |
| |
for(J=0;J<=D-I;J++){ |
| |
if(J){ |
| |
if(Lim) H1=mulpolyMod(H1,H[1],Lim,DD); |
| |
else H1*=H[1]; |
| |
}else H1=H0; |
| |
if(type(F)==7) G=makev([F,I,J]); |
| |
else if(J) G=mydiff(G,y); |
| |
R+=G*H1/fac(I)/fac(J); |
| |
} |
| |
} |
| |
if(Lim) R=os_md.polcut(R,DD,Lim); |
| |
return R; |
| |
}else{ |
| |
if(type(H=getopt(series))>=0||getopt(list)==1){ |
| |
if(type(F)!=7){ |
| |
for(PP=[F],I=1;I<D;I++) |
| |
PP=cons(mydiff(car(PP),x)+mydiff(car(PP),y)*F,PP); |
| |
if(type(H)<0) return PP; |
| |
for(R=0,DD=D;DD>=1;DD--,PP=cdr(PP)) R+=car(PP)*H^DD/fac(DD); |
| |
return red(R); |
| |
} |
| |
if(type(H)>=0) D--; |
| |
PP=taylorODE(D-1|list=1); |
| |
if(type(PP)!=4) PP=[PP]; |
| |
P=car(PP); |
| |
}else P=taylorODE(D-1); |
| |
for(R=I=0;I<D;I++){ |
| |
for(J=0;J<D-I;J++){ |
| |
Q=diff(P,makev([F,I,J])); |
| |
if(Q!=0) R+=Q*(f_00*makev([F,I,J+1])+makev([F,I+1,J])); |
| |
} |
| |
} |
| |
if(getopt(list)==1){ |
| |
R=cons(R,PP); |
| |
if(Dif!=1) return R; |
| |
}else if(type(H)>=0){ |
| |
R=y+R*H^(D+1)/fac(D+1); |
| |
for(DD=D;DD>0;PP=cdr(PP),DD--) R+=car(PP)*H^(DD)/fac(DD); |
| |
if(T){ |
| |
if(T<0){ |
| |
Dif=0;TT=-T; |
| |
}else TT=T; |
| |
K=newvect(TT);K[0]=Dif?f:f_00; |
| |
if(getopt(c1)==1) K[0]=taylorODE(D|taylor=[c_1*H,0]); |
| |
for(I=1;I<TT;I++){ |
| |
for(S=J=0;J<I;J++) S+=makev(["a_",I+1,J+1])*K[J]; |
| |
K[I]=taylorODE(D|taylor=[makev(["c_",I+1])*H,S*H],lim=[H,D]); |
| |
} |
| |
for(S=I=0;I<TT;I++) S+=makev(["b_",I+1])*K[I]; |
| |
S=S*H+y; |
| |
R=S-R; |
| |
if(T<0){ |
| |
for(V=[H],I=0;I<=D;I++) |
| |
for(J=0;J<=D-I;J++) V=cons(makev([F,I,J]),V); |
| |
return os_md.ptol(R,reverse(V)|opt=0); |
| |
} |
| |
}else T=0; |
| |
} |
| |
} |
| |
if(Dif){ |
| |
for(I=0;I<=D;I++){ |
| |
for(J=0;J<=D;J++){ |
| |
if(I==0&&J==0){ |
| |
R=subst(R,f_00,f); |
| |
continue; |
| |
} |
| |
V=makev([F,str_times("x",I),str_times("y",J)]); |
| |
R=subst(R,makev([F,I,J]),V); |
| |
} |
| |
} |
| |
} |
| |
return R; |
| |
} |
| |
|
| def toeul(F,L,V) |
def toeul(F,L,V) |
| { |
{ |
| L = vweyl(L); |
L = vweyl(L); |
|
|
| return X; |
return X; |
| } |
} |
| |
|
| |
def sgn(X) |
| |
{ |
| |
if(X==0) return 0; |
| |
if(type(X)==1){ |
| |
return (X>0)?1:-1; |
| |
} |
| |
if(type(X)==5) X=vtol(X); |
| |
if(type(X)==4){ |
| |
for(W=0,Y=X;Y!=[];Y=cdr(Y)) |
| |
for(Z=cdr(Y);Z!=[];Z=cdr(Z)) |
| |
if(car(Y)>car(Z)) W++; |
| |
if(getopt(val)==1) return W; |
| |
return (iand(W,1))?-1:1; |
| |
} |
| |
} |
| |
|
| def calc(X,L) |
def calc(X,L) |
| { |
{ |
| if(type(X)<4||type(X)==7){ |
if(type(X)<4||type(X)==7){ |
|
|
| return X; |
return X; |
| } |
} |
| |
|
| |
def tobig(X) |
| |
{ |
| |
if((type(X)==1 && ntype(X)==3)||type(X)>3) return X; |
| |
return eval(X*exp(0)); |
| |
} |
| |
|
| def isint(X) |
def isint(X) |
| { |
{ |
| if(X==0||(type(X)==1 && ntype(X)==0 && dn(X)==1)) return 1; |
if(X==0||(type(X)==1 && ntype(X)==0 && dn(X)==1)) return 1; |
|
|
| if(F!=1&&F!=-1) F=0; |
if(F!=1&&F!=-1) F=0; |
| if(type(LP)==4){ |
if(type(LP)==4){ |
| L0=LP[0]; L1=LP[1]; |
L0=LP[0]; L1=LP[1]; |
| |
}else if(type(LP)==1){ |
| |
L0=L1=LP; |
| }else{ |
}else{ |
| L0=0; L1=MO+1; |
L0=0; L1=MO+1; |
| } |
} |
|
|
| B=cons(sub_str(S,P0,P1-1),B); |
B=cons(sub_str(S,P0,P1-1),B); |
| } |
} |
| } |
} |
| |
close_file(Id); |
| }else{ |
}else{ |
| MO/=2; |
MO/=2; |
| if(L1<=1) L1=MO+4; |
if(L1<=1) L1=MO+4; |
|
|
| Opt= getopt(opt); |
Opt= getopt(opt); |
| Mat= getopt(mat); |
Mat= getopt(mat); |
| if(type(M)==7) M=s2sp(M); |
if(type(M)==7) M=s2sp(M); |
| if(type(Opt) >= 0){ |
if(type(Opt) >= 0&&Opt!="idx"){ |
| if(type(Opt) == 7) |
if(type(Opt) == 7) |
| Opt = findin(Opt, ["sp","basic","construct","strip","short","long","sort","root"]); |
Opt = findin(Opt, ["sp","basic","construct","strip","short","long","sort","root"]); |
| if(Opt < 0){ |
if(Opt < 0){ |
|
|
| } |
} |
| return fspt(M,Opt); |
return fspt(M,Opt); |
| } |
} |
| MR = fspt(M,1); |
|
| P = length(M); |
P = length(M); |
| OD = -1; |
OD = -1; |
| XM = newvect(P); |
XM = newvect(P); |
|
|
| if(OD < 0) |
if(OD < 0) |
| OD = SM; |
OD = SM; |
| else if(OD != SM){ |
else if(OD != SM){ |
| print("irregal partitions"); |
if(getopt(dumb)!=1) print("irregal partitions"); |
| return 0; |
return -1; |
| } |
} |
| XM[I] = JM; |
XM[I] = JM; |
| } |
} |
|
|
| SM += MV; |
SM += MV; |
| } |
} |
| SM -= (P-2)*OD; |
SM -= (P-2)*OD; |
| |
if(Opt=="idx") return SSM; |
| if(SM > SMM && SM != 2*OD){ |
if(SM > SMM && SM != 2*OD){ |
| print("not realizable"); |
if(getopt(dumb)!=1) print("not realizable"); |
| return -1; |
return 0; |
| } |
} |
| if(JM==1 && Mat!=1) |
if(JM==1 && Mat!=1) |
| Fu -= OD - SSM/2; |
Fu -= OD - SSM/2; |
| return [P, OD, SSM, Fu, SM, XM, MR]; |
return [P, OD, SSM, Fu, SM, XM, fspt(M,1)]; |
| } |
} |
| |
|
| def cterm(P) |
def cterm(P) |
|
|
| } |
} |
| L = cons([VM,EV], L); |
L = cons([VM,EV], L); |
| /* |
/* |
| if(R[2] >= 2){ */ /* digid */ |
if(R[2] >= 2){ */ /* rigid */ |
| /* P = dx^(R[1]); |
/* P = dx^(R[1]); |
| } */ |
} */ |
| } |
} |
| Line 8053 def mcgrs(G, R) |
|
| Line 8757 def mcgrs(G, R) |
|
| { |
{ |
| NP = length(G); |
NP = length(G); |
| Mat = (getopt(mat)==1)?0:1; |
Mat = (getopt(mat)==1)?0:1; |
| |
if(Mat==0 && type(SM=getopt(slm))==4){ |
| |
SM0=SM[0];SM1=anal2sp(SM[1],["*",-1]); |
| |
if(findin(0,SM0)>=0){ |
| |
for(SM=[],I=length(G)-1;I>0;I--) |
| |
if(findin(I,SM0)<0) SM=cons(I,SM); |
| |
SM=[SM,SM1]; |
| |
G=mcgrs(G,R|mat=1,slm=SM); |
| |
return [G[0],anal2sp(G[1],["*",-1])]; |
| |
} |
| |
}else SM0=0; |
| for(R = reverse(R) ; R != []; R = cdr(R)){ |
for(R = reverse(R) ; R != []; R = cdr(R)){ |
| GN = []; |
GN = []; |
| L = length(G)-1; |
L = length(G)-1; |
| RT = car(R); |
RT = car(R); |
| if(type(RT) == 4){ |
if(type(RT) == 4){ |
| RT = reverse(RT); S = 0; |
if(length(RT)==L+1&&RT[0]!=0){ |
| for(G = reverse(G); G != []; G = cdr(G), L--){ |
R=cons(cdr(RT),cdr(R)); |
| AD = car(RT); RT = cdr(RT); |
R=cons(RT[0],R); |
| if(L > 0) |
R=cons(0,R); |
| |
continue; |
| |
} /* addition */ |
| |
RT = reverse(RT); S = ADS = 0; |
| |
for(G = reverse(G); G != []; G = cdr(G), L--, RT=cdr(RT)){ |
| |
AD = car(RT); |
| |
if(L > 0){ |
| S += AD; |
S += AD; |
| else |
if(SM && findin(L,SM0)>=0) ADS+=AD; |
| |
}else |
| AD = -S; |
AD = -S; |
| for(GTN = [], GT = reverse(car(G)); GT != []; GT = cdr(GT)) |
for(GTN = [], GT = reverse(car(G)); GT != []; GT = cdr(GT)) |
| GTN = cons([car(GT)[0],car(GT)[1]+AD], GTN); |
GTN = cons([car(GT)[0],car(GT)[1]+AD], GTN); |
| GN = cons(GTN, GN); |
GN = cons(GTN, GN); |
| } |
} |
| G = GN; |
G = GN; |
| |
if(SM0){ |
| |
for(ST=reverse(SM1),SM1=[]; ST!=[]; ST=cdr(ST)) |
| |
SM1 = cons([car(ST)[0],car(ST)[1]+ADS], SM1); |
| |
} |
| continue; |
continue; |
| } |
} |
| VP = newvec(L+1); GV = ltov(G); |
if(RT==0) continue; |
| |
VP = newvect(L+1); GV = ltov(G); /* middle convolution */ |
| for(I = S = OD = 0; I <= L; I++){ |
for(I = S = OD = 0; I <= L; I++){ |
| RTT = (I==0)?(Mat-RT):0; |
RTT = (I==0)?(Mat-RT):0; |
| VP[I] = -1; |
VP[I] = -1; |
| for(J = M = 0, GT = GV[I]; GT != []; GT = cdr(GT), J++){ |
for(J = M = K = 0, GT = GV[I]; GT != []; GT = cdr(GT), J++){ |
| if(I == 0) |
if(I == 0) |
| OD += car(GT)[0]; |
OD += car(GT)[0]; |
| if(car(GT)[1] == RTT && car(GT)[0] > M){ |
if(car(GT)[1] == RTT && car(GT)[0] > M){ |
| S += car(GT)[0]-M; |
S += car(GT)[0]-M; |
| |
M=car(GT)[0]; |
| VP[I] = J; |
VP[I] = J; |
| } |
} |
| } |
} |
| S -= (L-1)*OD; |
} |
| for(GN = [] ; L >= 0; L--){ |
S -= (L-1)*OD; |
| GT = GV[L]; |
for(GN = []; L >= 0; L--){ |
| RTT = (L==0)?(-RT):RT; |
GT = GV[L]; |
| FTN = (VP[L] >= 0 || S == 0)?[]:[-S,(L==0)?(Mat-RT):0]; |
RTT = (L==0)?(-RT):RT; |
| for(J = 0; GT != []; GT = cdr(GT), J++){ |
GTN = (VP[L]>=0 || S == 0)?[]:[[-S,(L==0)?(Mat-RT):0]]; |
| if(J != VP[L]){ |
for(J = 0; GT != []; GT = cdr(GT), J++){ |
| GTN = cons([car(GT)[0],car(GT)[1]+RTT], GTN); |
if(J != VP[L]){ |
| continue; |
GTN = cons([car(GT)[0],car(GT)[1]+RTT], GTN); |
| } |
continue; |
| K = car(GT)[0] - S; |
|
| if(K < 0){ |
|
| print("Not realizable"); |
|
| return; |
|
| } |
|
| GTN = cons([K,(L==0)?(Mat-RT):0], GTN); |
|
| } |
} |
| GN = cons(reverse(GTN), GN); |
K = car(GT)[0] - S; |
| |
if(K < 0){ |
| |
print("Not realizable"); |
| |
return; |
| |
} |
| |
if(K>0) GTN = cons([K,(L==0)?(Mat-RT):0], GTN); |
| } |
} |
| |
GN = cons(reverse(GTN), GN); |
| } |
} |
| |
if(SM0&&RT!=0){ |
| |
for(M0=M1=-OD,L=length(G)-1;L>=0;L--){ |
| |
if(findin(L,SM0)>=0){ |
| |
M0+=OD; |
| |
if(VP[L]>=0) M0-=GV[L][VP[L]][0]; |
| |
}else{ |
| |
M1+=OD; |
| |
if(VP[L]>=0) M1-=GV[L][VP[L]][0]; |
| |
} |
| |
} |
| |
SM2=[]; |
| |
if((Mx1=anal2sp(SM1,["max",1,-RT])[0])<0){ |
| |
if(M1>0) SM2=cons([M1,0],SM2); |
| |
}else M1+=car(SM1[Mx1]); |
| |
if((Mx0=anal2sp(SM1,["max",1,0])[0])<0){ |
| |
if(M0>0) SM2=cons([M0,RT],SM2); |
| |
}else M0+=car(SM1[Mx0]); |
| |
for(J=0;SM1!=[];J++,SM1=cdr(SM1)){ |
| |
if(J==Mx0){ |
| |
if(M0>0) SM2=cons([M0,-RT],SM2); |
| |
}else if(J==Mx1){ |
| |
if(M1>0) SM2=cons([M1,0],SM2); |
| |
}else SM2=cons([car(SM1)[0],car(SM1)[1]+RT],SM2); |
| |
} |
| |
SM1=reverse(SM2); |
| |
} |
| G = cutgrs(GN); |
G = cutgrs(GN); |
| } |
} |
| return G; |
return SM0?[G,SM1]:G; |
| } |
} |
| |
|
| |
def spslm(M,TT) |
| |
{ |
| |
R=getbygrs(M,1|mat=1); |
| |
if(type(R)!=4||type(R[0])!=4||type(S=R[0][1])!=4){ |
| |
errno(0);return0; |
| |
} |
| |
if(S[1]!=[[1,0]]){ |
| |
print("Not rigid!");return0; |
| |
} |
| |
if((F=S[0][0][1])!=0){ |
| |
for(V=vars(F);V!=[];V=cdr(V)){ |
| |
if(mydeg(F,car(V))==1){ |
| |
T=lsol(F,car(V)); |
| |
break; |
| |
} |
| |
} |
| |
if(V==[]){ |
| |
print("Violate Fuchs condition!"); |
| |
return0; |
| |
} |
| |
} |
| |
for(P=[];R!=[];R=cdr(R)) |
| |
P=cons(car(R)[0],P); |
| |
if(F!=0){ |
| |
S=mysubst(S,[car(V),T]);P=mysubst(P,[car(V),T]); |
| |
} |
| |
return mcgrs(S,P|mat=1,slm=[TT,[[1,0]]]); |
| |
} |
| |
|
| /* |
/* |
| F=0 : unify |
F=0 : unify |
| F=["add",S] : |
F=["add",S] : |
| Line 8120 def mcgrs(G, R) |
|
| Line 8902 def mcgrs(G, R) |
|
| F=["put",F,V] : |
F=["put",F,V] : |
| F=["get1",F,V] : |
F=["get1",F,V] : |
| F=["put1",F,V] : |
F=["put1",F,V] : |
| |
F=["max"] : |
| |
F=["max",F.V] : |
| F=["put1"] : |
F=["put1"] : |
| F=["val",F]; |
F=["val",F]; |
| F=["swap"]; |
F=["swap"]; |
| Line 8164 def anal2sp(R,F) |
|
| Line 8948 def anal2sp(R,F) |
|
| return G; |
return G; |
| } |
} |
| if(F[0]=="add") return append(R,F[1]); |
if(F[0]=="add") return append(R,F[1]); |
| |
if(F[0]=="max"){ |
| |
if(length(F)==3) C=1; |
| |
else C=0; |
| |
M=-10^10;K=[-1]; |
| |
for(I=0;R!=[];R=cdr(R),I++){ |
| |
if(C>0&&car(R)[F[1]]!=F[2]) continue; |
| |
if(M<car(R)[0]){ |
| |
M=car(R)[0];K=[I,car(R)]; |
| |
} |
| |
} |
| |
return K; |
| |
} |
| R=reverse(R); |
R=reverse(R); |
| if(F[0]=="sub"){ |
if(F[0]=="sub"){ |
| for(S=F[1];S!=[];S=cdr(S)) |
for(S=F[1];S!=[];S=cdr(S)) |
| Line 8176 def anal2sp(R,F) |
|
| Line 8972 def anal2sp(R,F) |
|
| return G; |
return G; |
| } |
} |
| if(F[0]=="+"){ |
if(F[0]=="+"){ |
| for(G=[];R!=[];R=cdr(R)) |
L=length(F); |
| G=cons([car(R)[0],car(R)[1]+F[1],car(R)[2]+F[2]],G); |
for(G=[];R!=[];R=cdr(R)){ |
| |
for(S=[],I=L-1;I>0;I--) S=cons(car(R)[I]+F[I],S); |
| |
G=cons(cons(car(R)[0],S),G); |
| |
} |
| return G; |
return G; |
| } |
} |
| if(F[0]=="*"){ |
if(F[0]=="*"){ |
| for(G=[];R!=[];R=cdr(R)) |
L=length(F); |
| G=cons([car(R)[0],car(R)[1]*F[1]+car(R)[2]*F[2]],G); |
for(G=[];R!=[];R=cdr(R)){ |
| |
for(S=0,I=1;I<L;I++) S+=car(R)[I]*F[I]; |
| |
G=cons([car(R)[0],S],G); |
| |
} |
| return G; |
return G; |
| } |
} |
| if(F[0]=="mult"){ |
if(F[0]=="mult"){ |
| Line 8240 def anal2sp(R,F) |
|
| Line 9042 def anal2sp(R,F) |
|
| P=["get",L] |
P=["get",L] |
| L=n for variable x_n |
L=n for variable x_n |
| L=[m,n] for residue [m,n] |
L=[m,n] for residue [m,n] |
| |
L=[m,n,l] for residue [m,n,l] |
| L=[[m,n],[m',n']] for common spct |
L=[[m,n],[m',n']] for common spct |
| |
P=["eigen",I] decomposition of A_I |
| P=["get0",[m,n],[m',n']] for the sum of residues |
P=["get0",[m,n],[m',n']] for the sum of residues |
| |
P=["rest",[m,n]] restriction |
| P=["swap",[m,n]] for symmetry |
P=["swap",[m,n]] for symmetry |
| P=["perm",[...]] for symmetry |
P=["perm",[...]] for symmetry |
| P=["deg"] |
P=["deg"] |
| Line 8311 def mc2grs(G,P) |
|
| Line 9116 def mc2grs(G,P) |
|
| } |
} |
| if(type(P)<2) return G; |
if(type(P)<2) return G; |
| F=0; |
F=0; |
| if(type(P)==7||(type(P)==4&&type(P[0])<4)) P=[P]; |
if(type(P)==7||(type(P)==4&& |
| |
(type(P[0])<4||(type(P[0])==4&&length(P[0])==2&&type(P[0][0])<4&&type(P[1])<4)) |
| |
)) P=[P]; |
| if((Dvi=getopt(dviout))!=1&&Dvi!=2&&Dvi!=-1) Dvi=0; |
if((Dvi=getopt(dviout))!=1&&Dvi!=2&&Dvi!=-1) Dvi=0; |
| Keep=(Dvi==2)?1:0; |
Keep=(Dvi==2)?1:0; |
| if(type(P)==4&&type(F=car(P))==7){ |
if(type(P)==4&&type(F=car(P))==7){ |
| Line 8341 def mc2grs(G,P) |
|
| Line 9148 def mc2grs(G,P) |
|
| return R; |
return R; |
| } |
} |
| if(F=="show0"){ |
if(F=="show0"){ |
| |
if(type(Fig=getopt(fig))>0){ |
| |
PP=[[-1.24747,-5.86889],[1.24747,-5.86889],[3.52671,-4.8541],[5.19615,-3], |
| |
[5.96713,-0.627171],[5.70634,1.8541],[4.45887,4.01478],[2.44042,5.48127], |
| |
[0,6],[-2.44042,5.48127],[-4.45887,4.01478],[-5.70634,1.8541], |
| |
[-5.96713,-0.627171],[-5.19615,-3],[-3.52671,-4.8541]]; |
| |
PL=[[1.8,-5.2],[5.7,-1.7],[3.2,5],[-3.6,4.7],[2.2,3],[-2.8,2.8], |
| |
[-1.5,-1.4],[-3.2,-2.5],[0.76,-1.4],[-2,0.2]]; |
| |
PC=["black,dashed","green,dashed","red,dashed","blue,dashed", |
| |
"black","cyan","green","blue","red","magenta"]; |
| |
N=["1","2","3","4","5","6","7","8","9","a","b","c","d","e","f"]; |
| |
LL=[[1,2,3],[4,5,6],[7,8,9],[10,11,12],[7,10,13],[4,11,14],[5,8,15],[1,12,15], |
| |
[2,9,14],[3,6,13]]; |
| |
TB=str_tb("\\draw\n",TB); |
| |
if(type(Fig)==4){ |
| |
if(type(car(Fig))==1){ |
| |
PP=ptaffine(car(Fig)/12,PP);PL=ptaffine(car(Fig)/12,PL); |
| |
Fig=cdr(Fig); |
| |
} |
| |
if(Fig!=[]&&length(Fig)==10) PC=Fig; |
| |
} |
| |
for(R=mc2grs(G,"show0"|dviout=-1),I=0;R!="";I++){ /* ’¸“_ */ |
| |
J=str_chr(R,0,","); |
| |
if(J>0){ |
| |
S=str_cut(R,0,J-1); |
| |
R=str_cut(R,J+1,1000); |
| |
}else{ |
| |
S=R;R=""; |
| |
} |
| |
T=(str_chr(S,0,"1")==0)?"":"[red]"; |
| |
str_tb(["node",T,"(",N[I],") at ",xypos(PP[I]),"{$",S,"$}\n"],TB); |
| |
} |
| |
for(S=PC,P=PL,I=0;I<4;I++){ |
| |
for(J=I+1;J<5;J++,S=cdr(S),P=cdr(P)){ /* ü‚̔Ԇ */ |
| |
SS=car(S); |
| |
if((K=str_chr(SS,0,","))>0) SS=sub_str(SS,0,K-1); |
| |
str_tb(["node[",SS,"] at ",xypos(car(P)), |
| |
"{$[",rtostr(I),rtostr(J),"]$}\n"],TB); |
| |
} |
| |
} |
| |
str_tb(";\n",TB); |
| |
for(I=0;I<10;I++){ /* ü */ |
| |
S=car(PC);P0=car(PC);L0=car(LL);PC=cdr(PC);LL=cdr(LL); |
| |
C=[N[L0[0]-1],N[L0[1]-1],N[L0[2]-1]]; |
| |
str_tb(["\\draw[",S,"] (", C[0],")--(",C[1],") (", |
| |
C[0],")--(",C[2],") (",C[1],")--(",C[2],");\n"],TB); |
| |
} |
| |
R=str_tb(0,TB); |
| |
if(TikZ==1&&Dvi!=-1) dviout(xyproc(R)|dviout=1,keep=Keep); |
| |
return R; |
| |
} |
| for(S="",L=[];G!=[];G=cdr(G)){ |
for(S="",L=[];G!=[];G=cdr(G)){ |
| for(TL=[],TG=cdr(car(G));TG!=[];TG=cdr(TG)) TL=cons(car(TG)[0],TL); |
for(TL=[],TG=cdr(car(G));TG!=[];TG=cdr(TG)) TL=cons(car(TG)[0],TL); |
| TL=msort(TL,[-1,0]); |
TL=msort(TL,[-1,0]); |
| Line 8418 def mc2grs(G,P) |
|
| Line 9275 def mc2grs(G,P) |
|
| else S="A_{"+rtostr(T[0][0])+rtostr(T[0][1])+"}&"+S; |
else S="A_{"+rtostr(T[0][0])+rtostr(T[0][1])+"}&"+S; |
| } |
} |
| L=ltotex(R|opt="GRS",pre=S); |
L=ltotex(R|opt="GRS",pre=S); |
| |
if(type(D=getopt(div))==1 || type(D)==4) L=divmattex(L,D); |
| if(Dvi>0) dviout(L|eq=0,keep=Keep); |
if(Dvi>0) dviout(L|eq=0,keep=Keep); |
| } |
} |
| return L; /* get all spct */ |
return L; /* get all spct */ |
| Line 8429 def mc2grs(G,P) |
|
| Line 9287 def mc2grs(G,P) |
|
| if(I[0]>I[0]){S=I;I=J;J=S;}; |
if(I[0]>I[0]){S=I;I=J;J=S;}; |
| K=lsort(I,J,0); |
K=lsort(I,J,0); |
| if(length(K)==4){ |
if(length(K)==4){ |
| S=sp2grs(G,["get0",[I,J]]); |
S=mc2grs(G,["get0",[I,J]]); |
| return anal2sp(S,[["*",1,1],0]); |
return anal2sp(S,[["*",1,1],0]); |
| } |
} |
| I=lsort(K,lsort(I,J,2),1); |
I=lsort(K,lsort(I,J,2),1); |
| S=lsort([0,1,2,3,4],K,1); |
S=lsort([0,1,2,3,4],K,1); |
| D=sp2grs(G,"deg"); |
D=mc2grs(G,"deg"); |
| if(findin(4,S)<0) D=-D; |
if(findin(4,S)<0) D=-D; |
| J=sp2grs(G,["get0",[I,S]]); |
J=mc2grs(G,["get0",[I,S]]); |
| if(I[0]>S[0]) J=sp2grs(J,"swap"); |
if(I[0]>S[0]) J=sp2grs(J,"swap"); |
| return anal2sp(J,[["+",0,D],["*",-1,1]]); |
return anal2sp(J,[["+",0,D],["*",-1,1]]); |
| } |
} |
| Line 8448 def mc2grs(G,P) |
|
| Line 9306 def mc2grs(G,P) |
|
| if(car(PG)[0]==T) return (F=="get")?car(PG):cdr(car(PG)); |
if(car(PG)[0]==T) return (F=="get")?car(PG):cdr(car(PG)); |
| return []; /* get common spct */ |
return []; /* get common spct */ |
| } |
} |
| |
if(length(T)==3){ |
| |
T0=T;T=lsort([0,1,2,3,4],T,1); |
| |
if(length(T)!=2) return []; |
| |
}else T0=0; |
| if(T[0]>T[1]) T=[T[1],T[0]]; |
if(T[0]>T[1]) T=[T[1],T[0]]; |
| for(FT=0,PG=G;PG!=[];PG=cdr(PG)){ |
for(FT=0,PG=G;PG!=[];PG=cdr(PG)){ |
| if(car(PG)[0][0]==T){ |
if(car(PG)[0][0]==T){ |
| Line 8459 def mc2grs(G,P) |
|
| Line 9321 def mc2grs(G,P) |
|
| } |
} |
| if(!FT) return []; |
if(!FT) return []; |
| L=anal2sp(cdr(car(PG)),[["get1",FT],0]); |
L=anal2sp(cdr(car(PG)),[["get1",FT],0]); |
| |
if(T0!=0){ |
| |
if((K=mc2grs(G,"deg"))!=0){ |
| |
if(T[1]!=4) K=-K; |
| |
R=reverse(L); |
| |
for(L=[];R!=[];R=cdr(R)) L=cons([car(R)[0],car(R)[1]+K],L); |
| |
} |
| |
T=T0; |
| |
} |
| return (F=="get")?cons(T,L):L; |
return (F=="get")?cons(T,L):L; |
| } |
} |
| } |
} |
| |
if(F=="rest"||F=="eigen"||F=="rest0"||F=="rest1"){ |
| |
if(F!="eigen") G=mc2grs(G,"homog"); |
| |
if(length(P)==1){ |
| |
for(R=[],I=0;I<4;I++){ |
| |
for(J=I+1;J<5;J++){ |
| |
S=mc2grs(G,[F,[I,J]]); |
| |
if(S!=[]) R=cons(cons([I,J],S),R); |
| |
} |
| |
} |
| |
R=reverse(R); |
| |
if(Dvi){ |
| |
TB=str_tb(0,0); |
| |
if(F=="rest0"||F=="rest1"){ |
| |
for(T=R;;){ |
| |
TT=car(T); |
| |
S=rtostr(car(TT)[0])+rtostr(car(TT)[1]); |
| |
str_tb(["[",S,"]","&: "],TB); |
| |
for(TR=[],TT=cdr(TT);TT!=[];TT=cdr(TT)) |
| |
TR=cons(car(TT)[1],TR); |
| |
for(TR=qsort(TR);TR!=[];TR=cdr(TR)) |
| |
str_tb([s2sp(car(TR)|short=1,std=-1),"\\ \\ "],TB); |
| |
if((T=cdr(T))==[]) break; |
| |
str_tb("\\\\\n",TB); |
| |
} |
| |
}else{ |
| |
TB=str_tb(0,0); |
| |
for(T=R;;){ |
| |
TT=car(T); |
| |
S=rtostr(car(TT)[0])+rtostr(car(TT)[1]); |
| |
str_tb(["[",S,"]",":\\ "],TB); |
| |
for(TR=[],TT=cdr(TT);;){ |
| |
T0=car(TT); |
| |
str_tb(["&",my_tex_form(car(T0)),"&&\\to\\ \n", |
| |
ltotex(cdr(T0)|opt="GRS")],TB); |
| |
if((TT=cdr(TT))==[]) break; |
| |
str_tb("\\\\\n",TB); |
| |
} |
| |
if((T=cdr(T))==[]) break; |
| |
str_tb("\\allowdisplaybreaks\\\\\n",TB); |
| |
} |
| |
} |
| |
R=texbegin("align*",str_tb(0,TB)); |
| |
if(Dvi!=-1) dviout(R|keep=Keep); |
| |
} |
| |
return R; |
| |
} |
| |
I=P[1]; |
| |
if(I[0]>I[1]) I=[I[1],I[0]]; |
| |
L=lsort([0,1,2,3,4],I,1); |
| |
if(F=="rest"&&length(P)==3){ |
| |
J=P[2];if(J[0]>J[1]) J=[J[1],J[0]]; |
| |
L=lsort(L,J,1); |
| |
if(length(L)!=1) return 0; |
| |
return [mc2grs(G,["get0",I]),mc2grs(G,["get0",[I[0],J[0]],[I[1],J[1]]]), |
| |
mc2grs(G,["get0",[I[0],J[1]],[I[1],J[0]]]),mc2grs(G,["get0",[I[0],I[1],L[0]]])]; |
| |
} |
| |
L=[[L[0],L[1]],[L[0],L[2]],[L[1],L[2]]]; |
| |
if(F!="eigen"){ |
| |
if(I==[0,4]) L=reverse(L); |
| |
else{ |
| |
for(V=[],J=2;J>=0;J--){ |
| |
if(L[J][0]==0) V=cons([L[J][1],J],V); |
| |
else{ |
| |
for(K=4;K>=0;K--){ |
| |
if(findin(K,L[J])<0){ |
| |
V=cons([K,J],V);break; |
| |
} |
| |
} |
| |
} |
| |
} |
| |
V=qsort(V); |
| |
L=[L[V[0][1]],L[V[1][1]],L[V[2][1]]]; |
| |
} |
| |
} |
| |
for(LL=[],T=L;T!=[];T=cdr(T)) |
| |
LL=cons(mc2grs(G,["get0",[I,car(T)]]),LL); |
| |
LL=reverse(LL); |
| |
for(R=[],Q=mc2grs(G,["get0",I]);Q!=[];Q=cdr(Q)){ |
| |
for(T=[],J=2;J>=0;J--){ |
| |
V=anal2sp(LL[J],["get1",(I[0]<L[J][0])?1:2,car(Q)[1]]); |
| |
if(F=="rest"){ |
| |
if(I[0]==0){ |
| |
if(I[1]!=4){ |
| |
if(L[J][1]!=4) V=anal2sp(V,["+",-car(Q)[1]]); |
| |
}else if (L[J][0]!=2) V=anal2sp(V,["+",-car(Q)[1]]); |
| |
}else if(L[J][0]!=0) V=anal2sp(V,["+",-car(Q)[1]]); |
| |
} |
| |
T=cons(V,T); |
| |
} |
| |
R=cons(cons(car(Q)[1],T),R); |
| |
} |
| |
if(F=="rest0"||F=="rest1"){ |
| |
for(L=[];R!=[];R=cdr(R)){ |
| |
TR=cdr(car(R)); |
| |
if(F=="rest1"&&chkspt(TR|opt="idx")==2) continue; |
| |
L=cons([car(R)[0],s2sp(chkspt(TR|opt=6))],L); |
| |
} |
| |
R=reverse(L); |
| |
} |
| |
return R; |
| |
} |
| if(F=="deg"){ |
if(F=="deg"){ |
| for(S=I=0;I<3;I++){ |
for(S=I=0;I<3;I++){ |
| for(J=I+1;J<4;J++){ |
for(J=I+1;J<4;J++){ |
| Line 8472 def mc2grs(G,P) |
|
| Line 9443 def mc2grs(G,P) |
|
| } |
} |
| return S/L[0]; |
return S/L[0]; |
| } |
} |
| if(F=="spct"){ |
if(F=="spct"||F=="spct1"){ |
| |
K=(F=="spct")?5:6; |
| G=mc2grs(G,"get"); |
G=mc2grs(G,"get"); |
| M=newmat(5,5); |
M=newmat(5,K); |
| for(;G!=[];G=cdr(G)){ |
for(;G!=[];G=cdr(G)){ |
| GT=car(G);I=GT[0][0];J=GT[0][1]; |
GT=car(G);I=GT[0][0];J=GT[0][1]; |
| for(S=0,L=[],GT=cdr(GT);GT!=[];GT=cdr(GT)){ |
for(S=0,L=[],GT=cdr(GT);GT!=[];GT=cdr(GT)){ |
| Line 8491 def mc2grs(G,P) |
|
| Line 9463 def mc2grs(G,P) |
|
| for(L=M[I][J];L!=[];L=cdr(L)) S+=car(L)^2; |
for(L=M[I][J];L!=[];L=cdr(L)) S+=car(L)^2; |
| } |
} |
| M[I][I]=S; |
M[I][I]=S; |
| |
if(K==6){ |
| |
for(S=[],J=4;J>=0;J--) |
| |
if(I!=J) S=cons(M[I][J],S); |
| |
R=chkspt(S|opt=2); |
| |
M[I][5]=((L=length(R))>1)?s2sp(R[L-2]|short=1):""; |
| |
} |
| } |
} |
| if(Dvi){ |
if(Dvi){ |
| S=[]; |
S=[]; |
| for(I=4;I>=0;I--){ |
for(I=4;I>=0;I--){ |
| L=[M[I][I]]; |
L=(K==6)?[M[I][5]]:[]; |
| |
L=cons(M[I][I],L); |
| for(J=4;J>=0;J--){ |
for(J=4;J>=0;J--){ |
| if(I==J) L=cons("",L); |
if(I==J) L=cons("",L); |
| else L=cons(s2sp([M[I][J]]),L); |
else L=cons(s2sp([M[I][J]]),L); |
| } |
} |
| S=cons(L,S); |
S=cons(L,S); |
| } |
} |
| S=cons([x0,x1,x2,x3,x4,"idx"],S); |
T=(K==6)?["reduction"]:[]; |
| M=ltotex(S|opt="tab",hline=[0,1,z],vline=[0,1,z-1,z],left=["","$x_0$","$x_1$","$x_2$","$x_3$","$x_4$"]); |
S=cons(append([x0,x1,x2,x3,x4,"idx"],T),S); |
| |
M=ltotex(S|opt="tab",hline=[0,1,z], |
| |
vline=(K==6)?[0,1,z-2,z-1,z]:[0,1,z-1,z], |
| |
left=["","$x_0$","$x_1$","$x_2$","$x_3$","$x_4$"]); |
| if(Dvi>0) dviout(M|keep=Keep); |
if(Dvi>0) dviout(M|keep=Keep); |
| } |
} |
| return M; |
return M; |
| Line 8766 def mcmgrs(G,P) |
|
| Line 9748 def mcmgrs(G,P) |
|
| Keep=(Dvi==2)?1:0; |
Keep=(Dvi==2)?1:0; |
| if(type(P)==4 && type(F=car(P))==7){ |
if(type(P)==4 && type(F=car(P))==7){ |
| if(F=="mult"){ |
if(F=="mult"){ |
| for(P=cdr(P);P!=[];P=cdr(P)) G=os_md.mc2grs(G,car(P)|option_list=getopt()); |
for(P=cdr(P);P!=[];P=cdr(P)) G=mc2grs(G,car(P)|option_list=getopt()); |
| return G; |
return G; |
| } |
} |
| if(F=="get"||F=="get0"){ |
if(F=="get"||F=="get0"){ |
| Line 8879 def mcmgrs(G,P) |
|
| Line 9861 def mcmgrs(G,P) |
|
| L=cons(TL,L); |
L=cons(TL,L); |
| } |
} |
| if(Dvi){ |
if(Dvi){ |
| if(Dvi!=-1) dviout(S|eq=0); |
if(Dvi!=-1) dviout(S|eq=0,keep=Keep); |
| return S; |
return S; |
| } |
} |
| return reverse(L); |
return reverse(L); |
| Line 9947 def divmattex(S,T) |
|
| Line 10929 def divmattex(S,T) |
|
| if(length(L0)>0) L=cons(reverse(L0),L); |
if(length(L0)>0) L=cons(reverse(L0),L); |
| L=lv2m(reverse(L)); /* get matrix */ |
L=lv2m(reverse(L)); /* get matrix */ |
| if(T==0) return L; |
if(T==0) return L; |
| |
if(type(T)==1) T=[T]; |
| Size=size(L);S0=Size[0]; |
Size=size(L);S0=Size[0]; |
| if(type(T[0])!=4){ |
if(type(T[0])!=4){ |
| S1=Size[1]; |
S1=Size[1]; |
| Line 10108 def dviout0(L) |
|
| Line 11091 def dviout0(L) |
|
| mycat0(["DVIOUTA=\"", DVIOUTA,"\""],1); |
mycat0(["DVIOUTA=\"", DVIOUTA,"\""],1); |
| mycat0(["DVIOUTB=\"", DVIOUTB,"\""],1); |
mycat0(["DVIOUTB=\"", DVIOUTB,"\""],1); |
| mycat0(["DVIOUTL=\"", DVIOUTL,"\""],1); |
mycat0(["DVIOUTL=\"", DVIOUTL,"\""],1); |
| mycat0(["FCAT =\"", FCAT,"\""],1); |
|
| mycat(["Canvas =", Canvas]); |
mycat(["Canvas =", Canvas]); |
| mycat(["TeXLim =", TeXLim]); |
mycat(["TeXLim =", TeXLim]); |
| mycat(["TeXEq =", TeXEq]); |
mycat(["TeXEq =", TeXEq]); |
|
|
| } |
} |
| str_tb("\n",Tb); |
str_tb("\n",Tb); |
| } |
} |
| return str_tb(0,Tb); |
S=str_tb(0,Tb); |
| |
if(type(EXE=getopt(exe))!=1&&EXE!=0&&type(EXE)!=7) return S; |
| |
if(type(F)!=7){ |
| |
fcat(-1,0); |
| |
F="risaout"; |
| |
if(EXE>=2&&EXE<=9) F+=rtostr(EXE); |
| |
F=DIROUTD+F+".csv"; |
| |
}else F=S; |
| |
if(EXE!=0 && access(F)) remove_file(F); |
| |
fcat(F,S|exe=1); |
| |
return 1; |
| } |
} |
| |
|
| def readcsv(F) |
def readcsv(F) |
| Line 10284 def readcsv(F) |
|
| Line 11276 def readcsv(F) |
|
| } |
} |
| close_file(ID); |
close_file(ID); |
| if(T) L=m2l(L|flat=1); |
if(T) L=m2l(L|flat=1); |
| return reverse(L); |
L=reverse(L); |
| |
return L; |
| } |
} |
| |
|
| def showbyshell(S) |
def showbyshell(S) |
| Line 10306 def getbyshell(S) |
|
| Line 11299 def getbyshell(S) |
|
| Tmp=str_subst(DIROUT,["%HOME%","%ASIRROOT%"],[Home,get_rootdir()]); |
Tmp=str_subst(DIROUT,["%HOME%","%ASIRROOT%"],[Home,get_rootdir()]); |
| Sep=isMs()?"\\":"/"; |
Sep=isMs()?"\\":"/"; |
| F=Tmp+Sep+"muldif.tmp"; |
F=Tmp+Sep+"muldif.tmp"; |
| if(type(S)<=1 && S>=0) close_file(Id); |
if(type(S)<=1 && S>=0) close_file(S); |
| remove_file(F); |
remove_file(F); |
| if(type(S)<=1) return -1; |
if(type(S)<=1) return -1; |
| shell(S+" > \""+F+"\""); |
shell(S+" > \""+F+"\""); |
|
|
| if((T=type(N))<0) return N; |
if((T=type(N))<0) return N; |
| E=(getopt(big)==1)?eval(@e):0.1; |
E=(getopt(big)==1)?eval(@e):0.1; |
| if(T==1){ |
if(T==1){ |
| if(ntype(N)==0) return (E+N)-E; |
if(ntype(N)==0) return (E*N)/E; |
| else if(ntype(N)!=4) return N; |
else if(ntype(N)!=4) return N; |
| else return (E*(1+@i)+N)-E*(1+@i); |
else return (E*(1+@i)*N)/(E*(1+@i)); |
| } |
} |
| if(T==3||T==2){ |
if(T==3||T==2){ |
| N=red(N); |
N=red(N); |
|
|
| for(S=0,I=mydeg(Nm,V);I>=0;I--) S+=frac2n(mycoef(Nm,I,V))*V^I; |
for(S=0,I=mydeg(Nm,V);I>=0;I--) S+=frac2n(mycoef(Nm,I,V))*V^I; |
| return S/dn(N); |
return S/dn(N); |
| } |
} |
| if(T<4) return (N+E)-E; |
if(T<4) return (E*N)/E; |
| #ifdef USEMODULE |
#ifdef USEMODULE |
| return mtransbys(os_md.frac2n,N,[]|option_list=getopt()); |
return mtransbys(os_md.frac2n,N,[]|option_list=getopt()); |
| #else |
#else |
| Line 10963 def xyline(P,Q) |
|
| Line 11956 def xyline(P,Q) |
|
| |
|
| def xylines(P) |
def xylines(P) |
| { |
{ |
| /* mycat([P,getopt()]); */ |
|
| Lf=getopt(curve); |
Lf=getopt(curve); |
| if(type(Lf)!=1) Lf=0; |
if(type(Lf)!=1) Lf=0; |
| SS=getopt(opt); |
SS=getopt(opt); |
| Line 11122 def saveproc(S,Out) |
|
| Line 12114 def saveproc(S,Out) |
|
| } |
} |
| } |
} |
| |
|
| |
def xygrid(X,Y) |
| |
{ |
| |
for(RR=[],I=0,Z=X;I<2;I++){ |
| |
U=Z[2];L=LL=[];M=Z[3]; |
| |
if(Z[1]==1||Z[1]==-1){ |
| |
if(type(M)==4) L=M; |
| |
else{ |
| |
if(U*(-dlog(1-1/20)/dlog(10))>=M){ |
| |
L=cons([1,2,1/10],L); |
| |
LL=cons([1,2,1/2],LL); |
| |
}else if(U*(-dlog(1-1/10)/dlog(10))>=M) |
| |
L=cons([1,2,1/5],L); |
| |
else if(U*(-dlog(1-1/4)/dlog(10))>=M) |
| |
L=cons([1,2,1/2],L); |
| |
if(U*(-dlog(1-1/50)/dlog(10))>=M){ |
| |
L=cons([2,5,1/10],L); |
| |
LL=cons([2,5,1/2],LL); |
| |
}else if(U*(-dlog(1-1/25)/dlog(10))>=M) |
| |
L=cons([2,5,1/5],L); |
| |
else if(U*(-dlog(1-1/10)/dlog(10))>=M) |
| |
L=cons([2,5,1/2],L); |
| |
if(U*(-dlog(1-1/100)/dlog(10))>=M){ |
| |
L=cons([5,10,1/10],L); |
| |
LL=cons([5,10,1/2],LL); |
| |
} |
| |
else if(U*(-dlog(1-1/50)/dlog(10))>=M) |
| |
L=cons([5,10,1/5],L); |
| |
else if(U*(-dlog(1-1/20)/dlog(10))>=M) |
| |
L=cons([5,10,1/2],L); |
| |
L=cons(L,cons(LL,[[[1,10,1]]])); |
| |
} |
| |
R=scale(L|scale=U); |
| |
if(Z[1]==-1){ |
| |
for(LL=[];R!=[];R=cdr(R)){ |
| |
for(L=[],T=car(R);T!=[];T=cdr(T)) L=cons(U-car(T),L); |
| |
LL=cons(reverse(L),LL); |
| |
} |
| |
R=reverse(LL); |
| |
} |
| |
}else if(Z[1]==0){ |
| |
if(type(M)==4){ |
| |
R=scale(M|f=x,scale=U); |
| |
}else{ |
| |
V=0; |
| |
if(U/10>=M) V=1/10; |
| |
else if(U/5>=M) V=1/5; |
| |
else if(U/2>=M) V=1/2; |
| |
R=[]; |
| |
if(V>0){ |
| |
UU=U*V; |
| |
for(R=[],J=UU;J<U;J+=UU) R=cons(J,R); |
| |
} |
| |
if(V==1/10) L=[U/2]; |
| |
else L=[]; |
| |
R=cons(R,cons(L,[[0,U]])); |
| |
} |
| |
}else if(type(Z[1])==4){ |
| |
R=Z[1]; |
| |
if(length(R)==0||type(R[0])!=4) R=[[],[],R]; |
| |
}else return 0; |
| |
K=length(R); |
| |
S=newvect(K); |
| |
for(J=0;J<K;J++){ |
| |
for(S[J]=[],JJ=0;JJ<=Z[0];JJ+=U){ |
| |
for(P=R[J];P!=[];P=cdr(P)) |
| |
if(car(P)+JJ<=Z[0]) S[J]=cons(car(P)+JJ,S[J]); |
| |
} |
| |
} |
| |
for(J=0;J<K;J++) S[J]=lsort(S[J],[],1); |
| |
for(U=[],J=K-1;J>0;J--){ |
| |
U=lsort(S[J],U,0);S[J-1]=lsort(S[J-1],U,1); |
| |
} |
| |
RR=cons(vtol(S),RR); |
| |
Z=Y; |
| |
} |
| |
if((Raw=getopt(raw))==1) return RR; |
| |
SS=[]; |
| |
if(type(Sf=getopt(shift))==7){ |
| |
Sx=Sf[0];Sy=Sf[1]; |
| |
}else Sx=Sy=0; |
| |
for(I=0;I<2;I++){ |
| |
for(S0=[],L=RR[I];L!=[];L=cdr(L)){ |
| |
for(S=[],T=car(L);T!=[];T=cdr(T)){ |
| |
if(S!=[]) S=cons(0,S); |
| |
if(I==0){ |
| |
S=cons([X[0]+Sx,car(T)+Sy],S); |
| |
S=cons([Sx,car(T)+Sy],S); |
| |
}else{ |
| |
S=cons([car(T)+Sx,Y[0]+Sy],S); |
| |
S=cons([car(T)+Sx,Sy],S); |
| |
} |
| |
} |
| |
S0=cons(S,S0); |
| |
} |
| |
SS=cons(reverse(S0),SS); |
| |
} |
| |
SS=reverse(SS); |
| |
if(Raw==2) return SS; |
| |
if(length(Y)<5) T=[["",""]]; |
| |
else if(type(Y[4])==4) T=[Y[4]]; |
| |
else T=[Y[4],Y[4]]; |
| |
if(length(X[4])==4) T=cons([""],T); |
| |
else if(type(X[4])==4) T=cons(X[4],T); |
| |
else T=cons([X[4]],T); |
| |
for(Sx=Sy=[],I=0;I<2;I++){ |
| |
TT=T[I]; |
| |
for(V=SS[I];V!=[];V=cdr(V)){ |
| |
Op=car(TT); |
| |
if(length(TT)>1) TT=cdr(TT); |
| |
if(car(V)==[]) continue; |
| |
if(Op=="") S=xylines(car(V)); |
| |
else S=xylines(car(V)|opt=Op); |
| |
if(I==0) Sx=cons(S,Sx); |
| |
else Sy=cons(S,Sy); |
| |
} |
| |
} |
| |
for(S="",Sx=reverse(Sx), Sy=reverse(Sy);Sx!=[]&&Sy!=[];){ |
| |
if(Sx!=[]){ |
| |
S+=car(Sx);Sx=cdr(Sx); |
| |
} |
| |
if(Sy!=[]){ |
| |
S+=car(Sy);Sy=cdr(Sy); |
| |
} |
| |
} |
| |
return S; |
| |
} |
| |
|
| |
|
| |
def addIL(I,L) |
| |
{ |
| |
if(I==0){ |
| |
for(R=[];L!=[];L=cdr(L)) R=addIL(car(L),R); |
| |
return reverse(R); |
| |
} |
| |
if(type(In=getopt(in))==1){ |
| |
if(In==-1){ |
| |
J=JJ=I[1];I=I[0]; |
| |
for(R=[];L!=[];L=cdr(L)){ |
| |
J=lmin([car(L)[0],JJ]); |
| |
if(J>I) R=cons([I,J],R); |
| |
I=lmax([car(L)[1],I]); |
| |
} |
| |
if(I<JJ) R=cons([I,JJ],R); |
| |
return reverse(R); |
| |
}else{ |
| |
for(;L!=[];L=cdr(L)){ |
| |
if(car(L)[0]>I) return 0; |
| |
if(car(L)[1]>=I){ |
| |
if(In==3) return car(L); |
| |
if(In==1||(I!=car(L)[0]&&I!=car(L)[1])) return 1; |
| |
return 2; |
| |
} |
| |
} |
| |
return 0; |
| |
} |
| |
} |
| |
I0=car(I);I1=I[1]; |
| |
for(F=0,R=[];L!=[];L=cdr(L)){ |
| |
if(I0>car(L)[1]){ |
| |
R=cons(car(L),R); |
| |
continue; |
| |
} |
| |
if(I0<=car(L)[1]){ |
| |
I0=lmin([I0,car(L)[0]]); |
| |
if(I1<car(L)[0]){ |
| |
R=cons([I0,I1],R); |
| |
for( ;L!=[];L=cdr(L)) R=cons(car(L),R); |
| |
F=1; |
| |
break; |
| |
} |
| |
I1=lmax([I1,car(L)[1]]); |
| |
} |
| |
} |
| |
if(!F) R=cons([I0,I1],R); |
| |
return reverse(R); |
| |
} |
| |
|
| |
def xy2curve(F,N,Lx,Ly,Lz,A,B) |
| |
{ |
| |
Raw=getopt(raw); |
| |
if(type(Gap=getopt(gap))==4){ |
| |
MG=Gap[1];Gap=car(Gap); |
| |
}else MG=3; |
| |
if(type(Gap)!=1 && Gap!=0) Gap=0.7; |
| |
if(type(Dvi=getopt(dviout))<1) Dvi=0; |
| |
OL=[["dviout",Dvi]]; |
| |
if(type(Opt=getopt(opt))<1) Opt=0; |
| |
else OL=cons(["opt",Opt],OL); |
| |
if(type(Sc=getopt(scale))!=1 && type(Sc)!=4) Sc=[1,1,1]; |
| |
else if(type(Sc)!=4) Sc=[Sc,Sc,Sc]; |
| |
else if(length(Sc)!=3) Sc=[Sc[0],Sc[1],Sc[1]]; |
| |
M=diagm(3,Sc); |
| |
if(A!=0||B!=0){ |
| |
if(type(A)==6) M=A; |
| |
else M=mrot([0,-B,-A]|deg=1)*M; |
| |
V=M*newvect(3,[x,y,z]); |
| |
Fx=compdf(V[0],[x,y,z],F);Fy=compdf(V[1],[x,y,z],F);Fz=compdf(V[2],[x,y,z],F); |
| |
}else{ |
| |
for(I=0;I<3;I++){ |
| |
if(type(T=F[I])!=4) T=f2df(T); |
| |
if(type(T)==4) T=cons(car(T)*Sc[I],cdr(T)); |
| |
else T*=Sc[I]; |
| |
if(I==0) Fx=T; |
| |
else if(I==1) Fy=T; |
| |
else Fz=T; |
| |
} |
| |
} |
| |
if(Raw==5||!Gap) |
| |
return (Dvi||!Gap)? xygraph([Fy,Fz],N,Lx,Ly,Lz|option_list=OL):[Fx,Fy,Fz]; |
| |
R=xygraph([Fy,Fz],N,Lx,Ly,Lz|raw=2); |
| |
R0=cdr(car(R));R1=R[1]; |
| |
for(LT=[];R0!=[];R0=cdr(R0),R1=cdr(R1)) |
| |
if(car(R0)!=0) LT=cons([R1[0],R1[1]],LT); |
| |
LT=reverse(LT); |
| |
if(N<0){ |
| |
Be=xylines(car(R)|curve=1,proc=3,close=-1); |
| |
LT=reverse(cdr(LT)); |
| |
LT=reverse(cdr(LT)); |
| |
} |
| |
else Be=xylines(car(R)|curve=1,proc=3); |
| |
Be=cdr(cdr(Be)); |
| |
Be=lbezier(car(Be)); |
| |
if(Raw==4) return [Be,LT,Lx]; |
| |
X=ptcombz(Be,0,0); |
| |
Var=(length(Lx)==3)?car(Lx):x; |
| |
if(type(Eq=getopt(eq))!=1) Eq=0.01; |
| |
if(TikZ==1){ |
| |
Gap/=10;Eq/=10; |
| |
} |
| |
for(R=[],XT=X;XT!=[];XT=cdr(XT)){ |
| |
V=car(XT); |
| |
U=LT[V[0][0]]; |
| |
T=U[0]*V[1][0]+U[1]*(1-V[1][0]); |
| |
VV=myfdeval(Fx,[Var,T]); |
| |
U=LT[V[0][1]]; |
| |
T=U[0]*V[1][1]+U[1]*(1-V[1][1]); |
| |
VV-=myfdeval(Fx,[Var,T]); |
| |
if(abs(VV)<Eq) continue; |
| |
I=(VV<0)?0:1; |
| |
R=cons([V[0][I],V[1][I],V[0][1-I],V[1][1-I]],R); |
| |
} |
| |
R=qsort(R); |
| |
if(Raw==3) return [Be,R]; |
| |
Db=newvect(L=length(Be)); |
| |
for(I=0;I<L;I++) Db[I]=[]; |
| |
for(TR=R;TR!=[];TR=cdr(TR)){ |
| |
V1=ptbezier(Be,[I=car(TR)[0],P=car(TR)[1]])[1]; |
| |
V2=ptbezier(Be,[car(TR)[2],car(TR)[3]])[1]; |
| |
T=dsqrt(1-dvangle(V1,V2)^2); |
| |
if(T<1/MG) T=MG; |
| |
GP=Gap/T; |
| |
W=GP/dnorm(V1); |
| |
Db[I]=addIL([P-W,P+W],Db[I]); |
| |
if(P-W<0 && I>0) Db[I-1]=addIL([P-W+1,1],Db[I-1]); |
| |
if(P+W>1 && I+1<L) Db[I+1]=addIL([0,P+W-1],Db[I+1]); |
| |
} |
| |
Db=vtol(Db); |
| |
for(Bf=[];Be!=[];Be=cdr(Be),Db=cdr(Db)){ |
| |
if(car(Db)==[]) Bf=cons(car(Be),Bf); |
| |
else{ |
| |
D=addIL([0,1],car(Db)|in=-1); |
| |
for(;D!=[];D=cdr(D)) |
| |
Bf=cons(tobezier(car(Be)|inv=car(D)),Bf); |
| |
} |
| |
} |
| |
Bf=reverse(Bf); |
| |
if(Raw==2) return Bf; |
| |
OL=[]; |
| |
if(Opt){ |
| |
if(type(Opt)==4&&length(Opt)>1) OL=[["opt",Opt[0]],["cmd",Opt[1]]]; |
| |
else OL=[["opt",Opt]]; |
| |
}else OL=[]; |
| |
S=xybezier(lbezier(Bf|inv=1)|option_list=OL); |
| |
if(Raw==1||!Dvi) return S; |
| |
return xyproc(S|dviout=Dvi); |
| |
} |
| |
|
| |
def rungeKutta(F,N,Lx,Y,IY) |
| |
{ |
| |
if((Pr=getopt(prec))==1){ |
| |
One=eval(exp(0)); |
| |
}else{ |
| |
One=1;Pr=0; |
| |
} |
| |
if((FL=getopt(last))!=1) FL=0; |
| |
if(length(Lx)>2){ |
| |
V=car(Lx);Lx=cdr(Lx); |
| |
}else V=x; |
| |
if(Pr==0) Lx=[deval(Lx[0]),deval(Lx[1])]; |
| |
else Lx=[eval(Lx[0]),eval(Lx[1])]; |
| |
if(type(Y)==4){ |
| |
if((Sing=getopt(single))==1||type(F)!=4) |
| |
F=append(cdr(Y),[F]); |
| |
L=length(Y); |
| |
for(TF=[];F!=[];F=cdr(F)) |
| |
TF=cons(f2df(car(F)),TF); |
| |
F=reverse(TF); |
| |
}else{ |
| |
L=1; |
| |
F=f2df(F); |
| |
} |
| |
if(getopt(val)==1) V1=1; |
| |
else V1=0; |
| |
H=(Lx[1]-Lx[0])/N;H2=H/2; |
| |
FV=findin(V,vars(F)); |
| |
K=newvect(4); |
| |
if(L==1){ |
| |
R=[[T=Lx[0],S=IY]]; |
| |
if(!H) return R; |
| |
for(;;){ |
| |
for(I=0;I<4;I++){ |
| |
if(I==0) W=[[V,T],[Y,S]]; |
| |
else if(I==3) W=[[V,T+H],[Y,S+H*K[2]]]; |
| |
else W=[[V,T+H2],[Y,S+H2*K[I-1]]]; |
| |
if(FV<0) W=cdr(W); |
| |
K[I]=Pr?myfeval(F,W)*One:myfdeval(F,W); |
| |
} |
| |
S+=(K[0]+2*K[1]+2*K[2]+K[3])*H/6;T+=H; |
| |
if(!FL) R=cons([deval(T),S],R); |
| |
if((T+H-Lx[1])*H>0) break; |
| |
} |
| |
}else{ |
| |
T=Lx[0]; |
| |
R=[cons(T,V1?[car(IY)]:IY)]; |
| |
S=ltov(IY); |
| |
if(!H) return R; |
| |
for(;;){ |
| |
for(I=0;I<4;I++){ |
| |
if(I==0) W=cons([V,T ],lpair(Y,vtol(S))); |
| |
else if(I==3) W=cons([V,T+H ],lpair(Y,vtol(S+H*K[2]))); |
| |
else W=cons([V,T+H2],lpair(Y,vtol(S+H2*K[I-1]))); |
| |
if(FV<0) W=cdr(W); |
| |
for(TK=[],TF=F;TF!=[];TF=cdr(TF)){ |
| |
TK=cons(Pr?myfeval(car(TF),W)*One:myfdeval(car(TF),W),TK); |
| |
} |
| |
K[I]=ltov(reverse(TK)); |
| |
} |
| |
S+=(K[0]+2*K[1]+2*K[2]+K[3])*H/6;T+=H; |
| |
TS=vtol(S); |
| |
if(V1) TS=[car(TS)]; |
| |
if(!FL) R=cons(cons(deval(T),TS),R); |
| |
if((T+H-Lx[1])*H>0) break; |
| |
} |
| |
} |
| |
return FL?(V1?S[0]:S):reverse(R); |
| |
} |
| |
|
| def xy2graph(F0,N,Lx,Ly,Lz,A,B) |
def xy2graph(F0,N,Lx,Ly,Lz,A,B) |
| { |
{ |
| /* (x,y,z) -> ( -x sin A + y cos A, z cos B - x cos A sin B - y sin A sin B) */ |
/* (x,y,z) -> (z sin B + x cos A cos B + y sin A cos B, |
| |
-x sin A + y cos A, z cos B - x cos A sin B - y sin A sin B) */ |
| if((Proc=getopt(proc))==1||Proc==2){ |
if((Proc=getopt(proc))==1||Proc==2){ |
| OPT0=[["proc",3]]; |
OPT0=[["proc",3]]; |
| }else{ |
}else{ |
| Line 11558 def xy2graph(F0,N,Lx,Ly,Lz,A,B) |
|
| Line 12898 def xy2graph(F0,N,Lx,Ly,Lz,A,B) |
|
| if(Dvi<0) return Lout; |
if(Dvi<0) return Lout; |
| } |
} |
| |
|
| |
def orthpoly(N) |
| |
{ |
| |
F=0; |
| |
if(type(P=getopt(pol))==7){ |
| |
for(L=["Le","Ge","Tc","2T","Ja","He","La","Se"];L!=[];L=cdr(L),F++) |
| |
if(str_str(P,car(L)|end=2)==0) break; |
| |
}else P=0; |
| |
if(type(D=N)==4) D=N[0]; |
| |
if(!isint(D)||D<0) return 0; |
| |
if(F==0) return seriesHG([-D,D+1],[1],(1-x)/2,D); |
| |
if(F==1) return red(seriesHG([-D,D+2*N[1]],[N[1]+1/2],(1-x)/2,D)*binom(D+2*N[1]-1,D)); |
| |
if(F==2) return seriesHG([-D,D],[1/2],(1-x)/2,D); |
| |
if(F==3){ |
| |
if(D==0) return 0; |
| |
return orthpoly([D-1,1]|pol="Ge"); |
| |
} |
| |
if(F==4) return red(seriesHG([-D,D+N[1]],[N[2]],x,D)); |
| |
if(F==5){ |
| |
for(S=I=1;I<=D;I+=2) S*=I; |
| |
if(iand(D,1)) return seriesHG([-(D-1)/2],[3/2],x^2/2,D-1)*x*S*(-1)^((D-1)/2); |
| |
else return seriesHG([-D/2],[1/2],x^2/2,D)*S*(-1)^(D/2); |
| |
} |
| |
if(F==6){ |
| |
NN=(type(N)==4)?N[1]:0; |
| |
return red(seriesHG([-D],[NN+1],x,D)*binom(D+NN,D)); |
| |
} |
| |
if(F==7){ |
| |
NN=N[1]; |
| |
for(S=1,I=1;I<=D;I++) S+=(-1)^I*binom(D,I)*binom(D+I,I)*sftpow(x,I)/sftpow(NN,I); |
| |
return S; |
| |
} |
| |
return 0; |
| |
} |
| |
|
| |
def schurpoly(L) |
| |
{ |
| |
N=length(L); |
| |
for(R=[],I=1;L!=[];L=cdr(L),I++) R=cons(car(L)+N-I,R); |
| |
L=reverse(R); |
| |
if(type(X=getopt(var))!=4){ |
| |
V=(type(X)>1)?X:"x"; |
| |
for(X=[],I=0;I<N;I++) X=cons(makev([V,N-I]),X); |
| |
} |
| |
M=newmat(N,N); |
| |
for(I=0;I<N;I++) |
| |
for(J=0;J<N;J++) M[I][J]=X[I]^L[J]; |
| |
P=det(M); |
| |
for(I=0;I<N;I++) |
| |
for(J=I+1;J<N;J++) P=sdiv(P,X[I]-X[J]); |
| |
return P; |
| |
} |
| |
|
| def fouriers(A,B,X) |
def fouriers(A,B,X) |
| { |
{ |
| |
if((Y=getopt(y))==0||type(Y)>0) Y=deval(Y); |
| |
else Y=0; |
| |
if((V=getopt(const))==0||type(V)>0){ |
| |
V=myfeval(V,Y); |
| |
K=1; |
| |
}else K=0; |
| if(A!=[]&&type(car(A))>1){ |
if(A!=[]&&type(car(A))>1){ |
| for(C=[],I=A[1];I>=0;I--) C=cons(myfeval(car(A),I),C); |
for(C=[],I=A[1];I>=K;I--) C=cons(myf2eval(car(A),I,Y),C); |
| |
if(K) C=cons(0,C); |
| A=C; |
A=C; |
| } |
} |
| |
if(K){ |
| |
if(A!=[]) A=cdr(A); |
| |
A=cons(V,A); |
| |
} |
| if(B!=[]&&type(car(B))>1){ |
if(B!=[]&&type(car(B))>1){ |
| for(C=[],I=B[1];I>0;I--) C=cons(myfeval(car(B),I),C); |
for(C=[],I=B[1];I>0;I--) C=cons(myf2eval(car(B),I,Y),C); |
| B=C; |
B=C; |
| } |
} |
| R=0; |
L=length(B)+1; |
| |
if(length(A)>=L) L=length(A)+1; |
| |
if(type(Sum=getopt(sum))>0){ |
| |
if(Sum==1) Sum=1-x; |
| |
else if(Sum==2) Sum=[(z__)/(3.1416*x),[z__,os_md.mysin,3.1416*x]]; |
| |
else Sum=f2df(Sum); |
| |
C=[]; |
| |
if(A!=[]){ |
| |
C=cons(car(A),C); |
| |
A=cdr(A); |
| |
} |
| |
for(I=1;A!=[];A=cdr(A),I++) C=cons(car(A)*myf2eval(Sum,I/L,L),C); |
| |
A=reverse(C); |
| |
for(C=[],I=1;B!=[];B=cdr(B),I++) C=cons(car(B)*myf2eval(Sum,I/L,L),C); |
| |
B=reverse(C); |
| |
} |
| if(getopt(cpx)==1){ |
if(getopt(cpx)==1){ |
| if(type(X=eval(X))>1) return todf([os_md.fouriers,[["cpx",1]]],[[A],[B],[X]]); |
if(type(X=eval(X))>1) return todf([os_md.fouriers,[["cpx",1]]],[[A],[B],[X]]); |
| V=dexp(@i*X); |
V=dexp(@i*X); |
| for(C=A,P=1,I=0;C!=[];C=cdr(C),I++){ |
for(C=A,P=1,I=0;C!=[];C=cdr(C),I++){ |
| R+=car(C)*P; |
R+=S*car(C)*P; |
| P*=V; |
P*=V; |
| } |
} |
| V=dexp(-@i*X); |
V=dexp(-@i*X); |
|
|
| def mytan(Z) |
def mytan(Z) |
| { |
{ |
| if(type(Z=eval(Z))>1) return todf(os_md.mytan,[Z]); |
if(type(Z=eval(Z))>1) return todf(os_md.mytan,[Z]); |
| if((Im=imag(Z))==0) return dsin(Z); |
if((Im=imag(Z))==0) return dtan(Z); |
| V=myexp(2*Z*@i); |
V=myexp(2*Z*@i); |
| return @i*(1-V)/(1+V); |
return @i*(1-V)/(1+V); |
| } |
} |
| Line 12089 def compdf(F,V,G) |
|
| Line 13507 def compdf(F,V,G) |
|
| { |
{ |
| FL=["abs","floor","rint","zeta","gamma","arg","real","imag","conj"]; |
FL=["abs","floor","rint","zeta","gamma","arg","real","imag","conj"]; |
| FS=[os_md.abs,floor,rint,os_md.zeta,os_md.gamma,os_md.myarg,real,imag,conj]; |
FS=[os_md.abs,floor,rint,os_md.zeta,os_md.gamma,os_md.myarg,real,imag,conj]; |
| if(type(V)==4){ |
|
| for(;V!=[];V=cdr(V),G=cdr(G)) F=compdf(F,car(V),car(G)); |
|
| return F; |
|
| } |
|
| if(type(F)==7){ |
if(type(F)==7){ |
| if(str_str(F,"|")==0){ |
if(str_str(F,"|")==0){ |
| F="abs("+str_cut(F,1,str_len(F)-2)+")"; |
F="abs("+str_cut(F,1,str_len(F)-2)+")"; |
| Line 12113 def compdf(F,V,G) |
|
| Line 13527 def compdf(F,V,G) |
|
| } |
} |
| if(type(F)!=4) F=f2df(F); |
if(type(F)!=4) F=f2df(F); |
| if(type(G)!=4) G=f2df(G); |
if(type(G)!=4) G=f2df(G); |
| |
if(V==G) return F; /* subst(F(V),V,G) */ |
| VF=vars(F);VG=vars(G); |
VF=vars(F);VG=vars(G); |
| |
if(type(V)==4){ |
| |
for(VT=[],VV=V;VV!=[];VV=cdr(VV)){ |
| |
if(findin(car(VV),VF)>=0){ |
| |
X=makenewv(append(VF,VG)); |
| |
VF=cons(X,VF); |
| |
F=mysubst(F,[car(VV),X]); |
| |
VT=cons(X,VT); |
| |
}else VT=cons(car(VV),VT); |
| |
} |
| |
for(V=reverse(VT);V!=[];V=cdr(V),G=cdr(G)) F=compdf(F,car(V),car(G)); |
| |
return F; |
| |
} |
| for(E=I=0;I<30;I++){ |
for(E=I=0;I<30;I++){ |
| for(J=0;J<30;J++){ |
for(J=0;J<30;J++){ |
| X=makev(["z__",I,J]); |
X=makev(["z__",I,J]); |
| Line 12124 def compdf(F,V,G) |
|
| Line 13551 def compdf(F,V,G) |
|
| if(E) break; |
if(E) break; |
| } |
} |
| if(!E) return 0; |
if(!E) return 0; |
| if(V==G) return F; /* subst(F(V),V,G) */ |
|
| if(type(G)<4) return mysubst(F,[V,G]); |
if(type(G)<4) return mysubst(F,[V,G]); |
| if(type(F)<4) F=[F]; /* return compdf([X,[X,0,F]],V,G); */ |
if(type(F)<4) F=[F]; /* return compdf([X,[X,0,F]],V,G); */ |
| F=mysubst(F,[V,X]); |
F=mysubst(F,[V,X]); |
| Line 12572 def xygraph(F,N,LT,LX,LY) |
|
| Line 13998 def xygraph(F,N,LT,LX,LY) |
|
| } |
} |
| V=reverse(NV); |
V=reverse(NV); |
| } |
} |
| if(getopt(raw)==1) return V; |
if((Raw=getopt(raw))==1) return V; |
| |
if(Raw==2) return [V,LT]; |
| OL=[["curve",1]];OLP=[]; |
OL=[["curve",1]];OLP=[]; |
| if(type(C=getopt(ratio))==1){ |
if(type(C=getopt(ratio))==1){ |
| OL=cons(["ratio",C],OL);OLP=cons(["ratio",C],OLP); |
OL=cons(["ratio",C],OL);OLP=cons(["ratio",C],OLP); |
| Line 12830 def polroots(L,V) |
|
| Line 14257 def polroots(L,V) |
|
| Lim=Lim2=[]; |
Lim=Lim2=[]; |
| if(type(L)<4){ |
if(type(L)<4){ |
| if(type(Lim=getopt(lim))==4){ |
if(type(Lim=getopt(lim))==4){ |
| if(type(Lim[0])!=4) Lim=[Lim]; |
if(type(Lim[0])!=4){ |
| |
if(!isvar(Lim[0])) Lim=cons(V,[Lim]); |
| |
Lim=[Lim]; |
| |
} |
| |
if(!isvar(Lim[0][0])) Lim=[cons(V,Lim)]; |
| Lim=delopt(Lim,V|inv=1); |
Lim=delopt(Lim,V|inv=1); |
| if(Lim!=[]){ |
if(Lim!=[]){ |
| Lim=Lim[0]; |
Lim=Lim[0]; |
| Line 12892 def polroots(L,V) |
|
| Line 14323 def polroots(L,V) |
|
| if(SS==0&&INIT==1){ |
if(SS==0&&INIT==1){ |
| SS=polroots(L,V|option_list=OL); |
SS=polroots(L,V|option_list=OL); |
| if(SS!=0) return SS; |
if(SS!=0) return SS; |
| for(C=0;SS==0&&C<4;C++){ |
for(C=0;SS==0&&C<5;C++){ |
| I=(C==0)?1:(iand(random(),0xff)-0x80); |
I=(C==0)?1:(iand(random(),0xff)-0x80); |
| for(LL=[],K=length(L)-1;K>=0;K--){ |
for(LL=[],K=length(L)-1;K>=0;K--){ |
| for(Q=0,J=length(L)-1;J>=0;J--) |
for(Q=0,J=length(L)-1;J>=0;J--) |
| Line 12918 def polroots(L,V) |
|
| Line 14349 def polroots(L,V) |
|
| for(SS=[];R!=[];R=cdr(R)){ |
for(SS=[];R!=[];R=cdr(R)){ |
| RS=(N==2)?[car(R)]:car(R); |
RS=(N==2)?[car(R)]:car(R); |
| for(I=0,L0=L[0];I<N-1;I++) L0=mysubst(L0,[V1[I],RS[I]]); |
for(I=0,L0=L[0];I<N-1;I++) L0=mysubst(L0,[V1[I],RS[I]]); |
| |
if(L0==0) return 0; |
| S0=polroots(L0,V[0]|option_list=OL); |
S0=polroots(L0,V[0]|option_list=OL); |
| if(type(S0)<2) return S0; |
if(type(S0)<2) return S0; |
| for(S=S0;S!=[];S=cdr(S)){ |
for(S=S0;S!=[];S=cdr(S)){ |
| Line 13110 def cutf(F,X,VV) |
|
| Line 14542 def cutf(F,X,VV) |
|
| if(car(V)!=[] && car(V)[0]<X) return myfeval(car(V)[1],Y); |
if(car(V)!=[] && car(V)[0]<X) return myfeval(car(V)[1],Y); |
| return myfeval(F,Y); |
return myfeval(F,Y); |
| } |
} |
| if(X>car(V)[0]) continue; |
if(car(V)==[]||X>car(V)[0]) continue; |
| if(X==car(V)[0]) return car(V)[1]; |
if(X==car(V)[0]) return car(V)[1]; |
| return myfeval(F,Y); |
return myfeval(F,Y); |
| } |
} |
| Line 13137 def periodicf(F,L,X) |
|
| Line 14569 def periodicf(F,L,X) |
|
| if(type(L)==4) L=[eval(L[0]),eval(L[1])]; |
if(type(L)==4) L=[eval(L[0]),eval(L[1])]; |
| else L=eval(L); |
else L=eval(L); |
| if(isvar(X)){ |
if(isvar(X)){ |
| Y=makenewv([X,V]); |
Y=makenewv([X,F]); |
| if(type(F)==5) return [Y,[Y,os_md.periodicf,[F],L,X]]; |
Z=makenewv([X,Y,F]); |
| Z=makenewv([X,Y,V]); |
return [Z,[Z,os_md.periodicf,[mysubst(F,[x,Y])],(type(L)==4)?[L]:L,[[Y,X]]]]; |
| return [Z,[Z,os_md.periodicf,[mysubst(F,[x,Y])],[L],[[Y,X]]]]; |
|
| } |
} |
| X=eval(X); |
if(type(X)==4){ |
| if(type(F)==5) |
V=X[0]; |
| return myfeval(F[floor(X/L)%length(F)],X-floor(X/L)*L); |
X=X[1]; |
| |
}else V=x; |
| |
if(type(F)==5){ |
| |
X=eval(X); |
| |
return myfeval(F[floor(X/L)%length(F)],[V,X-floor(X/L)*L]); |
| |
} |
| if(type(L)==4){ |
if(type(L)==4){ |
| if(type(X)==4){ |
|
| V=X[0]; |
|
| X=X[1]; |
|
| }else V=x; |
|
| X-=floor((X-L[0])/(L[1]-L[0]))*(L[1]-L[0]); |
X-=floor((X-L[0])/(L[1]-L[0]))*(L[1]-L[0]); |
| return myfeval(F,[V,X]); |
return myfeval(F,[V,X]); |
| } |
} |
| Line 13546 def draw_bezier(ID,IDX,B) |
|
| Line 14978 def draw_bezier(ID,IDX,B) |
|
| return 0; |
return 0; |
| } |
} |
| |
|
| |
|
| |
/* |
| |
def redbezier(L) |
| |
{ |
| |
V=newvect(4);ST=0; |
| |
for(R=[],I=0,T=L;T=[];T=cdr(T){ |
| |
if(type(car(T))<4){ |
| |
F=0; |
| |
if(I==3) |
| |
if(car(T)==0){ |
| |
}else if(car(T)==1){ |
| |
}else if(car(T)==-1){ |
| |
if(I<3) V[I++]=ST; |
| |
} |
| |
}else if(I==3){ |
| |
if(R==[] || car(R)!=1){ |
| |
R=cons(V[0],R); |
| |
if(ST==0) ST=V[0]; |
| |
} |
| |
for(J=1;J<3;J++) R=cons(V[J],R); |
| |
while((T=cdr(T))!=[]){ |
| |
R=cons(car(T),R); |
| |
if(type(car(R))<4) |
| |
} |
| |
}else{ |
| |
if(ST==0) ST=car(T); |
| |
V[I++]= car(T); |
| |
} |
| |
} |
| |
} |
| |
*/ |
| |
|
| def lbezier(L) |
def lbezier(L) |
| { |
{ |
| if((In=getopt(inv))==1||In==2||In==3){ |
if((In=getopt(inv))==1||In==2||In==3){ |
| Line 13934 def xycirc(P,R) |
|
| Line 15398 def xycirc(P,R) |
|
| return S+"}};\n"; |
return S+"}};\n"; |
| } |
} |
| |
|
| |
def xypoch(W,H,R1,R2) |
| |
{ |
| |
if(H>R1||2*H>R2){ |
| |
errno(0); |
| |
return; |
| |
} |
| |
if(type(Ar=getopt(ar))!=1) Ar=TikZ?0.25:2.5; |
| |
T1=dasin(H/R1);S1=R1*dcos(T1); |
| |
T2=dasin(H/R2);S2=R2*dcos(T2); |
| |
T3=dasin(2*H/R2);S3=R2*dcos(T3); |
| |
S=xyline([R1,0],[W-R1,0]); |
| |
S+=xyang(R1,[W,0],-@pi,@pi-T1); |
| |
S+=xyline([S2,H],[W-S1,H]); |
| |
S+=xyang(R2,[0,0],T2,2*@pi-T3); |
| |
S+=xylines([[S3,-2*H],[W-H-R2,-2*H],[W-H-R2,2*H],[W-S3,2*H]]); |
| |
S+=xyang(R2,[W,0],-@pi+T2,@pi-T3); |
| |
S+=xyline([W-T2,-H],[W-T2,-H]); |
| |
S+=xyang(R1,[0,0],0,2*@pi-T1); |
| |
S+=xyline([W-S2,-H],[S1,-H]); |
| |
if(Ar>0){ |
| |
S+=xyang(Ar,[W/2,0],[0,0],8); |
| |
S+=xyang(Ar,[W/2,-2*H],[0,-2*H],8); |
| |
S+=xyang(Ar,[W/2-Ar,-H],[W,-H],8); |
| |
S+=xyang(Ar,[W/2-Ar,H],[W,H],8); |
| |
S+=xyang(Ar,[W-S3,2*H],[W-H-R2,2*H],8); |
| |
} |
| |
S+=xyput([R1,0,"$\\bullet$"]); |
| |
S+=xyput([0,0,"$\\times$"]); |
| |
S+=xyput([W,0,"$\\times$"]); |
| |
if(TikZ) S=str_subst(S,";\n\\draw","\n"); |
| |
return S; |
| |
} |
| |
|
| def ptaffine(M,L) |
def ptaffine(M,L) |
| { |
{ |
| if(type(L)!=4&&type(L)!=5){ |
if(type(L)!=4&&type(L)!=5){ |
| Line 14222 def ptcopy(L,V) |
|
| Line 15719 def ptcopy(L,V) |
|
| |
|
| def average(L) |
def average(L) |
| { |
{ |
| L=os_md.m2l(L|flat=1); |
if(getopt(opt)=="co"){ |
| M0=M1=car(L); |
S0=average(L[0]);V0=car(S0); |
| for(I=SS=0, LT=L; LT!=[]; LT=cdr(LT), I++){ |
S1=average(L[1]);V1=car(S1); |
| S+=(V=car(LT)); |
L0=os_md.m2l(L[0]|flat=1); |
| SS+=V^2; |
L1=os_md.m2l(L[1]|flat=1); |
| if(V<M0) M0=V; |
for(S=0;L0!=[];L0=cdr(L0),L1=cdr(L1)) |
| else if(V>M1) M1=V; |
S+=(car(L0)-V0)*(car(L1)-V1); |
| |
S/=S0[1]*S1[1]*S0[2]; |
| |
S=[S,S0,S1]; |
| |
}else{ |
| |
L=os_md.m2l(L|flat=1); |
| |
M0=M1=car(L); |
| |
for(I=SS=0, LT=L; LT!=[]; LT=cdr(LT), I++){ |
| |
S+=(V=car(LT)); |
| |
SS+=V^2; |
| |
if(V<M0) M0=V; |
| |
else if(V>M1) M1=V; |
| |
} |
| |
SS=dsqrt(SS/I-S^2/I^2); |
| |
S=[deval(S/I),SS,I,M0,M1]; |
| } |
} |
| SS=dsqrt(SS/I-S^2/I^2); |
|
| S=[deval(S/I),SS,I,M0,M1]; |
|
| if(isint(N=getopt(sint))) S=sint(S,N); |
if(isint(N=getopt(sint))) S=sint(S,N); |
| return S; |
return S; |
| } |
} |
|
|
| else Hline=subst(Hline,z,S); |
else Hline=subst(Hline,z,S); |
| for(VV=[],VT=Hline;VT!=[];VT=cdr(VT)){ |
for(VV=[],VT=Hline;VT!=[];VT=cdr(VT)){ |
| if(type(T=car(VT))==4 && T[1]>0){ |
if(type(T=car(VT))==4 && T[1]>0){ |
| for(I=T[0];I<=CS;I+=T[1]) VV=cons(I,VV); |
for(I=T[0];I<=S;I+=T[1]) VV=cons(I,VV); |
| }else VV=cons(T,VV); |
}else VV=cons(T,VV); |
| } |
} |
| Hline=qsort(VV); |
Hline=qsort(VV); |
|
|
| OL=delopt(OL,"line"); |
OL=delopt(OL,"line"); |
| LL=L[1];L=L[0];K=length(L);S=""; |
LL=L[1];L=L[0];K=length(L);S=""; |
| if(!MX){ |
if(!MX){ |
| MX=newvec(Length(L[0])); |
MX=newvect(length(L[0])); |
| for(LT=L;LT!=[];LT=cdr(LT)){ |
for(LT=L;LT!=[];LT=cdr(LT)){ |
| for(I=0,LTT=car(LT);LTT!=[];I++,LTT=cdr(LTT)){ |
for(I=0,LTT=car(LT);LTT!=[];I++,LTT=cdr(LTT)){ |
| if(REL==1) MX[I]+=car(LTT); |
if(REL==1) MX[I]+=car(LTT); |
|
|
| MX=lmax(MX); |
MX=lmax(MX); |
| OL=cons(["max",MX],OL); |
OL=cons(["max",MX],OL); |
| } |
} |
| for(I=0;I<L[I];I++) |
for(I=0;I<K;I++) |
| S+=ltotex([R,LL]|option_list |
S+=ltotex([L[I],LL]|option_list |
| =cons(["line",Line[I]],cons(["strip",(!I)?1:2],OL))); |
=cons(["line",Line[I]],cons(["strip",(!I)?1:2],OL))); |
| return(!Strip)?xyproc(S):S; |
return(!Strip)?xyproc(S):S; |
| } |
} |
|
|
| if((S=car(LT))<=0) return 0; |
if((S=car(LT))<=0) return 0; |
| Sum+=S; |
Sum+=S; |
| } |
} |
| for(R=[],LT=L;LT!=[];LT=cdr(LT)) |
for(R=[],LT=L;LT!=[];LT=cdr(LT)) R=cons(car(LT)/Sum,R); |
| R=cons(car(LT)/Sum,R); |
|
| R=reverse(R); |
R=reverse(R); |
| Opt0=Opt*2/3; |
Opt0=Opt*2/3; |
| Out=str_tb((Strip>0)?0:xyproc(1),0); |
Out=str_tb((Strip>0)?0:xyproc(1),0); |
| str_tb(xylines(ptpolygon(6,Opt)|close=1,curve=1),Out); |
if(type(CL)!=4) str_tb(xylines(ptpolygon(6,Opt)|close=1,curve=1),Out); |
| for(S=0,RT=R,LT=LL;RT!=[];RT=cdr(RT)){ |
for(S=0,RT=R,LT=LL;RT!=[];RT=cdr(RT)){ |
| str_tb(xyline([0,0],[Opt*dsin(S*6.2832),Opt*dcos(S*6.2832)]),Out); |
SS=S+RT[0]; |
| T=S+RT[0]/2; |
if(type(CL)==4){ |
| S+=RT[0]; |
str_tb(xyang(Opt,[0,0],(0.25-SS)*6.2832,(0.25-S)*6.2832|ar=1,opt=car(CL)),Out); |
| |
if(length(CL)>0) CL=cdr(CL); |
| |
}else str_tb(xyline([0,0],[Opt*dsin(S*6.2832),Opt*dcos(S*6.2832)]),Out); |
| |
T=(S+SS)/2; |
| |
S=SS; |
| if(LT!=[]){ |
if(LT!=[]){ |
| str_tb(xyput([Opt0*dsin(T*6.2832),Opt0*dcos(T*6.2832),SS]),Out); |
str_tb(xyput([Opt0*dsin(T*6.2832),Opt0*dcos(T*6.2832),car(LT)]),Out); |
| LT=cdr(LT); |
LT=cdr(LT); |
| } |
} |
| } |
} |
| Line 15965 def conf1sp(M) |
|
| Line 17476 def conf1sp(M) |
|
| return P; |
return P; |
| } |
} |
| |
|
| |
/* ((1)(1)) ((1)) 111|11|21 [[ [2,[ [1,[1]],[1,[1]] ]], [1,[[1,[1]]]] ]] */ |
| |
/* (11)(1),111 111|21,111 [[[2,[1,1]],[1,[1]]],[1,1,1]] */ |
| |
def s2csp(S) |
| |
{ |
| |
if(type(S)!=7){ |
| |
U=""; |
| |
if(type(N=getopt(n))>0){ |
| |
for(D=0,S=reverse(S);S!=[];S=cdr(S),D++){ |
| |
if(D) U=","+U; |
| |
T=str_subst(rtostr(car(S)),","," "); |
| |
U=str_cut(T,1,str_len(T)-2)+U; |
| |
} |
| |
V=strtoascii(U); |
| |
for(R=[];V!=[];V=cdr(V)){ |
| |
if((CC=car(V))==91){ /* [ */ |
| |
if(length(V)>1 && V[1]==91) V=cdr(V); |
| |
for(I=1;(CC=V[I])!=91&&CC!=93;I++); |
| |
if(CC==91){ |
| |
R=cons(40,R); /* ( */ |
| |
while(I--) V=cdr(V); |
| |
}else{ |
| |
V=cdr(V); |
| |
while(--I) R=cons(car(V),R); |
| |
} |
| |
}else if(CC==93){ /* ] */ |
| |
R=cons(41,R); |
| |
if(length(V)>1 && V[1]==93) V=cdr(V); |
| |
}else R=cons(CC,R); |
| |
} |
| |
return asciitostr(reverse(R)); |
| |
} |
| |
for(;S!=[];S=cdr(S)){ |
| |
if(U!="") U=U+","; |
| |
for(D=0,TU="",T=car(S);T!=[];D++){ |
| |
if(type(car(T))==4){ |
| |
R=lpair(T,0); |
| |
T=R[0];R1=m2l(R[1]|flat=1); |
| |
}else R1=[]; |
| |
if(D) TU="|"+TU; |
| |
TU=s2sp([T])+TU; |
| |
T=R1; |
| |
} |
| |
U=U+TU; |
| |
} |
| |
return U; |
| |
} |
| |
S=strtoascii(S); |
| |
if(type(N=getopt(n))>0){ |
| |
S=ltov(S); |
| |
L=length(S); |
| |
R=""; |
| |
for(I=J=N=0, V=[];J<L;J++){ |
| |
if(S[J]==72) I=J; /* ( */ |
| |
else if(S[J]>47&&S[J]<58) N=N*10+S[J]-48; |
| |
else{ |
| |
if(N>0){ |
| |
V=cons(N,V); |
| |
N=0; |
| |
} |
| |
if(S[J]==41){ /* ) */ |
| |
|
| |
}else if(S[J]==44){ /* , */ |
| |
|
| |
} |
| |
} |
| |
} |
| |
} |
| |
for(P=TS=[],I=D=0; S!=[]; S=cdr(S)){ |
| |
if((C=car(S))==44){ /* , */ |
| |
P=cons(D,P);D=0; |
| |
}else if(C==124){ /* | */ |
| |
D++;C=44; |
| |
} |
| |
TS=cons(C,TS); |
| |
} |
| |
S=reverse(TS); |
| |
P=reverse(cons(D,P)); |
| |
U=s2sp(asciitostr(S)); |
| |
|
| |
for(R=[];P!=[];P=cdr(P),U=cdr(U)){ |
| |
D=car(P);R0=car(U); |
| |
while(D--){ |
| |
U=cdr(U); |
| |
for(U0=car(U),R2=[];U0!=[];U0=cdr(U0)){ |
| |
for(R1=[],N=car(U0);N>0;R0=cdr(R0)){ |
| |
R1=cons(car(R0),R1); |
| |
if(type(car(R0))==4) N-=car(R0)[0]; |
| |
else N-=car(R0); |
| |
} |
| |
R2=cons([car(U0),reverse(R1)],R2); |
| |
} |
| |
R0=reverse(R2); |
| |
} |
| |
R=cons(R0,R); |
| |
} |
| |
return reverse(R); |
| |
} |
| |
|
| |
|
| |
def partspt(S,T) |
| |
{ |
| |
if(length(S)>length(T)) return []; |
| |
if(type(Op=getopt(opt))!=1) Op=0; |
| |
else{ |
| |
VS=ltov(S); |
| |
L=length(S)-1; |
| |
VT=ltov(qsort(T)); |
| |
} |
| |
if(length(S)==length(T)){ |
| |
if(S==T||qsort(S)==qsort(T)) R=S; |
| |
else return []; |
| |
}else if(getopt(sort)==1){ |
| |
S0=S1=[]; |
| |
for(;S!=[]&&car(S)==car(T);S=cdr(S),T=cdr(T)) |
| |
S0=cons(car(S),S0); |
| |
if(S!=[]&&car(S)<car(T)) return []; |
| |
S0=reverse(S0); |
| |
for(S=reverse(S),T=reverse(T);S!=[],car(S)==car(T);S=cdr(S),T=cdr(T)) |
| |
S1=cons(car(S),S1); |
| |
if(car(S)!=[]&&car(S)<cat(T)) return []; |
| |
R=partspt(reverse(S),reverse(T)); |
| |
if(S1!=[]){ |
| |
for(R0=[];R!=[];R=cdr(R)) |
| |
R0=cons(append(car(R),S1),R0); |
| |
R=reverse(R0); |
| |
} |
| |
if(S0!=[]){ |
| |
for(R0=[];R!=[];R=cdr(R)) |
| |
R0=cons(append(S0,car(R)),R0); |
| |
R=reverse(R0); |
| |
} |
| |
}else{ |
| |
for(R=[];;){ |
| |
for(I=J=P=0;I<L;I++){ |
| |
P=VS[I]; |
| |
X=100000; |
| |
while((P-=(Y=VT[J++]))>0){ |
| |
if(X<Y) break; |
| |
X=Y; |
| |
} |
| |
if(X<Y||P<0) break; |
| |
} |
| |
if(!P&&X>=Y) R=cons(vtol(VT),R); |
| |
if(!vnext(VT)) break; |
| |
} |
| |
} |
| |
if(Op){ |
| |
for(W=[];R!=[];R=cdr(R)){ |
| |
for(I=0,S=VS[0],K=U=[],TR=car(R);TR!=[];TR=cdr(TR)){ |
| |
K=cons(car(TR),K); |
| |
if(!(S-=car(K))){ |
| |
U=cons([VS[I],reverse(K)],U); |
| |
K=[]; |
| |
S=VS[++I]; |
| |
if(I==L){ |
| |
U=cons([S,cdr(TR)],U); |
| |
break; |
| |
} |
| |
} |
| |
} |
| |
W=cons(reverse(U),W); |
| |
} |
| |
R=W; |
| |
if(iand(Op,1)){ |
| |
for(R=[];W!=[];W=cdr(W)) |
| |
R=cons(reverse(qsort(car(W))),R); |
| |
R=lsort(R,[],1); |
| |
} |
| |
if(Op==3){ |
| |
for(W=[];R!=[];R=cdr(R)){ |
| |
for(S=[],TR=car(R);TR!=[];TR=cdr(TR)) |
| |
S=append(S,car(TR)[1]); |
| |
W=cons(S,W); |
| |
} |
| |
R=reverse(W); |
| |
} |
| |
} |
| |
return R; |
| |
} |
| |
|
| |
#if 0 |
| |
def confspt(S,T) |
| |
{ |
| |
R=[]; |
| |
LS=length(S);LT=length(T); |
| |
if(LS<LT) return R; |
| |
if(LS==LT){ |
| |
return(S==T)? return [[S,T]]:R; |
| |
} |
| |
R=[]; |
| |
for(ST=S,S0=T0=[],TT=T;ST!=[];ST=cdr(ST),TT=cdr(TT)){ |
| |
if(car(ST)>car(TT)) return R; |
| |
if(car(ST)==car(TT){ |
| |
S0=cons(car(ST));T0=cons(car(TT)); |
| |
LS--;LT--;continue; |
| |
} |
| |
V=car(TT);D=LS-LT; |
| |
for(P=[ST],DD=D;DD>0;){ |
| |
VD=V-car(car(ST)); |
| |
} |
| |
} |
| |
} |
| |
#endif |
| |
|
| |
|
| |
def confexp(S) |
| |
{ |
| |
if(type(S[0])==4){ |
| |
for(E=[];S!=[];S=cdr(S)) |
| |
E=cons(confexp(car(S),E)); |
| |
return reverse(E); |
| |
} |
| |
V=x;E=[]; |
| |
for(P=0,Q=[],ST=S;ST!=[];ST=cdr(ST)){ |
| |
Q=cons(car(ST)[0],Q); |
| |
P+=car(ST)[1]/(V-car(ST)[0]); |
| |
P=red(P); |
| |
} |
| |
P=red(P*polbyroot(Q,V)); |
| |
Q=cdr(reverse(Q)); |
| |
for(I=(length(W=Q));I>=0;I--){ |
| |
C=mycoef(P,I,V); |
| |
P-=C*polbyroot(W,V); |
| |
W=cdr(W); |
| |
E=cons(red(C),E); |
| |
} |
| |
return reverse(E); |
| |
} |
| |
|
| def pgen(L,VV) |
def pgen(L,VV) |
| { |
{ |
| if(type(L[0])<4) L=[L]; |
if(type(L[0])<4) L=[L]; |
| Line 17090 def integrate(P,X) |
|
| Line 18830 def integrate(P,X) |
|
| if(S!=RR) R=cons([[1,RR=S]],R); |
if(S!=RR) R=cons([[1,RR=S]],R); |
| for(V=FR=[];R!=[];R=cdr(R)) |
for(V=FR=[];R!=[];R=cdr(R)) |
| if(car(R)!=FR) V=cons(FR=car(R),V); |
if(car(R)!=FR) V=cons(FR=car(R),V); |
| Var=varargs(V|all=1)[1]; |
Var=varargs(V|all=2); |
| for(S0=[x0,x1,x2,x3],S=[t,s,u,v,w];S0!=[]&&S!=[];){ |
for(S0=[x0,x1,x2,x3],S=[t,s,u,v,w];S0!=[]&&S!=[];){ |
| if(findin(car(S0),Var)<0){ |
if(findin(car(S0),Var)<0){ |
| S0=cdr(S0); continue; |
S0=cdr(S0); continue; |
| Line 18221 def linfrac01(X) |
|
| Line 19961 def linfrac01(X) |
|
| |
|
| def varargs(P) |
def varargs(P) |
| { |
{ |
| if((All=getopt(all))!=1) All=0; |
if((All=getopt(all))!=1&&All!=2) All=0; |
| V=vars(P); |
V=vars(P); |
| for(Arg=FC=[];V!=[];V=cdr(V)){ |
for(Arg=FC=[];V!=[];V=cdr(V)){ |
| if(vtype(CV=car(V))==0&&All==1){ |
if(vtype(CV=car(V))==0&&All!=0){ |
| Arg=lsort([CV],Arg,0); |
Arg=lsort([CV],Arg,0); |
| } |
} |
| if(vtype(CV)!=2) continue; |
if(vtype(CV)!=2) continue; |
| Line 18241 def varargs(P) |
|
| Line 19981 def varargs(P) |
|
| } |
} |
| } |
} |
| } |
} |
| return [FC,Arg]; |
Arg=reverse(Arg); |
| |
return (All==2)?Arg:[reverse(FC),Arg]; |
| } |
} |
| |
|
| def pfargs(P,X) |
def pfargs(P,X) |
| Line 18456 def ntable(F,II,D) |
|
| Line 20197 def ntable(F,II,D) |
|
| { |
{ |
| F=f2df(F|opt=-1); |
F=f2df(F|opt=-1); |
| Df=getopt(dif); |
Df=getopt(dif); |
| if(Df!=1) Df=0; |
|
| Str=getopt(str); |
Str=getopt(str); |
| L=[];T=II[1]-II[0]; |
if(Df!=1) Df=0; |
| |
L=[]; |
| |
if(type(D)==4){ |
| |
if(type(II[0])==4){ |
| |
T1=II[0][1]-II[0][0];T2=II[1][1]-II[1][0]; |
| |
for(L0=[],I=0;I<D[0];I++){ |
| |
for(R=[],J=0;J<D[1];J++) |
| |
R=cons(myf2eval(F,II[0][0]+I*T1/D[0],II[1][0]+J*T2/D[1]),R); |
| |
L=cons(reverse(R),L);L0=cons(II[0][0]+I*T1/D[0],L0); |
| |
} |
| |
}else{ |
| |
for(T=II[1]-II[0],L0=[],I=0;I<D[0];I++){ |
| |
for(R=[],J=0;J<D[1];J++) |
| |
R=cons(myfdeval(F,II[0]+I*T/D[0]+J*T/D[0]/D[1]),R); |
| |
L=cons(reverse(R),L);L0=cons(II[0]+I*T/D[0],L0); |
| |
} |
| |
} |
| |
L=reverse(L);L0=reverse(L0); |
| |
if(type(Str)==4){ |
| |
L0=mtransbys(os_md.sint,L0,[Str[0]]|str=1,zero=0); |
| |
L=mtransbys(os_md.sint,L,[Str[1]]|str=1,zero=0); |
| |
if(Df==1){ |
| |
for(DT=[],RT=L,I=0;RT!=[];){ |
| |
for(LT=[],TT=car(RT);TT!=[];TT=cdr(TT)){ |
| |
VV=car(TT); |
| |
if((J=str_char(VV,0,"."))>=0){ |
| |
if(J==0) VV=str_cut(VV,1,10000); |
| |
else VV=str_cut(VV,0,J-1)+str_cut(VV,J+1,10000); |
| |
} |
| |
V1=eval_str(VV); |
| |
if(I++) LT=cons(V1-V0,LT); |
| |
V0=V1; |
| |
} |
| |
DT=cons(LT,DT); |
| |
if((RT=cdr(RT))==[]){ |
| |
VE=rint(myfdeval(F,II[1])*10^Str[1]); |
| |
DT=cons([VE-V0],DT); |
| |
} |
| |
} |
| |
for(I=0,D=[],TT=DT;TT!=[];TT=cdr(TT)){ |
| |
if(!I++) V=car(TT)[0]; |
| |
else{ |
| |
T1=reverse(cons(V,car(TT))); |
| |
V=car(T1); |
| |
if(length(TT)>1) T1=cdr(T1); |
| |
D=cons(T1,D); |
| |
} |
| |
} |
| |
for(DD=[],TT=D;TT!=[];TT=cdr(TT)) |
| |
DD=cons([os_md.lmin(car(TT)),os_md.lmax(car(TT))],DD); |
| |
DD=reverse(DD); |
| |
L=lsort(L,DD,"append"); |
| |
} |
| |
} |
| |
L=lsort(L,L0,"cons"); |
| |
if(type(Top=getopt(top))==4||getopt(TeX)==1){ |
| |
if(type(Top)==4){ |
| |
K=length(L[0])-length(Top); |
| |
if(K>0&&K<4){ |
| |
if(K>1){ |
| |
Top=append(Top,["",""]); |
| |
K-=2; |
| |
} |
| |
if(K) Top=cons("",Top); |
| |
} |
| |
L=cons(Top,L); |
| |
} |
| |
if(type(H=getopt(hline))!=4) H=[0,1,z]; |
| |
if(type(V=getopt(vline))!=4) V=[0,1,(DF)?z-2:z]; |
| |
if(type(T=getopt(title))!=7) Out=ltotex(L|opt="tab",hline=H,vline=V); |
| |
else Out=ltotex(L|opt="tab",hline=H,vline=V,title=T); |
| |
if(Df) Out=str_subst(Out,"\\hline","\\cline{1-"+rtostr(length(L[0])-2)+"}"); |
| |
return Out; |
| |
} |
| |
return L; |
| |
} |
| for(L=[],I=0;I<=D;I++){ |
for(L=[],I=0;I<=D;I++){ |
| X=II[0]+I*T/D; |
X=II[0]+I*T/D; |
| L=cons([X,myfdeval(F,X)],L); |
L=cons([X,myfdeval(F,X)],L); |
| Line 18470 def ntable(F,II,D) |
|
| Line 20285 def ntable(F,II,D) |
|
| } |
} |
| L=reverse(LD); |
L=reverse(LD); |
| } |
} |
| if(type(Str=getopt(str))==4){ |
if(type(Str)==4){ |
| if(length(Str)==1) Str=[Str[0],Str[0]]; |
if(length(Str)==1) Str=[Str[0],Str[0]]; |
| if(Df==1 && length(Str)==2) Str=[Str[0],Str[1],Str[2]]; |
if(Df==1 && length(Str)==2) Str=[Str[0],Str[1],Str[1]]; |
| for(S=Str,Str=[];S!=[];S=cdr(S)){ |
for(S=Str,Str=[];S!=[];S=cdr(S)){ |
| if(type(car(S))!=4) Str=cons([car(S),3],Str); |
if(type(car(S))!=4) Str=cons([car(S),3],Str); |
| else Str=cons(car(S),Str); |
else Str=cons(car(S),Str); |
| Line 18560 def distpoint(L) |
|
| Line 20375 def distpoint(L) |
|
| |
|
| def keyin(S) |
def keyin(S) |
| { |
{ |
| print(S,2); |
mycat0(S,0); |
| purge_stdin(); |
purge_stdin(); |
| S=get_line(); |
S=get_line(); |
| L=length(S=strtoascii(S)); |
L=length(S=strtoascii(S)); |
|
|
| } |
} |
| |
|
| def init() { |
def init() { |
| LS=["DIROUT","DVIOUTA","DVIOUTB","DVIOUTH","DVIOUTL","FCAT","TeXLim","TeXEq","TikZ", |
LS=["DIROUT","DVIOUTA","DVIOUTB","DVIOUTH","DVIOUTL","TeXLim","TeXEq","TikZ", |
| "XYPrec","XYcm","Canvas"]; |
"XYPrec","XYcm","Canvas"]; |
| if(!access(get_rootdir()+"/help/os_muldif.dvi")||!access(get_rootdir()+"/help/os_muldif.pdf")) |
if(!access(get_rootdir()+"/help/os_muldif.dvi")||!access(get_rootdir()+"/help/os_muldif.pdf")) |
| mycat(["Put os_muldif.dvi and os_muldif.pdf in", get_rootdir()+(isMs()?"\\help.":"/help.")]); |
mycat(["Put os_muldif.dvi and os_muldif.pdf in", get_rootdir()+(isMs()?"\\help.":"/help.")]); |
|
|
| DVIOUTB=str_subst(DVIOUTB,[["\\","/"],[".bat",".sh"]],0); |
DVIOUTB=str_subst(DVIOUTB,[["\\","/"],[".bat",".sh"]],0); |
| DVIOUTL=str_subst(DVIOUTL,[["\\","/"],[".bat",".sh"]],0); |
DVIOUTL=str_subst(DVIOUTL,[["\\","/"],[".bat",".sh"]],0); |
| DVIOUTH="%ASIRROOT%/help/os_muldif.pdf"; |
DVIOUTH="%ASIRROOT%/help/os_muldif.pdf"; |
| FCAT=str_subst(DVIOUTB,"\\","/"); |
|
| } |
} |
| Home=getenv("HOME"); |
Home=getenv("HOME"); |
| if(type(Home)!=7) Home=""; |
if(type(Home)!=7) Home=""; |
|
|
| } |
} |
| if(Id>=0){ |
if(Id>=0){ |
| while((S=get_line(Id))!=0){ |
while((S=get_line(Id))!=0){ |
| if(type(P=str_str(S,LS))==4 && (P0=str_char(S,P[1]+5,"="))>0){ |
if(type(P=str_str(S,LS))==4 && (P0=str_char(S,P[1]+4,"="))>0){ |
| if(P[0]<5){ |
if(P[0]<5){ |
| P0=str_chr(S,P0+1,"\""); |
P0=str_chr(S,P0+1,"\""); |
| if(P0>0){ |
if(P0>0){ |
|
|
| else if(P[0]==2) DVIOUTB=SS; |
else if(P[0]==2) DVIOUTB=SS; |
| else if(P[0]==3) DVIOUTH=SS; |
else if(P[0]==3) DVIOUTH=SS; |
| else if(P[0]==4) DVIOUTL=SS; |
else if(P[0]==4) DVIOUTL=SS; |
| else if(P[0]==5) CATF=SS; |
|
| } |
} |
| } |
} |
| if(P0<0 || P1<P0+2) mycat(["Error! Definiton of", LS[P[0]], |
if(P0<0 || P1<P0+2) mycat(["Error! Definiton of", LS[P[0]], |
| "in .muldif"]); |
"in .muldif"]); |
| }else{ |
}else{ |
| SV=eval_str(str_cut(S,P0+1,str_len(S)-1)); |
SV=eval_str(str_cut(S,P0+1,str_len(S)-1)); |
| if(P[0]==6) TeXLim=SV; |
if(P[0]==5) TeXLim=SV; |
| else if(P[0]==7) TeXEq=SV; |
else if(P[0]==6) TeXEq=SV; |
| else if(P[0]==8) TikZ=SV; |
else if(P[0]==7) TikZ=SV; |
| else if(P[0]==9) XYPrec=SV; |
else if(P[0]==8) XYPrec=SV; |
| else if(P[0]==10) XYcm=SV; |
else if(P[0]==9) XYcm=SV; |
| else if(P[0]==11) XYcm=Canvas; |
else if(P[0]==10) Canvas=SV; |
| } |
} |
| } |
} |
| } |
} |
| close_file(Id); |
close_file(Id); |
| } |
} |
| if(type(TEMP=getenv("temp"))!=7) TEMP=""; |
|
| if(type(HOME=getenv("HOME"))!=7) HOME=""; |
|
| FCAT=str_subst(FCAT,[["%TEMP%",TEMP],["%HOME%",HOME],["%ASIRROOT%",get_rootdir()]],0); |
|
| chkfun(1,0); |
chkfun(1,0); |
| } |
} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to os_muldif.rr CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-contrib / packages / src