Lines Matching refs:varlist
42 stopexpand(exp,[varlist]):=
46 stopexpandl(exp,varlist))$
48 expandwrt(exp,[varlist]):=
52 stopexpandl(exp,varlist))$
54 expandwrtl(exp,varlist):=stopexpandl(exp,varlist)$
56 stopexpandl(exp,varlist):=
61 then map(lambda([termdum],stopexpandl(termdum,varlist)),exp)
66 ldelete(varlist,last(orpartitionl(showratvars(exp),"[",varlist))),
69 then exp:subst(map(lambda([dum],stopexpandl(dum,varlist)),idum),
72 then exp:num(exp)/stopexpandl(dendum,varlist),
73 stopexpandl1(exp,varlist)))$
75 stopexpandl1(exp,varlist):=
80 if freeofl(varlist,exp)
85 stopexpandl1(termdum,varlist)),exp))
88 then exwrt_power(exp,varlist)
92 if not freeofl(varlist,idum)
93 then (idum:stopexpandl1(idum,varlist),
95 then dum:distribute(dum,idum,varlist)
97 dum:varmult(dum,idum,varlist)))
99 then dum:varmult(idum,dum,varlist)
104 stopexpandl1(dumm,varlist)),
109 varlist)),
111 varlist)
114 exwrt_power(exp,varlist):=block(
118 if not freeofl(varlist,ip1dum:inpart(exp,1))
122 then (splitdum:orpartitionl(ip1dum,"+",varlist),
124 then (exwrtlist:cons(1,exwrt_power1(last(splitdum),ip2dum1,varlist)),
127 varlist),
130 else first(exwrt_power1(last(splitdum),ip2dum1,varlist)))
133 exwrt_power1(exp,powerdum,varlist):=(
136 [dum:[exp,1],firstdum:stopexpandl1(exp,varlist)],
146 varmult(fact,exp,varlist):=block(
147 [splitdum:orpartitionl(exp,"+",varlist)],
150 distribute(exp1,exp2,varlist):=block(
151 [splitexp1:orpartitionl(exp1,"+",varlist),
152 splitexp2:orpartitionl(exp2,"+",varlist),
158 then varmult(fsplexp1,stopexpandl1(lsplexp2,varlist),varlist)
161 then varmult(fsplexp2,stopexpandl1(lsplexp1,varlist),varlist)
164 then map(lambda([term],stopexpandl1(term*lsplexp2,varlist)),lsplexp1)
166 then map(lambda([term],stopexpandl1(term*lsplexp1,varlist)),lsplexp2)
169 expandwrt_factored(exp,[varlist]):=
171 then matrixmap(lambda([dum],apply('expandwrt_factored,cons(dum,varlist))),
174 dum:orpartitionl(exp,"*",varlist),
175 first(dum)*stopexpandl(last(dum),varlist))$