Mon, 16 Dec 2013 17:08:22 +0100 | immler | remove redundant constants | changeset | files |
Mon, 16 Dec 2013 17:08:22 +0100 | immler | ordered_euclidean_space compatible with more standard pointwise ordering on products; conditionally complete lattice with product order | changeset | files |
Mon, 16 Dec 2013 17:08:22 +0100 | immler | prefer box over greaterThanLessThan on euclidean_space | changeset | files |