Add encode and pc_group for encoding finite pc groups into integers and back#5456
Merged
fingolfin merged 19 commits intooscar-system:masterfrom Nov 19, 2025
Merged
Commits
Commits on Oct 15, 2025
Commits on Oct 17, 2025
- committed
Commits on Oct 20, 2025
Commits on Oct 22, 2025
Commits on Oct 27, 2025
Commits on Oct 28, 2025
Commits on Oct 29, 2025
Commits on Nov 3, 2025
Commits on Nov 4, 2025
- committed
- committed
