Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Determine whether a given multiway system evolution is causally invariant
"StateEvolutionFunction" | the list of successors for a given state |
"StateEquivalenceFunction" | whether two states should be considered equivalent |
"StateEventFunction" | the list of events obtained from a given state |
"SystemType" | system type name |
"EventSelectionFunction" | which events from a given state should be included |
Determine that a multiway system evolution is causally invariant:
In[1]:= |
Out[1]= |
In[2]:= |
Out[2]= |
Determine that a multiway system evolution is not causally invariant:
In[3]:= |
Out[3]= |
In[4]:= |
Out[4]= |
Determine that a more complicated multiway system is not causally invariant:
In[5]:= |
Out[5]= |
In[6]:= |
Out[6]= |
By picking a specific updating order, we can force this multiway system to be causally invariant:
In[7]:= |
Out[7]= |
In[8]:= |
Out[8]= |
CausallyInvariantQ can also determine causal invariance in WolframModel systems:
In[9]:= |
Out[9]= |
In[10]:= |
Out[10]= |
CausallyInvariantQ returns True if and only if the multiway system yields no unresolved critical pairs:
In[11]:= |
Out[11]= |
In[12]:= |
Out[12]= |
This work is licensed under a Creative Commons Attribution 4.0 International License