package info (click to toggle)
gap-anupq 3.3.3-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 8,328 kB
  • sloc: ansic: 15,243; xml: 5,186; sh: 1,259; makefile: 281; perl: 260; javascript: 155

Folder: examples

d .. (parent)
- - rw-r--r-- 659 11gp-3-Engel-Id
- - rw-r--r-- 905 11gp-3-Engel-Id-i
- - rw-r--r-- 931 11gp-PG-i
- - rw-r--r-- 831 11gp-Rel-i
- - rw-r--r-- 1,613 11gp-SP-a-Rel-1-i
- - rw-r--r-- 1,674 11gp-SP-a-Rel-i
- - rw-r--r-- 1,645 11gp-SP-a-i
- - rw-r--r-- 2,656 11gp-SP-b-Rel-i
- - rw-r--r-- 2,630 11gp-SP-b-i
- - rw-r--r-- 2,630 11gp-SP-c-Rel-i
- - rw-r--r-- 768 11gp-a-Rel-i
- - rw-r--r-- 817 11gp-i
- - rw-r--r-- 872 2gp-PG-2-i
- - rw-r--r-- 847 2gp-PG-3-i
- - rw-r--r-- 961 2gp-PG-4-i
- - rw-r--r-- 750 2gp-PG-e4-i
- - rw-r--r-- 804 2gp-PG-i
- - rw-r--r-- 472 2gp-Rel
- - rw-r--r-- 731 2gp-Rel-i
- - rw-r--r-- 1,094 2gp-SP-1-Rel-i
- - rw-r--r-- 1,214 2gp-SP-2-Rel-i
- - rw-r--r-- 1,211 2gp-SP-3-Rel-i
- - rw-r--r-- 1,218 2gp-SP-4-Rel-i
- - rw-r--r-- 1,080 2gp-SP-Rel-i
- - rw-r--r-- 1,169 2gp-SP-d-Rel-i
- - rw-r--r-- 589 2gp-a-Rel-i
- - rw-r--r-- 911 3gp-PG-4-i
- - rw-r--r-- 1,136 3gp-PG-i
- - rw-r--r-- 705 3gp-PG-x-1-i
- - rw-r--r-- 2,145 3gp-PG-x-i
- - rw-r--r-- 798 3gp-Rel-i
- - rw-r--r-- 1,334 3gp-SP-1-Rel-i
- - rw-r--r-- 1,332 3gp-SP-2-Rel-i
- - rw-r--r-- 1,333 3gp-SP-3-Rel-i
- - rw-r--r-- 1,383 3gp-SP-4-Rel-i
- - rw-r--r-- 1,327 3gp-SP-Rel-i
- - rw-r--r-- 463 3gp-a-Rel
- - rw-r--r-- 784 3gp-a-Rel-i
- - rw-r--r-- 1,321 3gp-a-x-Rel-i
- - rw-r--r-- 758 3gp-maxoccur-Rel-i
- - rw-r--r-- 747 5gp-PG-i
- - rw-r--r-- 751 5gp-Rel-i
- - rw-r--r-- 1,574 5gp-SP-Rel-i
- - rw-r--r-- 1,584 5gp-SP-a-Rel-i
- - rw-r--r-- 1,633 5gp-SP-b-Rel-i
- - rw-r--r-- 1,057 5gp-SP-big-Rel-i
- - rw-r--r-- 1,627 5gp-SP-d-Rel-i
- - rw-r--r-- 1,083 5gp-a-Rel-i
- - rw-r--r-- 564 5gp-b-Rel-i
- - rw-r--r-- 607 5gp-c-Rel-i
- - rw-r--r-- 793 5gp-maxoccur-Rel-i
- - rw-r--r-- 530 5gp-metabelian-Rel
- - rw-r--r-- 786 5gp-metabelian-Rel-i
- - rw-r--r-- 733 7gp-PG-i
- - rw-r--r-- 762 7gp-Rel-i
- - rw-r--r-- 1,616 7gp-SP-Rel-i
- - rw-r--r-- 1,527 7gp-SP-a-Rel-i
- - rw-r--r-- 1,569 7gp-SP-b-Rel-i
- - rw-r--r-- 264 B2-4
- - rw-r--r-- 462 B2-4-Id
- - rw-r--r-- 1,084 B2-4-SP-i
- - rw-r--r-- 439 B2-5
- - rw-r--r-- 706 B2-5-i
- - rw-r--r-- 706 B2-8-i
- - rw-r--r-- 1,034 B4-4-a-i
- - rw-r--r-- 721 B4-4-i
- - rw-r--r-- 6,538 B5-4.g
- - rw-r--r-- 487 B5-5-Engel3-Id
- - rw-r--r-- 1,283 EpimorphismStandardPresentation
- - rw-r--r-- 1,325 EpimorphismStandardPresentation-i
- - rw-r--r-- 496 F2-5-i
- - rw-r--r-- 1,096 G2-SP-Rel-i
- - rw-r--r-- 1,316 G3-SP-Rel-i
- - rw-r--r-- 1,588 G5-SP-Rel-i
- - rw-r--r-- 1,572 G5-SP-a-Rel-i
- - rw-r--r-- 395 IsIsomorphicPGroup-ni
- - rw-r--r-- 1,947 Nott-APG-Rel-i
- - rw-r--r-- 1,519 Nott-PG-Rel-i
- - rw-r--r-- 1,467 Nott-SP-Rel-i
- - rw-r--r-- 1,693 Pq
- - rw-r--r-- 576 Pq-ni
- - rw-r--r-- 448 PqDescendants-1
- - rw-r--r-- 427 PqDescendants-1-i
- - rw-r--r-- 653 PqDescendants-2
- - rw-r--r-- 676 PqDescendants-3
- - rw-r--r-- 3,988 PqDescendants-treetraverse-i
- - rw-r--r-- 467 PqDescendantsTreeCoclassOne-16-i
- - rw-r--r-- 408 PqDescendantsTreeCoclassOne-25-i
- - rw-r--r-- 405 PqDescendantsTreeCoclassOne-9-i
- - rw-r--r-- 263 PqEpimorphism
- - rw-r--r-- 1,261 PqPCover
- - rw-r--r-- 504 PqSupplementInnerAutomorphisms
- - rw-r--r-- 829 R2-5-i
- - rw-r--r-- 819 R2-5-x-i
- - rw-r--r-- 6,475 README
- - rw-r--r-- 1,179 StandardPresentation
- - rw-r--r-- 1,037 StandardPresentation-i
- - rw-r--r-- 1,170 gp-256-SP-Rel-i
- - rw-r--r-- 3,979 index