Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gap-walrus-0.9991-lp160.1.1 RPM for noarch

From OpenSuSE Leap 16.0 for noarch

Name: gap-walrus Distribution: openSUSE Leap 16.0
Version: 0.9991 Vendor: openSUSE
Release: lp160.1.1 Build date: Sun Feb 12 21:55:45 2023
Group: Productivity/Scientific/Math Build host: reproducible
Size: 1768737 Source RPM: gap-walrus-0.9991-lp160.1.1.src.rpm
Packager: https://bugs.opensuse.org
Url: https://gap-packages.github.io/walrus
Summary: GAP: Proving assistant for hyperbolicity
 
An implementation of hyperbolicity testing using an idea by Holt,
Neunhöffer, Parker and Roney-Dougal.

Provides

Requires

License

BSD-3-Clause

Changelog

* Sun Feb 12 2023 Jan Engelhardt <jengelh@inai.de>
  - Initial package (version 0.9991) for build.opensuse.org

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jan 29 23:28:34 2025