4TI2(1)

💖 Welcome to the 4TI2(1) General Commands Manual, bestie 💖

✨ NAME ✨

okay so 4ti2 🦋 is a software package for algebraic, geometric and combinatorial problems on linear spaces. the math is literally giving main character energy 👑

📋 SYNOPSIS 📋

4ti2-circuits
4ti2-genmodel [--quiet] foo.mod
4ti2-gensymm [--quiet] a b c d foo
4ti2-graver [--quiet] foo[|.mat|.lat]
4ti2-groebner [--quiet|-q] [--force|-f] [--saturation|-s] [--project-and-lift|-p] [--normal|-n] [--weighted|-w] [--gebauer-moeller|-g] [--auto-reduce-freq=N|-aN] foo
4ti2-hilbert [--quiet] foo
4ti2-markov [--quiet|-q] foo
4ti2-minimize [--quiet|-q] foo
4ti2-normalform
4ti2-output [--quiet] [--binomials] [--maple] [--0-1] [--transpose] [--degree [N]] [--positive] [--3way a b c] foo
4ti2-ppi
4ti2-qsolve
4ti2-rays
4ti2-walk
4ti2-zbasis
4ti2-zsolve

💅 DESCRIPTION 💅

ok so the software package 4ti2 is a whole suite of command-line tools 🧰 built for tackling algebraic, geometric and combinatorial problems on linear spaces. it's literally a toolbox and it slays ✨

🌸 DATA STRUCTURE 🌸

the main concept of 4ti2 stays the same bestie 🫶 a project is defined via a file foo[.mat] that holds the problem matrix. related sets like the Graver basis or the Markov basis get stored in foo.gra and foo.mar, respectively 🦋

input and output files usually hold a matrix, or a list of vectors written as a matrix, in a standard encoding. it's giving neat rows and columns 💖 like this:

  2 4
  1 1 1 1
  1 2 3 4

there are only a few exceptions 🙈 for example, the file foo.vars holds user specified variable names, like so:

  3
  a b x

🦋 SEE ALSO 🦋

• User's Guide for 4ti2
• http://www.4ti2.de/

👑 AUTHORS 👑

• Ralf Hemmecke 💜
• Raymond Hemmecke 💜
• Matthias Koeppe 💜
• Peter Malkin 💜
• Matthias Walter 💜

bye bestie 🌈 this page is from Debian, dated January 2015 🎀 stay iconic 💅✨