Max Piskunov
Max Piskunov
### The problem Since Github now supports click-to-copy for code blocks, it became somewhat inconvenient that the input/output code blocks contain `In[] :=` and `Out[] =` prefixes that should not...
### The project goal Path integral approach to quantum theory can be thought of as probability theory on histories. Token-event graphs might be a way to describe histories. However, we...
### The project goal We currently don't have any way to enumerate ordered hypergraphs or `HypergraphSubstitutionSystem` rules in *SetReplace*. The closest thing we have is a [`RandomHypergraph`](https://github.com/maxitg/SetReplace/blob/master/Documentation/SymbolsAndFunctions/UtilityFunctions/RandomHypergraph.md) function and a...
### The project goal We do have [some understanding](https://github.com/maxitg/SetReplace/files/6225225/TokenDeduplication.nb.zip) of how token deduplication might work in systems where atoms have explicit names (i.e., multiset systems with no `Module`, `Unique`, or...
### The project goal Thanks to @SantiagoGiner from 2021 Winter School, we now have a way of computing [`CausalDensityDimension`](https://github.com/maxitg/SetReplace/blob/master/Documentation/SymbolsAndFunctions/UtilityFunctions/CausalDensityDimension.md) (aka [Myrheim–Meyer dimension](https://en.wikipedia.org/wiki/Causal_sets#Dimension_estimators)) of causal graphs. This project will be the...
### The problem #### Directed Hypergraphs The edges of a directed hypergraph consist of two unordered sets of vertices, in other words, ` -> ` Here, the order in the...
Implement enumeration of SetReplace systems. Specifically, come up with a numbering scheme (may be multiple numbers), i.e., ``` size.initVsRuleSplit.ruleCount.rule1;rule2;....init ``` Then, there should be a function which would take this...
### The problem One difference between multihistories as implemented in *SetReplace* and the [`MultiwaySystem`](https://resources.wolframcloud.com/FunctionRepository/resources/MultiwaySystem) is that `MultiwaySystem` identifies isomorphic states and merges them into one in properties such as `"StatesList"`....
### The problem To make evolution videos #443, we need to determine vertex coordinates in each frame. This can be done using the spring-electrical simulator, where vertices are considered charged...
### The problem We have some options the values of which contain strings that should support autocompletion. For example, `"EventOrderingFunction"`. ### Possible solution Some built-in options, e.g., `GraphLayout` can do...