new features
This release predominantly introduces a third automatic algebra generation (besides count and enum), namely tikz. Similar to enum it is meant to inspect the typically "invisible" candidate trees, however not as a purely textual representation (as enum does) but by producing code for a LaTeX TikZ document on stdout.
Use this new feature by adding the following line to your gap-L programs:
algebra foo auto tikz;
This document ends with a hint on how to make actual graphics out of it for user convenience.
When using the new algebra in an algebra-product, results of the other algebras are printed in a table at the root node of each candidate tree.
As choice function is id, be aware of exponential explosions - as with enum!
fixes:
- ensure left/right indices are cleared before (re-)initializing for e.g. splitting the algebra product into forward and backward parts when backtracing
- stabilizing sorting order of outside_axiom rhs non terminals