]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic: a bit faster.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 17 Jul 2015 21:23:50 +0000 (14:23 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 17 Jul 2015 21:23:50 +0000 (14:23 -0700)
commit39055423cea7eec8a5c9a88257fa66c77892bb89
tree33ff86e5c9c5fb6d045a33a110b302832b99e6b0
parent743928ae7dabf623f132adbbd23485bfc64dc96e
splitting.monotonic: a bit faster.
basis/splitting/monotonic/monotonic.factor