Tue, 05 Nov 2013 09:44:59 +0100 | hoelzl | use INF and SUP on conditionally complete lattices in multivariate analysis | changeset | files |
Tue, 05 Nov 2013 09:44:59 +0100 | hoelzl | add SUP and INF for conditionally complete lattices | changeset | files |
Tue, 05 Nov 2013 09:44:58 +0100 | hoelzl | use bdd_above and bdd_below for conditionally complete lattices | changeset | files |