projects / jmiddeke / LU.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be87d01) | patch
Documentation for polynomials now mentions Zarith; added LaTeX and ASCII printer...
authorJohannes Middeke <j-middeke@t-online.de>
Fri, 6 May 2016 18:40:13 +0000 (14:40 -0400)
committerJohannes Middeke <j-middeke@t-online.de>
Fri, 6 May 2016 18:40:13 +0000 (14:40 -0400)
commitef59eee1385855715907ff77c96b50ed1d5fc61c
tree85b78d2d2022c2467980f02c1776c4c91c90c5f0tree | snapshot
parentbe87d016eb3e25ca132337b766589d772fa4d290commit | diff
Documentation for polynomials now mentions Zarith; added LaTeX and ASCII printer for polynomials.
polys_over_GF2.ml diff | blob | history
test.ml diff | blob | history