Event sets

[maxitg]

Changes

• Allows one to generate event sets (token deduplication "EventSet") for MultisetSubstitutionSystem.
• Event sets are similar to match-all systems, however, they also deduplicate all tokens with identical content.

Comments

• This is a work in progress. There are no tests and no documentation at the moment.
• In particular, converting these objects to WolframModelEvolutionObject is not necessarily the best idea (I will probably disable that in cases where there is token deduplication).

Examples

• Add all possible pairs of numbers starting from 1 for 3 generations:

In[] := #["ExpressionsEventsGraph", VertexLabels -> Automatic, GraphLayout -> "SpringElectricalEmbedding"] &@
 SetReplaceTypeConvert[{WolframModelEvolutionObject, 2}]@
  GenerateFullEventSet[MultisetSubstitutionSystem[{a_, b_} /; a <= b :> {a + b}], 3]@{1}

• Even though it's not complete hypergraph deduplication yet, it already makes TEGs for hypergraphs quite a lot smaller (don't trust this result until I implement the tests though). Before deduplication:

In[] := WolframModel[<|"PatternRules" -> ({{v1_, v2_}, {v1_, v3_}} :> 
      Module[{v4}, {{v1, v2}, {v1, v4}, {v2, v4}, {v3, v4}}])|>, {{1, 1}, {1, 1}}, 3, 
  "EventSelectionFunction" -> "MultiwaySpacelike"]["ExpressionsEventsGraph", GraphLayout -> "SpringElectricalEmbedding"]

• And now:

In[] := #["ExpressionsEventsGraph", GraphLayout -> "SpringElectricalEmbedding"] &@
 SetReplaceTypeConvert[{WolframModelEvolutionObject, 2}]@
  GenerateFullEventSet[
    MultisetSubstitutionSystem[{{v1_, v2_}, {v1_, v3_}} :> Module[{v4}, {{v1, v2}, {v1, v4}, {v2, v4}, {v3, v4}}]], 
    3]@{{1, 1}}

---

This change is 

[maxitg]

Closing this for now until it becomes more clear what the next steps are.