/dports/math/maxima/maxima-5.43.2/share/diffequations/ |
H A D | ode2.mac | 74 if not(freeof(x,%f%)) then return(false), 132 if not(freeof(x,a1)) then return(false), 142 if not(freeof(y,a1)) then return(false), 145 if not(freeof(y,a2)) or not(freeof(x,y,n)) or n=0 159 if not(freeof(x,y,n)) then return(false), 162 if not(freeof(nounify('integrate),a2)) then return(false), 188 if not(freeof(x,y,%f%) and freeof(x,y,%g%)) then return(false), 233 if method='constcoeff and not(freeof('sin,wr)) and not(freeof('cos,wr)) 292 if not(freeof(x,a2)) then return(false), 298 if not(freeof(x,y,beta: ratsimp(b*(x-pt)^2))) then return(false), [all …]
|
H A D | pivtr.mac | 29 if freeof(f,wexp) then (wexp:rexp,go(ll)), 31 if freeof(f,wexp) then return(wexp) else go(ll))$ 66 if not freeof(tan,cot,wb*q1+wc) or freeof(sin,cos,fp1) 91 cnd[i]:wb1*q+wc1,if freeof(sin,cos,x,cnd[i]) then 97 if freeof(sin,cos,fp1) then (fq:-1/2-sin(x)^2/(4*cos(x)^2) 99 fq:expand(fq),if freeof(sin,cos,fq) then 132 cnd[i]:wb1*q+wc1,if freeof(sinh,cosh,x,cnd[i]) then 141 if freeof(%e,x,neq) then (vtr:t=%e^x,return(t)) else neq:f)$ 150 if freeof(x,neq) then (vtr:t=log(x),return(t)), 156 if freeof(x,neq) then (vtr:t=x*log(x)-x,return(t)) [all …]
|
H A D | pmain.mac | 25 else if rptm=t then (if freeof(y,vtr) then idvprep(1) 48 if not freeof(sin,cos,tan,cot,exp) then return(10), 49 if not freeof(%e,exp) then return(20), 50 if not freeof(log,exp) then return(30), 51 if not freeof(sinh,cosh,tanh,coth,exp) then return(40), 52 if not freeof(sn,cn,dn,pe,th,exp) then return(50), 53 if not freeof(sqrt(x),exp) then return(60), 91 if i=1 then eq:subst(x,t,neq) else eq:subst(y,u,neq), vprep(dum))$ 112 (bt:subst(x,t,b1),ct:subst(x,t,c1),dbt:ratdeg(wb,x),dct:ratdeg(wc,x)) 114 rk[k]:max(dbt,dct/2)+1, if rk[k]=0 and freeof(%i,alpha) [all …]
|
H A D | abel.mac | 8 if a#1 then return(abel2(coefs,y,x)), 9 if f0=0 and f1=0 and freeof(x,%a:diff(%fff:f3/f2,x)/f2) then 32 if(dd>1) then return(false) else 33 if(hipow(de,diff(y,x))<2) then return(false), 34 newde:subst(%p,diff(y,x),de), 38 temp:subst('diff(y,x),%p,apply('ev,[temp])), 46 if(derivdegree(de,y,x)>1) then return(false), 52 if(atom(mm) or part(mm,0)="^") then mm:[mm], 58 for v in mm do (if not freeof(%q,ratsubst(%q, 77 if freeof(nounify('integrate),a1) then [all …]
|
/dports/math/maxima/maxima-5.43.2/share/contrib/integration/ |
H A D | abs_integrate.mac | 83 e : sublist(args(e), lambda([s], is(is(equal(s, conjugate(s))) = true) and not freeof(x,s))), 121 if freeof('signum, ek) or freeof(x,ek) then w : w * ek 134 if freeof('signum, q) then ( 159 if not(freeof('integrate, f)) then ( 236 k : sublist(gatherargs(q,'signum),lambda([s], not freeof(x,s))), 298 l : subset(l, lambda([s], not(freeof(x, s)))), 322 if not(freeof('integrate, gi)) then gi : extra_integrate(g,x), 323 if not(freeof('integrate, fi)) then fi : extra_integrate(f,x), 324 if freeof(x,p) then ( 328 if freeof(x,c) then %if(p,fi, gi + c) else false) [all …]
|
H A D | hyperint.mac | 9 This software has NO WARRANTY, not even the implied warranty of 38 l : sublist(l, lambda([s], not freeof(x,s))), 39 if every(lambda([s], polynomialp(s,[x], lambda([u], freeof(x,u)), 'integerp)), l) then 82 if mapatom(e) then freeof(x,e) 118 cnst : subst(sk, diff(f,x) * f^a * (1 - f)^b / e), 123 aa : subst(sk,a)) 125 if cnst # [] and not(integerp(aa) and aa < 0) then ( 126 f : subst(cnst,f), 192 f : block([?errorsw : true], errcatch(subst(sk, f))), 202 cnst : first(sublist(cnst, lambda([s], freeof(x, rhs(first(s))))))) [all …]
|
/dports/math/maxima/maxima-5.43.2/share/contrib/diffequations/ |
H A D | ode1_clairault.mac | 24 along with this program; if not, write to the Free Software 38 if atom(eq) or not(inpart(eq,0)="+") then eq: [eq], 40 if freeof(x,u) then 42 else if freeof(y,u) then 64 if not(freeof(x,y,de)) then ( 84 if not(freeof(%r,%g)) then return(false) 92 ans:subst(x*%c-y,%r,%f)=subst(%c,%p,%g), 110 expr:subst(u,y,eq), 117 if not(freeof('diff(y,x,2),eq2)) then return([]), 119 if not(is(expr=0)) then return([]), [all …]
|
H A D | ode1_lagrange.mac | 23 along with this program; if not, write to the Free Software 35 eqn:subst(p,'diff(y,x),eq), 36 if freeof(y,eqn) then return(false), 38 if eqn=[] then return(false), 44 if not(freeof(y,rhs(e))) then return(false), 48 if not(freeof(x,y,f)) then return(false), 49 if not(freeof(x,y,g)) then return(false), 50 if f=p then return(false), 70 if ( freeof(p,q) and (q#1) ) then ( 75 [subst(%t,p,s),subst(%t,p,t)] [all …]
|
H A D | contrib_ode.mac | 19 along with this program; if not, write to the Free Software 84 if (freeof(y,[a1,a2,a3,a4])) then ( 159 if not(mapatom(x_)) then ( 163 if not(mapatom(y_)) then ( 182 if length(a_)=2 and not freeof(%t,a_) then ( 203 if ( lhs(u)#'diff(y_,x_) or not(freeof('diff(y_,x_),rhs(u))) ) then ( 241 if freeof(F,ex) then return(ex), 356 if freeof(expintegral_e,ex) then return(ex), 396 if not freeof(y,X) then X:subst(Y,y,X), 397 if not freeof(x,Y) then Y:subst(X,x,Y), [all …]
|
H A D | ode1_factor.mac | 22 along with this program; if not, write to the Free Software 35 de: subst(%p,'diff(y,x),de), 40 /* if ( not(freeof(x,y,de)) ) then return(false), */ 44 if ( not(inpart(de,0)="*") or is(length(de)<2) ) then ( 52 if not(freeof(%p,u)) then ( 57 if length(factors)<2 then ( 64 /* Do not continue for higher order terms (including repeated factors) */ 65 if hipow(expand(u),%p)>1 then ( 75 if not(freeof(%p,u)) then ( 76 s:ode2(subst('diff(y,x),%p,u)=0,y,x), [all …]
|
H A D | ode1_abel.mac | 84 if not(freeof(expr,'diff(y,x))) then ( 95 if not(freeof(y,f[i])) then return(false) 168 if not(freeof(x,A)) then ( 271 else if freeof(x,_K) then ( 380 if not(freeof(y,g0)) then return(false), 381 if not(freeof(y,g1)) then return(false), 383 if not(freeof('diff(y,x),expr)) then return(false), 386 if not(freeof(y,f0)) then return(false), 388 if not(freeof(y,f1)) then return(false), 390 if not(freeof(y,f2)) then return(false), [all …]
|
/dports/math/maxima/maxima-5.43.2/share/contrib/odes/ |
H A D | odes.mac | 69 if freeof(sin,%%) then return(sort(%%)) 94 if not freeof(y,map(rhs,%%)) then return(sol), 95 if length(spr)=1 and freeof(y,rhs(spr[1])) then return(spr[1]), 99 if not freeof(%e,%%) then 101 if not freeof(%i,%%) then 230 if freeof(integrate, ans) then return(ans) 296 sublist(%%,lambda([e],freeof(u,ilt,e))), 298 if not atom(spr) and op(spr)="+" then 328 if freeof(laplace,laplace(rhs(eq),x,s)) 410 if freeof(%pi,r) then return(r), [all …]
|
/dports/math/maxima/maxima-5.43.2/share/integequations/ |
H A D | inteqn.mac | 100 if not freeof(px,eqn) then return(false), 182 if not freeof(uvar,e[2]) then throw(false)), 257 if not freeof('?%integrate, inteqn) then 289 if not freeof(xvar,inpart(fun,3)) or 327 if not freeof('?%integrate,elist) then throw(false), 371 if not freeof(xvar,inpart(fun,3)) or not freeof(xvar, inpart(fun,4)) 458 if not freeof(xvar,[ax,bx]) then return(false), 486 if not freeof(xvar,ax) or bx#xvar or opr(kxu)#"^" then throw(false), 488 if not freeof(uvar, power) or opr(den)#"+" then throw(false), 490 if not freeof(xvar, fun[2]) or [all …]
|
/dports/math/maxima/maxima-5.43.2/share/integration/ |
H A D | antid.mac | 16 is(eargumente # 0 and freeof(xargumentx, eargumente))$ 21 freeof(xargumentx))$ 36 if dvariabled = 0 then 39 if not freeof(nounify(integrate), tvariablet) then 45 killer(eargumente) := if hipow(eargumente, uvariableu) <= 1 then 47 if linear(fn, uvariableu) = false then 50 if part(tvariablet, 0) # "+" then 55 tvariablet : subst(diff(unk, var, dvariabled-1), lclvariablelcl, 56 integrate(subst(lclvariablelcl, diff(unk, var, dvariabled-1), 58 if not freeof(nounify(integrate), tvariablet) or
|
H A D | delta.mac | 4 if length(limits)#0 and length(limits)#2 then error( 6 if not atom(expr) then 7 if part(expr,0)="+" or (part(expr,0)="-" and length(expr)>1) then 11 if isd=false then return(apply('integrate,cons(expr,arglist))), 13 if freeof(var,arg) then return(apply('integrate,cons(expr,arglist))), 25 if (nsol:length(solns))=0 then return(0) 27 if length(l)=2 then solns:rem_out_of_range(solns,l[1],l[2]), 28 if (nsol:length(solns))=0 then return(0), 31 if length(l)=2 then sum(subst((solns[n]),var,rest/jac),n,1,nsol) 32 else sum(subst(solns[n],var,rest/jac)*theta(var-solns[n]),n,1,nsol))$
|
/dports/math/maxima/maxima-5.43.2/share/solve_rec/ |
H A D | simplify_sum.mac | 131 if not(freeof(inf, %sub) and freeof(minf, %sub)) then error("Sum is divergent!") 208 if not freeof_limit(sm1) or not freeof('und, sm1) then sm1: expr) 352 if freeof(var, a) and freeof(var, b) then [a,b] 581 if freeof(%k%, expr) or expr=%k% then [minf, inf] 618 else if not freeof(k, b) then [minf, inf] 695 if not( freeof(var, a) and freeof(var, b) ) then error(), 719 if not(freeof(n, rhs(sol[i]))) then error(), 741 if not(every(lambda([u], freeof(var, u)), upper)) then return(false), 748 if not(every(lambda([u], freeof(var, u)), lower)) then return(false), 776 if not(every(lambda([u], freeof(var, u)), upper)) then return(false), [all …]
|
H A D | solve_rec.mac | 220 if not(freeof(%n, coeffs1[i%+1])) then cc : false, 331 if freeof(%l, %a) then 337 if freeof(%l, %a) then 415 if not(freeof(%n, expand(pow-mul*%n))) then curr_ihom : false 488 if freeof(n, p) then true 496 if not(freeof(%n, hi)) then false 553 if freeof(var, pw) or not (freeof (var, bs)) then 557 if not freeof(var, a0) then [[expr, 1]] 833 if not(freeof(%n, f)) then ( 1061 if not(freeof(%n, g)) then ( [all …]
|
/dports/math/maxima/maxima-5.43.2/doc/info/ |
H A D | Expressions.texi | 830 @c exptsubst: not exptsubst; 869 @code{freeof (@var{x_1}, @var{expr})} returns @code{true} if no subexpression of 883 evaluation) and does not attempt to determine if some equivalent expression 902 @code{freeof (a, expr) and freeof (b, expr)}. 949 @code{freeof} does not consider equivalent expressions. 1222 @code{freeof (@var{m}, @var{expr})}. It returns @code{false} if any call to 1511 When @code{opsubst} is @code{false}, @mref{subst} does not attempt to 1519 @c opsubst: not opsubst; 1539 (%i4) opsubst: not opsubst; 2288 @code{e/f} then one could use @code{subst (a*f, e, c)} while if @var{b} is of [all …]
|
/dports/math/maxima/maxima-5.43.2/share/contrib/Zeilberger/ |
H A D | shiftQuotient.mac | 32 if atom(pol) or not(zb_operatorp(pol,"*")) then 124 subst(k+j,k,expr) 138 expand(subst(k+j,k,expr)); 147 return(subst(k+1,k,first(sq_res))/first(sq_res)) 162 if freeof(k,expr) or expr=k or expr=-k or constantp(expr) then 179 if not(isPolynomial(expr,k)) and 210 if freeof(k,expr) then 229 if (freeof(k, second(expr))) then 235 else if (freeof(k, first(expr))) then 238 if not(freeof(k, second(sq_exp))) then return([expr, NO_HYP]) [all …]
|
/dports/math/maxima/maxima-5.43.2/share/solve_rat_ineq/ |
H A D | solve_rat_ineq.mac | 35 if atom(ineq) or not member(op:op(ineq), ["<","<=",">",">="]) then 42 if not freeof(%i, 'infinity, fullratsimp(map('rectform,ineq))) then 43 error("solve_rat_ineq: Inequality is not real: ",ineq), 58 if not every('lambda([p],polynomialp(p,[var])),[lnum,rnum,lden,rden]) then 59 error("solve_rat_ineq: ",ineq," is not rational."), 71 if freeof(var,den) then [] 77 pts: sublist(pts, 'lambda([e],freeof('minf,'inf,e))), /* eliminate minf, inf */ 81 ex: sublist(ex, 'lambda([e],freeof('minf,'inf,e))), /* eliminate minf, inf */ 87 if is(apply(op,[subst(0,var,left),subst(0,var,right)])) then 104 /* eliminate x when x is not in range: */ [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/int/ |
H A D | driver.red | 288 % else if not eqcar(mvar u,'sqrt) 628 if not(b = 0) or not(d = 0) then return nil; 686 if not null numr cdr res then << 714 if not null numr cdr res then << 767 if not null numr cdr res then << 785 subst(bckshft,'ss, 798 if not null numr cdr res then << 863 if not null numr cdr res then << 891 if not null numr cdr res then << 1008 if not null numr cdr res then << [all …]
|
/dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
H A D | conlaw4.red | 110 if not freeof(eqlist,e1) then paralist:=sqcons(e1,paralist); 201 if not flist then fl:={} 340 if not freeof(condi,e1) then fl:=sqcons(e1,fl); 430 if not freeof(e1,h5) then e2:=sqappend(fargs h5,e2); 502 if freeof(cdr h9,cadar h9) then << 518 cllist:=subst(h7,h4,cllist); 519 divlist:=subst(h7,h4,divlist); 635 h10:=if not lisp freeof(h10,'sub) then nil 687 if not freeof(paralist,lhs h3) then 744 if not freeof(paralist,lhs e2) then [all …]
|
H A D | conlaw2.red | 114 if not freeof(eqlist,e1) then paralist:=sqcons(e1,paralist); 207 if not flist then fl:={} 393 if not freeof(condi,e1) then fl:=sqcons(e1,fl); 483 if not freeof(e1,h5) then e2:=sqappend(fargs h5,e2); 555 if freeof(cdr h9,cadar h9) then << 571 cllist:=subst(h7,h4,cllist); 572 divlist:=subst(h7,h4,divlist); 688 h10:=if not lisp freeof(h10,'sub) then nil 740 if not freeof(paralist,lhs h3) then 797 if not freeof(paralist,lhs e2) then [all …]
|
/dports/math/maxima/maxima-5.43.2/share/algebra/ |
H A D | recur.mac | 5 g:ratexpand(g), if freeof(n,g) then return(true), 8 (c:coeff(g,n,i), if not(freeof(n,c)) then f:false, 21 if not freeof(n,b) then return(false), 85 (l:subst(n+k-i,n,parsol), v:subst(l,u(n+k-i),v)), 250 if not(integerp(a[0])) then return(false), 251 if not(integerp(ev(a[1],n=0))) then return(false), 252 if not(hipow(a[1],n)=1) then return(false), 253 if not(integerp(coeff(a[1],n,1))) then return(false), 254 if not(a[2]=1) then return(false), 268 sj:subst(j,n,p), [all …]
|
/dports/math/maxima/maxima-5.43.2/share/calculus/ |
H A D | fourie.mac | 6 delfun1(fun,exp):=if not atom(exp) and inpart(exp,0) = fun 11 delfunn1(fun,exp):=if not atom(exp) and inpart(exp,0) = fun 17 if not atom(exp) and inpart(exp,0) = fun and member(var,listofvars(exp)) 23 if not atom(exp) and inpart(exp,0) = fun 62 evenfunp(f,x):=if equalp(f,subst(-x,x,f)) then true$ 64 oddfunp(f,x):=if equalp(f,-subst(-x,x,f)) then true$ 67 if not (equalp(-a,b) or a = 'minf and b = 'inf or a = 'inf and b = 'minf) 76 else (if not (freeof(%i,f) and freeof(%i,a) and freeof(%i,b)) 80 else (if not funp2('abs,f,x) 169 else (if not freeof("=",exp) then lhs(exp) = foursimple(rhs(exp)) [all …]
|