Sponsored links: Algebra eBooks
 

Related

lambda-makelist-map-numer

li [3] (-3), numer;

li [-8] (3), numer;

li [3] (-7), numer;

Calculate

lambda-op-sublist

l: [u[0,0],v[0,0],u[1...

sublist(l,lambda([xx]...

Calculate

lambda-ratsimp-solve

eq1:n1=p1+a01*lambda;

eq2:n2=p2-a02*lambda;

solve([eq1,eq2],[n1,l...

Calculate

lambda-sublist

sublist ('[a, b, b, c...

Calculate

lambda-makelist-map-numer

li [2] (7);

li [2] (7), numer;

li [-3] (1/7), numer;

Calculate

lambda-makelist-map-numer

li [-3] (1/7), numer;

li [-2] (3), numer;

L : makelist (i / 10...

Calculate

lambda

:lisp ((lambda (x) (+...

Calculate

lambda-solve-tex

solve(x^2 = 4,x);

tex(solve(dT + 9*(c*(...

Calculate

lambda-solve

eq1:lambda;

eq2:x+2=y;

solve([eq1],[lambda]);

Calculate

lambda

Run Example
(%i1)xprimep(x) := integerp(x) and (x <
 32);
(%o1)               xprimep(x) := integerp(x) and (x < 32)
(%i2) cardinality (subset (integer_partitions(30,3), lambda ([x], every (xprimep, x))));
(%o2)                                 91
(%i3) 
Run Example
:lisp (mapcar (lambda (x) (and (atom x) (symbolp x))) '(a * (+ 2 3)));

(T T NIL)
(%i1) :lisp (mapcar (lambda (x) (if (listp x) (cadr x))) '(a * (2 + 3)));

(NIL NIL +)
(%i1) 
Run Example
remvalue(n,z);
(%o1)                           [false, false]
(%i2) matchdeclare(a,lambda([x],freeof(x,n)));
(%o2)                                done
(%i3) matchdeclare(b,lambda([x],freeof(x,n) and integerp(x) and x>
0));
(%o3)                                done
(%i4) matchdeclare(f,all);
(%o4)                                done
(%i5) matchdeclare(g,lambda([x],freeof(n-1,x)));
(%o5)                                done
(%i6) defrule(r1,zt(1,n,z),z/(z-1));
                                                 z
(%o6)                      r1 : zt(1, n, z) -> -----
                                               z - 1
(%i7) defrule(r2,zt(n,n,z),z/(z-1)^2);
                                                z
(%o7)                    r2 : zt(n, n, z) -> --------
                                                    2
                                             (z - 1)
(%i8) defrule(r3,zt(1/n,n,z),log(z/(z-1)));
                                1                 z
(%o8)                   r3 : zt(-, n, z) -> log(-----)
                                n               z - 1
(%i9) defrule(r4,zt(a^n,n,z),z/(z-a));
                                   n             z
(%o9)                     r4 : zt(a , n, z) -> -----
                                               z - a
(%i10) defrule(r5,zt(a^(n-1),n,z),1/(z-a));
                                 n - 1             1
(%o10)                  r5 : zt(a     , n, z) -> -----
                                                 z - a
(%i11) defrule(r6,zt(binomial(n,b),n,z),z/(z-1)^(b+1));
                                                       - b - 1
(%o11)         r6 : zt(binomial(n, b), n, z) -> (z - 1)        z
(%i12) defrule(r7,zt(n^b,n,z),block([tmp:z/(z-1)],  for i:1 thru b do tmp:-z*diff(tmp,z),  factor(tmp)));
                b                          z
(%o12) r7 : zt(n , n, z) -> block([tmp : -----], 
                                         z - 1
                           for i thru b do tmp : - diff(tmp, z) z, factor(tmp))
(%i13) defrule(r8,zt(sin(a*n),n,z),z*'sin(a)/((z^2-2*z*'cos(a)+1)));
                                                sin(a) z
(%o13)          r8 : zt(sin(a n), n, z) -> -------------------
                                            2
                                           z  - 2 cos(a) z + 1
(%i14) defrule(r9,zt(cos(a*n),n,z),z*(z-'cos(a))/(z^2-2*z*'cos(a)+1));
                                             z (z - cos(a))
(%o14)          r9 : zt(cos(a n), n, z) -> -------------------
                                            2
                                           z  - 2 cos(a) z + 1
(%i15) defrule(r10,zt(kron_delta(b,n),n,z),1/z^b);
                                                        1
(%o15)              r10 : zt(kron_delta(b, n), n, z) -> --
                                                         b
                                                        z
(%i16) defrule(r11,zt(a^n*f,n,z),'subst(z/a,z,ztrans(f,n,z)));
                     n                        z
(%o16)     r11 : zt(a  f, n, z) -> substitute(-, z, ztrans(f, n, z))
                                              a
(%i17) defrule(r12,zt(n^b*g,n,z),block([tmp:ztrans(g,n,z)],  for i:1 thru b do tmp:-z*'diff(tmp,z),  return(tmp)));
                   b
(%o17) r12 : zt(g n , n, z) -> block([tmp : ztrans(g, n, z)], 
                                                           dtmp
                                   for i thru b do tmp : - ---- z, return(tmp))
                                                            dz
(%i18) defrule(r13,zt(exp(-a*n),n,z),z/(z-exp(-a)));
                                - a n               z
(%o18)               r13 : zt(%e     , n, z) -> ---------
                                                      - a
                                                z - %e
(%i19) defrule(r14,zt(f(n-m),n,z),z^(-m)*ztrans(f(n),n,z));
                                            ztrans(f(n), n, z)
(%o19)          r14 : zt(f(n - m), n, z) -> ------------------
                                                     m
                                                    z
(%i20) declare(zt,linear);
(%o20)                               done
(%i21) ztrans1(e):=apply1(e,r1,r2,r3,r4,r5,r6,r7,r8,r9,r10,r11,r12,r13,r14);
(%o21) ztrans1(e) := apply1(e, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, 
                                                                 r12, r13, r14)
(%i22) ztrans(f,n,z):=ev(ztrans1(zt(f,n,z)),diff,subst);
(%o22)     ztrans(f, n, z) := ev(ztrans1(zt(f, n, z)), diff, subst)
(%i23) defrule(ir1,izt(z/(z-a),z,n),a^n);
                                     z              n
(%o23)                   ir1 : izt(-----, z, n) -> a
                                   z - a
(%i24) defrule(ir2,izt(1/(z-a),z,n),a^(n-1));
                                   1              n - 1
(%o24)                 ir2 : izt(-----, z, n) -> a
                                 z - a
(%i25) declare(izt,linear);
(%o25)                               done
(%i26) invztrans1(e):=apply1(e,ir1,ir2);
(%o26)               invztrans1(e) := apply1(e, ir1, ir2)
(%i27) invztrans(f,z,n):=invztrans1(izt(f,z,n));
(%o27)          invztrans(f, z, n) := invztrans1(izt(f, z, n))
(%i28) ztrans(1,n,z);
                                       z
(%o28)                               -----
                                     z - 1
(%i29) ztrans(a,n,z);
                                      a z
(%o29)                               -----
                                     z - 1
(%i30) expand(ztrans((-1)^n,n,z));
                                       z
(%o30)                               -----
                                     z + 1
(%i31) ztrans(n,n,z);
                                      z
(%o31)                             --------
                                          2
                                   (z - 1)
(%i32) ztrans(n^2,n,z);
                                   z (z + 1)
(%o32)                             ---------
                                          3
                                   (z - 1)
(%i33) ztrans(a^(n-1),n,z);
                                       1
(%o33)                               -----
                                     z - a
(%i34) factor(ztrans(a^(n-1)+n^2,n,z));
                         3      2      2
                      2 z  - a z  - 2 z  - a z + 3 z - 1
(%o34)                ----------------------------------
                                      3
                               (z - 1)  (z - a)
(%i35) 
[addcol,coefmatrix,determinant,gamma,lambda,rank,transpose] [allroots,at,charpoly,float,lambda,matrix,solve] [and,apply,cardinality,every,integer_partitions,integerp,lambda,map,subset] [and,cardinality,every,integer_partitions,integerp,lambda,primep,subset] [and,cardinality,every,integer_partitions,integerp,lambda,subset] [and,if,lambda,maplist] [append,atom,block,delete,do,emptyp,freeof,if,indices,lambda,length,lmax,lmin,makelist,map,member,not,sublist_indices,subst] [append,atom,block,delete,flatten,if,lambda,load,map,return] [append,block,delete,do,emptyp,if,lambda,length,makelist,map,not,subst] [append,block,delete,flatten,lambda,length,makelist,map,return] [append,do,first,lambda,second,sublist] [append,eval,false,if,labels,lambda,quotient,rest,reverse,sum,true] [apply,cons,lambda,let] [atvalue,diff,ilt,lambda,laplace,map,solve] [bftorat,block,cons,delete,emptyp,false,first,float2bf,fpprec,if,integerp,kill,lambda,listp,map,mod,ratdenom,ratepsilon,ratprint,rest,return] [block,delete,emptyp,if,lambda,length,makelist,map,not,subst] [block,do,indices,lambda,makelist,map,mod,print,sublist_indices] [cardinality,every,integer_partitions,lambda,primep,subset] [cos,do,if,lambda,print,sin] [cos,draw,draw2d,explicit,lambda,load,sin,sqrt] [cos,lambda,plot2d,sin,sqrt] [diff,float,is,lambda,load,map,plot2d,rhs] [disjoin,first,if,lambda,listify,makelist,map,mod,setify,subset] [do,evenp,first,if,lambda,makelist,map,return,setify,subset] [do,if,lambda,let,or,string,values] [do,if,lambda,let,or,values] [echelon,genmatrix,lambda,random] [equal,equiv_classes,is,lambda,remainder] [eval,if,labels,lambda,rest,reverse,sum] [eval_string,flatten,full_listify,lambda,listify,lreduce,maplist,mod,permut,powerset,setify,sort,string] [evenp,first,if,lambda,makelist,map,setify,subset] [evenp,if,lambda,makelist,map,setify,subset] [first,if,lambda,makelist,map,mod,setify,subset] [first,lambda,let] [genmatrix,if,lambda] [genmatrix,lambda,load] [genmatrix,lambda] [if,lambda,let,or,values] [if,lambda,let,unless] [if,lambda,let] [integrate,lambda,linsolve,numer,rhs] [jacobi,lambda,map] [lambda,length,let] [lambda,let] [lambda,log,numer,sqrt] [lambda,makelist,map,numer] [lambda,map] [lambda,numer] [lambda,sublist] [lambda]

Related Help

Help for Lambda