Packages / openSUSE Tumbleweed / Productivity/Scientific/Math / gap-walrus

[Source: gap-walrus]

Package: gap-walrus (0.9992-1.2)

GAP: Proving assistant for hyperbolicity

An implementation of hyperbolicity testing using an idea by Holt, Neunhöffer, Parker and Roney-Dougal.

Other Packages Related to gap-walrus:

  • dep: gap-core (>= 4.10)

    Package not available

  • dep: [gap-datastructures] (>= 0.2.2)

    GAP: Collection of standard data structures for GAP

  • dep: [gap-digraphs] (>= 0.10)

    GAP: Digraphs and multigraphs

  • dep: [gap-gapdoc] (>= 1.5)

    GAP: package for GAP Documentation

  • sug: [gap-kbmag] (>= 1.5.4)

    GAP: Knuth-Bendix on Monoids and Automatic Groups

  • sug: [gap-profiling] (>= 1.3.0)

    GAP: Line-by-line profiling and code coverage for GAP

Download gap-walrus

ArchitecturePackage sizeInstalled sizeFilesPackage
noarch301 KiB1.7 MiBlist of filesDownload

Package file paths (97)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/share/gap
  • /usr/share/gap/pkg
  • /usr/share/gap/pkg/walrus-0.9992
  • /usr/share/gap/pkg/walrus-0.9992/COPYRIGHT.md
  • /usr/share/gap/pkg/walrus-0.9992/doc
  • /usr/share/gap/pkg/walrus-0.9992/doc/_AutoDocMainFile.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap0.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap0_mj.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap0.txt
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap1.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap1_mj.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap1.txt
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap2.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap2_mj.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap2.txt
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap3.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap3_mj.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chap3.txt
  • /usr/share/gap/pkg/walrus-0.9992/doc/chapInd.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chapInd_mj.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/chapInd.txt
  • /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Overview.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Pregroup_Presentations.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/_Chapter_Pregroups.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/chooser.html
  • /usr/share/gap/pkg/walrus-0.9992/doc/_Chunks.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/_entities.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/Intros.autodoc
  • /usr/share/gap/pkg/walrus-0.9992/Dockerfile
  • /usr/share/gap/pkg/walrus-0.9992/doc/lefttoc.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/manual.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/manual.js
  • /usr/share/gap/pkg/walrus-0.9992/doc/manual.lab
  • /usr/share/gap/pkg/walrus-0.9992/doc/manual.pdf
  • /usr/share/gap/pkg/walrus-0.9992/doc/manual.six
  • /usr/share/gap/pkg/walrus-0.9992/doc/nocolorprompt.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/pregroups.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/presentation.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/ragged.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/rainbow.js
  • /usr/share/gap/pkg/walrus-0.9992/doc/times.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/title.xml
  • /usr/share/gap/pkg/walrus-0.9992/doc/toggless.css
  • /usr/share/gap/pkg/walrus-0.9992/doc/toggless.js
  • /usr/share/gap/pkg/walrus-0.9992/doc/walrus.tex
  • /usr/share/gap/pkg/walrus-0.9992/doc/walrus.xml
  • /usr/share/gap/pkg/walrus-0.9992/gap
  • /usr/share/gap/pkg/walrus-0.9992/gap/anadata.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/anadata.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/examples.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/examples.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/location.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/location.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/place.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/place.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/pregroupconstr.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/pregroup.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/pregroup.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/pregroupoffreegroup.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/presentation.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/presentation.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/relator.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/relator.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/small_pregroups.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/small_pregroups.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/util.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/util.gi
  • /usr/share/gap/pkg/walrus-0.9992/gap/walrus.gd
  • /usr/share/gap/pkg/walrus-0.9992/gap/walrus.gi
  • /usr/share/gap/pkg/walrus-0.9992/init.g
  • /usr/share/gap/pkg/walrus-0.9992/LICENSE
  • /usr/share/gap/pkg/walrus-0.9992/makedoc.g
  • /usr/share/gap/pkg/walrus-0.9992/PackageInfo.g
  • /usr/share/gap/pkg/walrus-0.9992/Polynomial-time proofs that groups are hyperbolic.ipynb
  • /usr/share/gap/pkg/walrus-0.9992/read.g
  • /usr/share/gap/pkg/walrus-0.9992/README.md
  • /usr/share/gap/pkg/walrus-0.9992/tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/components.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/derek.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/dijkstra.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/examples.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/F20.out
  • /usr/share/gap/pkg/walrus-0.9992/tst/F2.out
  • /usr/share/gap/pkg/walrus-0.9992/tst/jackbutton.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/presentations.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/psl.out
  • /usr/share/gap/pkg/walrus-0.9992/tst/s3s3.out
  • /usr/share/gap/pkg/walrus-0.9992/tst/small.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/standard
  • /usr/share/gap/pkg/walrus-0.9992/tst/standard/pregroup.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/standard/presentation.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/testall.g
  • /usr/share/gap/pkg/walrus-0.9992/tst/testbench.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/testexamples.g
  • /usr/share/gap/pkg/walrus-0.9992/tst/testexamples.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/triangle.tst
  • /usr/share/gap/pkg/walrus-0.9992/tst/ui.tst

Field source: openSUSE Tumbleweed OSS

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Tumbleweed in the browserBuild an image that includes gap-walrus

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
0.9992-1.2tumbleweed / ossnoarchopenSUSE Tumbleweed · OSS · multi-architecture301 KiB1.7 MiBnoarch/gap-walrus-0.9992-1.2.noarch.rpm

Field source: openSUSE Tumbleweed OSS

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced:

[CVE catalog]

Checksums

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

0.9992-1.2 / noarchObserved Sep 1, 2026sha512 5322d83b70fd…17f1c612Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 5322d83b70fd0d134db3468ff71cdab957be6e00f7101059f5db14e0c3f15738617185ffabf93f5ae5d1c9393f44859f8befc991115c67fee6c48aa917f1c612

Field source: openSUSE Tumbleweed OSS

Sources

  • openSUSE Tumbleweed OSSSep 1, 2026

    Authoritative source; repository metadata signature verified

    Signature evidence

    tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    Repository-signature verification record
    Signed-object SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Repository metadata hash linkage
    Result
    Recorded as verified; digest details unavailable