summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Johannes Middeke [Tue, 10 May 2016 19:43:34 +0000 (21:43 +0200)]
Corrections to factor experiment.
Johannes Middeke [Tue, 10 May 2016 18:02:29 +0000 (14:02 -0400)]
Forgot to add script.
Johannes Middeke [Tue, 10 May 2016 18:02:13 +0000 (14:02 -0400)]
Fixed factor script and added new HTML generation script.
Johannes Middeke [Tue, 10 May 2016 17:57:22 +0000 (13:57 -0400)]
Added script to run the factor experiments.
Johannes Middeke [Tue, 10 May 2016 15:24:03 +0000 (11:24 -0400)]
Changed the usage message.
Johannes Middeke [Fri, 6 May 2016 18:40:13 +0000 (14:40 -0400)]
Documentation for polynomials now mentions Zarith; added LaTeX and ASCII printer for polynomials.
Johannes Middeke [Fri, 6 May 2016 16:57:44 +0000 (12:57 -0400)]
Added some documentation.
Johannes Middeke [Thu, 5 May 2016 16:55:05 +0000 (12:55 -0400)]
Added a file to render the result of the probability experiment.
Johannes Middeke [Thu, 5 May 2016 02:33:30 +0000 (22:33 -0400)]
Fixed the labels on the graphs.
Johannes Middeke [Wed, 4 May 2016 22:58:32 +0000 (18:58 -0400)]
Added code to compute the probability of non-trivial predictions; I also fixed the generation of random polynomial such that now higher degrees are possible (up to 62).
Johannes Middeke [Wed, 4 May 2016 20:59:04 +0000 (22:59 +0200)]
Fixed a problem in the degree script.
Johannes Middeke [Wed, 4 May 2016 20:21:07 +0000 (22:21 +0200)]
Cleaned up HTML/SVG generation, included a new script for running the degree experiments.
Johannes Middeke [Wed, 4 May 2016 19:20:14 +0000 (21:20 +0200)]
Accidentally added the files which are generated by oasis.
Johannes Middeke [Wed, 4 May 2016 19:19:20 +0000 (21:19 +0200)]
Rewrote test.ml to use command line arguments; rewrote HTML/SVG generation.
Johannes Middeke [Wed, 4 May 2016 03:59:35 +0000 (05:59 +0200)]
Initial commit.
The current state of the program computes the number of common factors.