]> gitweb.factorcode.org Git - factor.git/commit
compiler.tree.identities: the identity on mod was useless too, because we already...
authorSlava Pestov <slava@factorcode.org>
Mon, 10 Oct 2011 19:31:47 +0000 (12:31 -0700)
committerSlava Pestov <slava@factorcode.org>
Mon, 10 Oct 2011 19:34:21 +0000 (12:34 -0700)
commit7bc38641f9bafb8b9ad4a7cea40a1ee9ea663689
tree1bfc37db1d4727de5f63d093c145715dabfd52f9
parentb5fc65707da5495b987f98fb89d65ef7f2045ba9
compiler.tree.identities: the identity on mod was useless too, because we already have a rewrite rule which handles this case in compiler.tree.propagation
basis/compiler/tree/identities/identities.factor
basis/compiler/tree/modular-arithmetic/modular-arithmetic-tests.factor