Doug Coleman
|
56a0af9628
|
initial math cleanup
|
2008-10-03 02:19:03 -05:00 |
|
Doug Coleman
|
d33b57506a
|
find-relative-prime didn't handle numbers <= 1 correctly
|
2008-05-10 13:18:13 -05:00 |
|
Doug Coleman
|
9da8bed8f9
|
refactor miller-rabin a bit
still uses too many locals, but at least they're not symbols
|
2008-05-10 13:06:40 -05:00 |
|
Doug Coleman
|
44e48c72a8
|
fix typo
|
2008-04-25 15:56:15 -05:00 |
|
Doug Coleman
|
b440bda681
|
error message
|
2008-04-25 00:25:37 -05:00 |
|
Doug Coleman
|
f64d511ca6
|
add usings
|
2008-04-14 02:40:32 -05:00 |
|
Doug Coleman
|
acf6132389
|
update cond/case
|
2008-04-11 12:56:48 -05:00 |
|
Doug Coleman
|
5296c907d9
|
remove random-bits
|
2008-03-19 16:19:00 -05:00 |
Slava Pestov
|
e98cd1fd59
|
New convention for unit tests
|
2008-03-01 17:00:45 -05:00 |
Slava Pestov
|
64469916a9
|
New locals syntax; added M::
|
2008-02-26 18:40:32 -06:00 |
|
Slava Pestov
|
1c91a286e5
|
Updating summary and authors
|
2008-01-27 01:02:31 -04:00 |
|
Slava Pestov
|
27701acaaf
|
Fix using
|
2008-01-26 23:44:00 -04:00 |
Aaron Schaefer
|
817dfbfbbe
|
Add summary for Miller-Rabin vocab, and cleanup tests
|
2008-01-22 17:17:04 -05:00 |
|
Aaron Schaefer
|
76558babf4
|
Generalize factor-2s to eliminate special case exception
|
2008-01-14 15:04:21 -05:00 |
Doug Coleman
|
a6d0c33a94
|
fix word name
|
2008-01-13 10:09:59 -10:00 |
|
Doug Coleman
|
376644794c
|
more lint cleanups
|
2008-01-13 08:29:04 -10:00 |
|
Doug Coleman
|
0613d01fcc
|
other algorithms use factor-2s, put it back to normal
|
2008-01-13 07:51:46 -10:00 |
|
Doug Coleman
|
b14a0e54e4
|
fix typo
|
2008-01-12 21:49:47 -10:00 |
|
Doug Coleman
|
f8a0d7403d
|
small cleanup in miller-rabin
|
2008-01-12 21:46:53 -10:00 |
|
Doug Coleman
|
37544fe24e
|
remove blank line
|
2008-01-12 20:43:58 -10:00 |
|
Doug Coleman
|
304aa98fe7
|
start cleanup of miller-rabin
|
2008-01-12 20:07:49 -10:00 |
|
Slava Pestov
|
c8360f5ae5
|
Rename curry* to with
|
2008-01-09 17:36:30 -05:00 |
|
Slava Pestov
|
a96457cecc
|
Initial import
|
2007-09-20 18:09:08 -04:00 |