The
Computations
menu contains the following items:
CheckPositive
Monotone
Regular(2-Monot)
Quadratic
Q-Horn
Refutable