Module Flags.QE

module QE: sig .. end

QE flags



val order_var_by_elim : unit -> bool
Order variables in polynomials by order of elimination *
val general_lbound : unit -> bool
Choose lower bounds containing variables *