https://github.com/vprusso/graph_incidence_nonlocal_games
Repository for arXiv:2205.04645
https://github.com/vprusso/graph_incidence_nonlocal_games
Last synced: 7 months ago
JSON representation
Repository for arXiv:2205.04645
- Host: GitHub
- URL: https://github.com/vprusso/graph_incidence_nonlocal_games
- Owner: vprusso
- License: gpl-2.0
- Created: 2022-05-08T12:58:48.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2024-03-12T16:39:22.000Z (over 1 year ago)
- Last Synced: 2025-01-28T20:42:12.481Z (8 months ago)
- Language: GAP
- Homepage:
- Size: 25.4 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Arkhipov's theorem, graph minors, and linear system nonlocal games
Companion code for: [arXiv:2205.04645](https://arxiv.org/abs/2205.04645)
```
"Arkhipov's theorem, graph minors, and linear system nonlocal games",
C. Paddock, V. Russo, T. Silverthorne, W. Slofstra,
arXiv:2205.04645
```
Each of the subsequent subdirectories [incidence_group_gen](#incidence_group_gen) and [confluent_rewriting_systems](confluent_rewriting_systems) contain their own `README.md` file that describes their utility and how to run the code within.
### Dependencies
1. [SageMath](http://www.sagemath.org/) (version >= 7.5.1),
2. [GAP](https://www.gap-system.org/) (version >= 4.8.3),
3. [KBMAG](https://www.gap-system.org/Packages/kbmag.html) (version >= 1.5.4: follow installation instructions in this README).
4. [Python 3](https://www.python.org/)
### incidence_group_gen
Given a graph or incidence matrix that corresponds to a graph, determine the incidence group of the graph as either a permutation group or as a finitely presented group.
### confluent_rewriting_systems
Given a graph or incidence matrix that corresponds to a graph, compute the confluent rewriting system of that graph using the Knuth-Bendix algorithm.
### License
This code is licensed under GPL version 2.0 or later.