QEPCAD(1)

📦
version 1.74 · 2 versions
, in debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 QEPCAD — bestie, it's giving Quantifier Elimination 💖

okay so this is QEPCAD(1) from the General Commands Manual and I am obsessed, we're doing cylindrical algebraic decomposition today and it's gonna slay, no cap ✨

🌸 NAME 🌸

QEPCAD — Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

🎀 SYNOPSIS 🎀

qepcad [-h|-v] [-noecho] [-t <num> ] [+N <numcells> ]

🦋 DESCRIPTION 🦋

so QEPCAD B is this program for studying Cylindrical Algebraic Decomposition (CAD, iykyk). It builds CADs from an input formula and a variable order — like, you hand it the formula, you hand it the order, it does the whole construction for you 💅

and then?? it has so many commands for getting info out of the CAD. not me being dramatic but it literally includes construction of simple equivalent Tarski formulas. the range. the versatility. main character energy fr fr 🫶

✨ OPTIONS ✨

  • -h — help information, bestie. the classic.
  • -v — prints the version string 💜
  • -noecho — turns off echoing of input (so it stops repeating everything back at you, lowkey nice)
  • -t <num> — sets a timeout of <num> seconds ⏳
  • +N<numcells> — sets garbage collected space to <numcells>. default is 2000000. maximum allowable is 1073741822 (because Word is 32 bits, periodt 💀)
careful with that max, girlies — 1073741822 is the ceiling and the reason is literally that Word is 32 bits. do not come for me, that's what the page says 🙈
  • +h — prints Saclib help message 🌈

👑 AUTHORS 👑

The principal author of the original QEPCAD is Hoon Hong. Other contributors include:

  • Christopher W. Brown
  • George E. Collins
  • Mark J. Encarnacion
  • Jeremy R, Johnson
  • Werner Krandick
  • Scott McCallum
  • Stanly Steinberg
  • Richard Liska
  • Nicolas Robidoux

The author of Version B is Christopher W. Brown <wcbrown@usna.edu> 💖

This manual page was written by Doug Torrance <dtorrance@debian.org> for the Debian GNU/Linux system (but may be used by others). iconic of him honestly 🎀

🌟 SEE ALSO 🌟

and that's the whole page, bestie!! the footer is literally just QEPCAD(1) again — no version, no date, just the name echoing itself like the icon it is 💅✨ slay, go eliminate some quantifiers 🦋🌸

📦 where this page comes from