https://github.com/vmchale/permutations
Provides a type-safe way of working with permutations in Idris
https://github.com/vmchale/permutations
Last synced: 11 months ago
JSON representation
Provides a type-safe way of working with permutations in Idris
- Host: GitHub
- URL: https://github.com/vmchale/permutations
- Owner: vmchale
- License: bsd-3-clause
- Created: 2017-07-15T02:52:20.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2021-10-03T12:30:43.000Z (over 4 years ago)
- Last Synced: 2025-01-08T12:07:58.043Z (about 1 year ago)
- Language: Idris
- Size: 240 KB
- Stars: 35
- Watchers: 7
- Forks: 4
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
README
# permutations
This is a library providing a type-safe implementation of permutations.
## Installation
```bash
$ idris --install permutations.ipkg
```
## Use
### Tips
The most useful thing this library provides is a `Group` instance for
permutations. You can multiply two elements with `<+>`, invert with `inverse`,
an so on.
#### Notation
The `Show` instance for `Permutation` uses cycle notation. You can read more
[here](http://dlmf.nist.gov/26.13) if you find it confusing.
### Documentation
[Documentation](https://vmchale.github.io/permutations/index.html).