Dear all, three days ago I started a simple project aimed at using Matrix::resize_no_copy() instead of Matrix::resize() in order to shrink matrices in the Polyhedron::remove...() methods. This looked like an easy task but it was not. To keep a long story short, this simple move triggered a series of bugs that has been difficult to track and also somewhat difficult to fix. And I have still not finished to fix them. However, I have already modified too many files to delay the commit any longer. Even though this commit does not show any regression, I have tagged the sources before and after the commit. The tags used are before_big_RB_commit_on_Nov_04 after_big_RB_commit_on_Nov_04 Notice that the problems testified by bug1.cc and bug2.cc are exactly the same, before and after the commit. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it