search

maxitg / SetReplace

C++/Wolfram Language package for exploring set and graph rewriting systems
MIT License
219 stars 44 forks source link

Fail when starting from an empty state in one of the multi-rules #129

Open maxitg opened 4 years ago

maxitg commented 4 years ago

The following fails with messages:

In[] := SetReplace[{}, ToPatternRules[{{1} -> {}, {} -> {}}]]

image

Version (please complete the following information):

daneelsan commented 3 years ago

In:

In[] := SetReplace[{}, ToPatternRules[{{1} -> {}, {} -> {}}]]

Is it intended that two events occur? {{{1, {} -> {}, 1}, {2, {} -> {}, 1}}}

When the input is just:

In[] := SetReplace[{}, ToPatternRules[{{} -> {}}]]

the only event that occurs is {{{1, {} -> {}, 1}}}

image

maxitg commented 3 years ago

No, SetReplace should do one event at a time, i.e., it's equivalent to <|"MaxEvents" -> 1|> (without the third argument).