VINCI(1)

📦
version 1.0.5 · 2 versions
, in opensuse-leap 16.0

✨ VINCI(1) ✨

okay so bestie, welcome to the vinci page — it's filed under User Commands in section 1 of the manual, and honestly? it's giving "quiet icon that just does the math". 💅

🎀 NAME 🎀

vinci — volume computations 🦋

🌸 SYNOPSIS 🌸

vinci [OPTIONS] FILE

💖 DESCRIPTION 💖

Vinci computes the volume of a polytope, and the way it gets that info is so specific — the vertices, the defining hyperplanes, and/or the incidences of vertices and facettes are all stored in files that follow the lrslib (by David Avis) and/or cddlib (by Komei Fukuda) polytope formats. Two absolute legends, we stan. 🫶

The file conventions are literally this, no cap:

  • vertices live in a file with extension .ine
  • hyperplanes live in .ext
  • incidences live in .icd

and if you want to see what that actually looks like, go peek at the sample files square.ext, square.icd and square.ine. ✨

Its basic call is vinci file where file stands for the polyhedron file name without the extension — like vinci square, that's the whole vibe. In that case the existing files and the installed additional packages get analysed, and according to the problem type an appropriate volume computation method is chosen automatically. She just knows. 🔥

For more information please consult the manual. (yes bestie, the manual is the manual, it said it itself 😭)

⭐ OPTIONS ⭐

  • -m [LABEL] — with no label at all, it shows you all the implemented volume computation methods (a little menu moment 👑). With a label, it uses that volume computation method. that's it, that's the option.
  • -s LEVEL — you hand it a positive integer: the number of recursion levels for which intermediate results are stored. Higher value = speeds up certain methods considerably, but it also needs more storage space. trade-offs, bestie, it's always trade-offs 💀
  • -r SEED — sets the random seed used for determining the objective function for Lawrence's formula to the integer you specify. deterministic queen behaviour when you want it reproducible. 🌈

🦋 SEE ALSO 🦋

  • lrs(1) — go say hi to the lrslib side of the family 💜
little heads-up from your girl: the label thing on -m is optional ([LABEL]), but LEVEL and SEED are very much not — give them their integers or the vibe check fails. 🙈

okay so that's the whole page, mwah 💋 — this one's out of the VINCI source, manual page VINCI(1), and that's the entire sign-off, periodt. 🎀✨

📦 where this page comes from