We now consider the minimization operator, which basically suffers from the very same incompatibilities as the operators described in the two previous sections. However, we do not repeat ourselves here, but present only one minimization specific incompatibility.
In fact, the three polyhedral implementations are in essence
optimized by the user using sequence of calls, since it can be very
expensive to apply the minimization operator everywhere, whereas the
octagon's minimization is hidden and integrated in its algorithms. The
consequence is then that the polyhedral operators can have the suffix
_and_minimize, or not at all, which raises a compatibility
problem.
We have chosen above to present an operator-related point of view, and three operators as concrete examples. The contents of the three corresponding sections are not balanced since we do not want to repeat common problems. We sum up the problems in the conclusion part, 4_subsec:conclusion_HQ_interface. The next section discusses the availability of some operators.