]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic: slightly faster.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 23:46:06 +0000 (15:46 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 2 Jan 2022 23:46:06 +0000 (15:46 -0800)
commit126904cd1499e627ec3b2265adb07220660e31e4
tree1a91432e65491baccf38140218df4f343a1b4439
parent673efc3cb7c50e3f90f1cfa905dc610ad13d382d
splitting.monotonic: slightly faster.
basis/splitting/monotonic/monotonic.factor