Tree folder

The tree folder is used for constant folding in the FrontEnd and also for folding in the tree based optimizations.

See the list of Simplifications for more details on what transformations the tree folder does.

Starting from 4.1, there are separate functions for each of the folders (fold_unary, fold_binary, etc.).

None: tree_folder (last edited 2008-01-10 19:38:46 by localhost)