Package - 4ti2

Package:  4ti2
apt-get install 4ti2
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/4/4ti2/4ti2_1.6.10+ds-1.1+b2_amd64.deb (Size: 36.1KiB)

PropertyValue
Package4ti2
Source4ti2 (1.6.10+ds-1.1)
Version1.6.10+ds-1.1+b2
Installed-Size288
MaintainerDebian Math Team
Architectureamd64
Dependslib4ti2-0t64 (= 1.6.10+ds-1.1+b2), libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Suggests4ti2-doc
Descriptionmathematical tool suite for problems on linear spaces -- tools
Description-md5492cca73dfb17534ab742175067b92b6
Homepagehttps://4ti2.github.io/
Sectionmath
Priorityoptional
Filenamepool/main/4/4ti2/4ti2_1.6.10+ds-1.1+b2_amd64.deb
Size36940
MD5sumf6894f360e80ca8cb6ca92d49dfe8e3a
SHA25633b949da8f8be24dcba051aa931f32771bc53e1e74e91ec202b91a3d3b5c396c

Files in package

  • /usr/bin/4ti2-circuits
  • /usr/bin/4ti2-genmodel
  • /usr/bin/4ti2-gensymm
  • /usr/bin/4ti2-graver
  • /usr/bin/4ti2-groebner
  • /usr/bin/4ti2-hilbert
  • /usr/bin/4ti2-markov
  • /usr/bin/4ti2-minimize
  • /usr/bin/4ti2-normalform
  • /usr/bin/4ti2-output
  • /usr/bin/4ti2-ppi
  • /usr/bin/4ti2-qsolve
  • /usr/bin/4ti2-rays
  • /usr/bin/4ti2-walk
  • /usr/bin/4ti2-zbasis
  • /usr/bin/4ti2-zsolve
  • /usr/libexec/x86_64-linux-gnu/4ti2/bin/4ti2gmp
  • /usr/libexec/x86_64-linux-gnu/4ti2/bin/4ti2int32
  • /usr/libexec/x86_64-linux-gnu/4ti2/bin/4ti2int64
  • /usr/share/doc/4ti2/NEWS.gz
  • /usr/share/doc/4ti2/changelog.Debian.amd64.gz
  • /usr/share/doc/4ti2/changelog.Debian.gz
  • /usr/share/doc/4ti2/changelog.gz
  • /usr/share/doc/4ti2/copyright
  • /usr/share/lintian/overrides/4ti2
  • /usr/share/man/man1/4ti2-circuits.1.gz
  • /usr/share/man/man1/4ti2-genmodel.1.gz
  • /usr/share/man/man1/4ti2-gensymm.1.gz
  • /usr/share/man/man1/4ti2-graver.1.gz
  • /usr/share/man/man1/4ti2-groebner.1.gz
  • /usr/share/man/man1/4ti2-hilbert.1.gz
  • /usr/share/man/man1/4ti2-markov.1.gz
  • /usr/share/man/man1/4ti2-minimize.1.gz
  • /usr/share/man/man1/4ti2-normalform.1.gz
  • /usr/share/man/man1/4ti2-output.1.gz
  • /usr/share/man/man1/4ti2-ppi.1.gz
  • /usr/share/man/man1/4ti2-qsolve.1.gz
  • /usr/share/man/man1/4ti2-rays.1.gz
  • /usr/share/man/man1/4ti2-walk.1.gz
  • /usr/share/man/man1/4ti2-zbasis.1.gz
  • /usr/share/man/man1/4ti2-zsolve.1.gz
  • /usr/share/man/man1/4ti2.1.gz