Re: Simplify with NestedLessLess?
- To: mathgroup at smc.vnet.net
- Subject: [mg106712] Re: Simplify with NestedLessLess?
- From: dbird <dbird at ieee.org>
- Date: Thu, 21 Jan 2010 04:56:58 -0500 (EST)
- References: <201001141049.FAA19892@smc.vnet.net> <4B4F39E7.1070002@wolfram.com> <4B4FAC81.7000108@ieee.org> <4B4FB26F.7050702@wolfram.com> <201001150821.DAA29881@smc.vnet.net> <op.u6k8eysrtgfoz2@bobbys-imac.local> <4B5215AE.6020402@ieee.org> <op.u6niq5nhtgfoz2@bobbys-imac.local> <4B527F72.9010000@ieee.org> <op.u6nuvknatgfoz2@bobbys-imac.local> <op.u6nvhla9tgfoz2@bobbys-imac.local> <4B53A4B6.5010507@ieee.org> <op.u6pmhgrmtgfoz2@bobbys-imac.local> <hj40mc$sdo$1@smc.vnet.net>
I would like to thank all who have contributed to this thread, and put
up with my lack of knowledge of Mathematica. During my studies of your
proposals, I have found what to me is a useful, and sufficiently
cautious procedure which accomplishes, pretty much, what I was looking
for, even though I was unaware at the beginning how to precisely
describe it.
For others who may be following this with interest, here it is:
First perform the following on the expression "expr", where eps<<1
Collect[ExpandAll[expr /. C -> Cf*eps], Cf, Simplify]
Second inspect the output from the above. Look for forms of (_a eps^_n
\[PlusMinus] _b) or similar which can be safely changed to \[PlusMinus]
b as follows:
% /. {a_ eps^2 - 1 -> -1, a_ eps^2 + 1 -> 1, (2 eps - 1) -> -1}
For me it is best at this point to add the /. rules one at a time and
inspect after each application to be sure there are no surprises from
whatever wildcards have been applied. As a novice wildcards are still an
adventure.
After satisfaction that no more eliminations are wanted, the final
expression is restored similarly to the following:
FullSimplify[ExpandAll[% /. eps -> C/Cf], {assumptions}]
Thanks again for everyone's patience.
Dave
- References:
- Simplify with NestedLessLess?
- From: dbird <dbird@ieee.org>
- Re: Simplify with NestedLessLess?
- From: Dave Bird <dbird@ieee.org>
- Simplify with NestedLessLess?