changed:
-a(i,j)==(1+(j-1)*i)/Gamma(1+2*i+4*j)
-aa(k,l)==1+reduce(+,concat [[a(i,j)*k^i*l^j for i in 0..10] for j in 1..11])
-aa(0,l)
-aa(k,0)
-aa(1,1)::Float
-aa(0,0)::Float
-aa(-1,-1)::Float
a(i:INT,j:INT):FRAC INT == (1+(j-1)*i)/Gamma(1+2*i+4*j)
aa:DMP([k,l], FRAC INT) := 1+reduce(+,concat [[a(i,j)*k^i*l^j for i in 0..4] for j in 1..5])
eval(aa,[k=0,l=l])
eval(aa,[k=k,l=0])
eval(aa,[k=1.0,l=1.0])
eval(aa,[k=0,l=0])
eval(aa,[k=-1,l=-1])::Float
removed:
-
-\begin{axiom}
-i0:=a(1/2+%i*beta,0)*(-x)^(1/2+%i*beta)/cosh(%pi*beta)
-i0':=a(1/2+%i*beta,0)*exp((1/2+%i*beta)*log(-x))/cosh(%pi*beta)
-i0'':=htrigs %
-i1:=a(0,1/2+%i*delta)*(-y)^(1/2+%i*delta)/cosh(%pi*delta)
-i2:=a(1/2+%i*beta,1/2+%i*delta)*(-y)^(1/2+%i*delta)/(cosh(%pi*beta)*cosh(%pi*delta))
-eval(i0,beta=-1)
-eval(i0,beta=0)
-eval(i0,beta=1)
-eval(i0,[beta=1,x=1])
-%::Expression Complex Float
-%::Complex Float
-Gamma(2+%i*2)
-Gamma(2.0+%i*2.0)
-eval(i1,delta=-1)
-eval(i1,delta=0)
-eval(i1,delta=1)
-\end{axiom}
-
-\begin{axiom}
-integrate(i0,beta=%minusInfinity..%plusInfinity,"noPole")
-\end{axiom}
-
-\begin{axiom}
-integrate(i0'',beta=%minusInfinity..%plusInfinity,"noPole")
-\end{axiom}
-
-\begin{axiom}
-integrate(i1,delta=%minusInfinity..%plusInfinity,"noPole")
-\end{axiom}
-
-\begin{axiom}
-integrate(x^(t-1)*exp(-x),x=0..%plusInfinity,"noPole")
-\end{axiom}
-
-\begin{axiom}
-integrate(x^((2+%i*2)-1)*exp(-x),x=0..%plusInfinity,"noPole")
-\end{axiom}
changed:
-gnuDraw(aa(x,y),x=-30..60,y=-30..30,"SandBoxDoublePowerSeries1.dat",title=="Generating Function")
gnuDraw(aa,k=-30..60,l=-30..30,"SandBoxDoublePowerSeries1.dat",title=="Generating Function")
fricas
a!
Type: Variable(a!)
fricas
!:=operator '!
fricas
a(i,j)==(1+(j-1)*i)/!(2*i+4*j)
Type: Void
fricas
a0:=matrix [[a(i,j)*k^i*l^j for i in 0..5] for j in 1..4]
fricas
Compiling function a with type (NonNegativeInteger,PositiveInteger)
-> Expression(Integer)
Type: Matrix(Expression(Integer))
fricas
a(i:INT,j:INT):FRAC INT == (1+(j-1)*i)/Gamma(1+2*i+4*j)
Function declaration a : (Integer,Integer) -> Fraction(Integer) has
been added to workspace.
Compiled code for a has been cleared.
1 old definition(s) deleted for function or rule a
Type: Void
fricas
aa:DMP([k,l], FRAC INT) := 1+reduce(+,concat [[a(i,j)*k^i*l^j for i in 0..4] for j in 1..5])
fricas
Compiling function a with type (Integer,Integer) -> Fraction(Integer
)
Type: DistributedMultivariatePolynomial
?([k,
l],
Fraction(Integer))
fricas
eval(aa,[k=0,l=l])
Type: DistributedMultivariatePolynomial
?([k,
l],
Polynomial(Fraction(Integer)))
fricas
eval(aa,[k=k,l=0])
Type: DistributedMultivariatePolynomial
?([k,
l],
Polynomial(Fraction(Integer)))
fricas
eval(aa,[k=1.0,l=1.0])
Type: Polynomial(Float)
fricas
eval(aa,[k=0,l=0])
Type: DistributedMultivariatePolynomial
?([k,
l],
Polynomial(Fraction(Integer)))
fricas
eval(aa,[k=-1,l=-1])::Float
Type: Float
fricas
)lib GDRAW
GnuDraw is now explicitly exposed in frame initial
GnuDraw will be automatically loaded when needed from
/var/aw/var/LatexWiki/GDRAW.NRLIB/GDRAW
gnuDraw(aa,k=-30..60,l=-30..30,"SandBoxDoublePowerSeries1.dat",title=="Generating Function")
fricas
Compiling function %B with type (DoubleFloat,DoubleFloat) ->
DoubleFloat
Transmitting data...
Type: Void