ProvingGround Separate equations with initial values

Separate equations with initial values

Open siddhartha-gadgil opened this issue 4 years ago • 2 comments

Storing and recalling them is misleading.
On the other hand, when initializing with a term state one must generate and include the corresponding equations.
Warning: we do want initial values in islands.

Dec 27 '20 01:12 siddhartha-gadgil

This seems to be at least part of the problem with Chomp-session not working: we get silly terms.

Jan 13 '21 05:01 siddhartha-gadgil

May be better to purge nodes that are not reachable.

Jan 13 '21 06:01 siddhartha-gadgil