Just a quick answer before checking this message more carefully. To me, "constraints are minimized" means "as far as constraints are concerned, there is no need to call minimize()". The purpose of these flags is to try to reduce the calls to minimize() as much as possible.

Andrea Pescetti wrote:

Il significato del flag minimized sarebbe da chiarire. Per me, quando ho commentato bug3, "minimized" significava che non si poteva descrivere lo stesso poliedro con un numero di equazioni (e, in subordine, disequazioni) inferiore. Invece ho capito che per voi "minimized" significa "intatto dopo l'applicazione di minimize()". Cioe', se ho un quadrato in R^2 e lo trasformo in un triangolo togliendo un vertice, per me la rappresentazione rimane minimale e quindi minimized deve rimanere settato se lo e', per voi, se capisco bene, va invece azzerato.

...

[Elisa] Quindi secondo me il test sui constraints minimizzati che ieri abbiamo aggiunto in OK non viene contraddetto da questo esempio (la con_sys1 non doveva avere il flag constraints_are_minimized settato, perche' non era minimizzata).

Su questo posso essere d'accordo. In effetti il flag minimized era settato gia' nei dati di ingresso (in bug3.dat) e quindi il controesempio non era attendibile. Pero' c'e' un problema. Se si tolgono i flag +CM e +GM dai due poliedri di bug3.dat, e quindi non si racconta piu' che x e y sono minimizzati, si arriva dopo un po' ad una situazione in cui le matrici risultano minimizzate ma sono diverse tra loro (ed, ovviamente, sono identiche alle due matrici per cui falliva il confronto). Quindi, prendendo per buona la vostra definizione di minimized, c'e' qualche punto del codice che imposta minimized a true senza che questo sia vero, oppure qualche punto del codice che imposta minimized=true in base a ragionamenti diversi e non all'applicazione di minimize(). Ciao. Andrea.