mschlund/newton — pull request #21 by michalt (2013-02-22 15:52:22+00:00)
Title: New representation of semilinear sets

This tries to minimize the memory usage by semilinear sets: we never allocate two identical sparse vectors or linear sets.

The current shortcomings are: no simplifier for semilinear sets, only the naive one for linear sets and we don't release memory allocated for sparse vectors and linear sets.