2 Aug
2000
2 Aug
'00
2:54 p.m.
From: Chris Withers <chrisw@nipltd.com>
Who decided these rules and why are they like they are?
They follow directly from the way the Acquisition machinery works, which was set up by Jim Fulton.
So, is the working below now correct? (I feel like I'm back in School doing maths ;-)
Yes.
Where is the order of simplification defined?
In the Acquisition machinery, which simplifies upwards because that's the way it constructs the wrappers. Cheers, Evan @ digicool & 4-am