Home
last modified time | relevance | path

Searched +refs:subst +refs:if +refs:not +refs:freeof (Results 1 – 25 of 127) sorted by relevance

123456

/dports/math/maxima/maxima-5.43.2/share/diffequations/
H A Dode2.mac74 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 Dpivtr.mac29 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 Dpmain.mac25 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 Dabel.mac8 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 Dabs_integrate.mac83 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 Dhyperint.mac9 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 Dode1_clairault.mac24 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 Dode1_lagrange.mac23 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 Dcontrib_ode.mac19 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 Dode1_factor.mac22 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 Dode1_abel.mac84 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 Dodes.mac69 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 Dinteqn.mac100 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 Dantid.mac16 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 Ddelta.mac4 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 Dsimplify_sum.mac131 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 Dsolve_rec.mac220 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 DExpressions.texi830 @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 DshiftQuotient.mac32 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 Dsolve_rat_ineq.mac35 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 Ddriver.red288 % 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 Dconlaw4.red110 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 Dconlaw2.red114 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 Drecur.mac5 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 Dfourie.mac6 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 …]

123456