[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

2.11.4 Expansion

57A0C (SYMEXPAN) ( symf → symf )
Expands symbolic or float
57A48 (expan) ( meta1 meta2 meta3 → meta )
Expands meta3. Successful part is added to tail of meta2. Calls expan1 and larg until meta3 becomes empty.
57AA2 (expan1) ( meta → meta1 meta2 )
Expands meta. Meta1 is the unsuccessful part, meta2 the successful part (could be just and operator). Sub-expanders:
57B63 (?expan^)
If ^ then expands (returns if successful.)
57AB6 (expansq)
Expands SQ.
57B4C (?expanneginv)
Prevents Meta->() from expanding [Expr INV NEG].
57B01 (?expanapp)
If <REF>xFCNAPPLY then tries calling <REF>?EXPAN .
57C71 (expansum^)
Expands (A+B)^2 or (A-B)^2
57CF8 (NXTPOT%) ( % → flag %' T )
( % → % F )
Returns next number when expanding ^. The flag indicates wheter %0>. Do not use for %0.



This document was generated by Carsten Dominik on May, 30 2005 using texi2html