Computing Permutation Encodings
β Scribed by K. Rustan M. Leino
- Publisher
- Springer
- Year
- 1999
- Tongue
- English
- Weight
- 127 KB
- Volume
- 11
- Category
- Article
- ISSN
- 0934-5043
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We describe the theory and implementation of a practical algorithm for computing a Sylow subgroup of a permutation group and for finding an element that conjugates one Sylow subgroup to another. The performance of the current implementations in the Magma system represents a significant improvement o
A new method for computing the conjugacy classes of subgroups of a finite group is described.
Let \(R\) be a commutative ring with 1 , let \(R\left[X_{1}, \ldots, X_{n}\right]\) be the polynomial ring in \(X_{1}, \ldots, X_{n}\) over \(R\) and let \(G\) be an arbitrary group of permutations of \(\left\{X_{1}, \ldots, X_{n}\right\}\). The paper presents an algorithm for computing a small fini