PPL_LCDD(1)

💖 ppl_lcdd — bestie edition 💖

okay so this is PPL_LCDD(1), a User Commands manual page, and it's about ppl_lcdd — a PPL-based program for vertex/facet enumeration of convex polyhedra. yes we are doing MATH today, grab a snack 🍓

---

✨ NAME ✨

ppl_lcdd — a PPL-based program for vertex/facet enumeration of convex polyhedra. it's giving geometry. it's giving polyhedra. it's giving iconic 💅

---

🌸 SYNOPSIS 🌸

ppl_lcdd [OPTION]... [FILE]

short, sweet, and ready to read your files bestie 💖

---

🦋 DESCRIPTION 🦋

so here's the vibe: it reads an H-representation (or, resp., a V-representation) of a polyhedron and generates a V-representation (or, resp., an H-representation) of the same polyhedron. it just flips it for you, no cap 🔄

if you need the tea on the file formats, go read the cddlib Reference Manual. that's where the details live. 👑

---

👑 OPTIONS 👑

one bullet per option, we do NOT skip any, periodt ✨

• -CSECS, --max-cpu=SECS — limits CPU usage to SECS seconds ⏳
• -RMB, --max-memory=MB — limits memory usage to MB megabytes 🧠
• -h, --help — prints this help text to stdout 🫶
• -oPATH, --output=PATH — appends output to PATH 📝
• -t, --timings — prints timings to stderr ⏱️
• -v, --verbose — produces lots of output 😭 (like, LOTS)
• -V, --version — prints version information to stdout 🌈
• -cPATH, --check=PATH — checks if the result is equal to what is in PATH ✅

---

🌈 AVAILABILITY 🌈

the latest version of the Parma Polyhedra Library and all the documentation is available at http://bugseng.com/products/ppl/ . go get it bestie 💖

---

🎀 NOTES 🎀

heads up: the option -CSECS (--max-cpu=SECS) is not available on some platforms. so if it's ghosting you, that might be why 💀

---

💜 AUTHOR 💜

See the file CREDITS in the source distribution, or use the command ppl-config --credits for a list of contributors. shoutout to the whole squad 🫶

---

🐛 REPORTING BUGS 🐛

Report bugs to <ppl-devel@cs.unipr.it>. tell them everything, they wanna know fr fr 🙈

---

⭐ COPYRIGHT ⭐

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>

Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This is free software; see the file COPYING in the source distribution or use the command ppl-config --copying to obtain the copying conditions.

There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. like, zero. none. the vibes are free but the guarantees are not 😭

---

🔥 SEE ALSO 🔥

• ppl-config(1)
• Komei Fukuda. cddlib Reference Manual, available (in several formats) at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .

---

okay that's the whole page, you ate it, you read it, you're a polyhedra girlie now 👑✨

this was ppl_lcdd version 1.2, from February 2016 — mwah, take care bestie 💖🎀🦋