next up previous contents
Next: The HullConsistency, Simp2B and Up: Simplification procedures Previous: Introduction   Contents

Filtering simplification procedures

An important point: some of these procedures have as argument a list of variable names and this list must be the same than the one that is used for the solving procedure.


Jean-Pierre Merlet 2012-12-20