How To Install qepcad-B on Fedora 36

In this tutorial we learn how to install qepcad-B in Fedora 36. qepcad-B is Quantifier elimination tool

Introduction

In this tutorial we learn how to install qepcad-B on Fedora 36.

What is `qepcad-B`

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the “B” designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.

We can use yum or dnf to install qepcad-B on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install qepcad-B.

Install qepcad-B on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install qepcad-B using dnf by running the following command:

sudo dnf -y install qepcad-B

Install qepcad-B on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install qepcad-B using yum by running the following command:

sudo yum -y install qepcad-B

How To Uninstall qepcad-B on Fedora 36

To uninstall only the qepcad-B package we can use the following command:

sudo dnf remove qepcad-B

qepcad-B Package Contents on Fedora 36

/usr/bin/ADJ2D_plot
/usr/bin/cad2d
/usr/bin/qepcad
/usr/lib/.build-id
/usr/lib/.build-id/27
/usr/lib/.build-id/27/f49226ea4cea49490578092b50e8ef54680ac5
/usr/lib/.build-id/94
/usr/lib/.build-id/94/9ee178a507d8baa7feb34a5ce421a1c06f372a
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/7b411f540a4d9b6132338338b712e8d0ec2f0e
/usr/share/doc/qepcad-B
/usr/share/doc/qepcad-B/LOG
/usr/share/licenses/qepcad-B
/usr/share/licenses/qepcad-B/LICENSE
/usr/share/qepcad
/usr/share/qepcad/bin
/usr/share/qepcad/bin/ADJ2D_plot
/usr/share/qepcad/bin/cad2d
/usr/share/qepcad/bin/qepcad
/usr/share/qepcad/bin/qepcad.help
/usr/share/qepcad/default.qepcadrc

References

qepcad-B website

Summary

In this tutorial we learn how to install qepcad-B on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).