Simplification and other operations might result in non-contiguous symbol_id values, which means wasted space when running evaluate. A pass to make these compact could be useful. It would require rewriting the node_context to preserve the names (for printing).
Simplification and other operations might result in non-contiguous
symbol_id
values, which means wasted space when runningevaluate
. A pass to make these compact could be useful. It would require rewriting thenode_context
to preserve the names (for printing).