Multiset system: auto rule input counting - Githubissues

maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems

MIT License

219 stars 45 forks source link

Multiset system: auto rule input counting #656

Closed maxitg closed 3 years ago

maxitg commented 3 years ago

Changes

MultisetSubstitutionSystem will automatically figure out the number of inputs in some classes of rules and adjust "MinEventInputs" and "MaxEventInputs" accordingly.
This was one of the bottlenecks in MultisetSubstitutionSystem performance.

Comments

It cannot recognize all cases (in particular there is a condition in which Length is used). However, it does go inside conditions in simple cases, so something like {a_, b_} /; a < b is recognized.
This will be disabled in the new WL versions in case new pattern symbols appear.
@taliesinb, can you think of a better way to do this?

Examples

This now works without a "MaxEventInputs" spec:

In[] := #["ExpressionsEventsGraph", VertexLabels -> Placed[Automatic, After]] &@
SetReplaceTypeConvert[{WolframModelEvolutionObject, 2}]@
GenerateMultihistory[MultisetSubstitutionSystem[{a_, b_} /; a < b :> {a + b}], {"MaxDestroyerEvents" -> 1}, None, 
EventOrderingFunctions[MultisetSubstitutionSystem], {}]@Range[10]

This change is