]> gitweb.factorcode.org Git - factor.git/commit
wrap: use infimum-by instead of min-by.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 17:50:01 +0000 (10:50 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 19:25:49 +0000 (12:25 -0700)
commit46fbfe3ff0b2fb78d375195d4353ed561c6f9a36
treef9d25b49fda065c5ce0f7f068283d5829f6c9c20
parentb8086f7dd5711b31eab986eb004167d5b4156d32
wrap: use infimum-by instead of min-by.
basis/wrap/wrap.factor