- Jan 31, 2016
-
-
Nicolas Léveillé authored
This is proof that Hammer can be linked and used in a windows program!
-
- Dec 04, 2015
-
-
Alex Willmer authored
These are transliterations of the existing C files. They're not particularly Pythonic or performant, but they're a start. Example of usage ``` $ echo ' YW55IGNhcm5hbCBwbGVhcw==' | PYTHONPATH=../build/opt/src/bindings/python/ python base64.py inputsize=27 input= YW55IGNhcm5hbCBwbGVhcw== ((((89L, 87L, 53L, 53L), (73L, 71L, 78L, 104L), (99L, 109L, 53L, 104L), (98L, 67L, 66L, 119L), (98L, 71L, 86L, 104L)), (99L, 'w', '=', '=')),) $ echo ' YW55IGNhcm5hbCBwbGVhcw==' | PYTHONPATH=../build/opt/src/bindings/python/ python base64_sem1.py inputsize=27 input= YW55IGNhcm5hbCBwbGVhcw== (97L, 110L, 121L, 32L, 99L, 97L, 114L, 110L, 97L, 108L, 32L, 112L, 108L, 101L, 97L, 115L) $ echo ' YW55IGNhcm5hbCBwbGVhcw==' | PYTHONPATH=../build/opt/src/bindings/python/ python base64_sem2.py inputsize=27 input= YW55IGNhcm5hbCBwbGVhcw== (97L, 110L, 121L, 32L, 99L, 97L, 114L, 110L, 97L, 108L, 32L, 112L, 108L, 101L, 97L, 115L) ```
-
- Apr 10, 2015
-
-
Mikael Vejdemo-Johansson authored
Now we can do things like: # copy-paste from output ring.<t,L,tie,Cn,M,Ln,I,D,J,Rn,A,K,F,G> = QQ[] ID = ring.ideal(L - (1*Cn*t),tie - (1*Ln*t),Cn - (1*I + 1*J),M - (1*t^2),Ln - (1*D + 1*L + 1*M),I - (1*Rn*t),D - (1*Rn*t),J - (1*Ln*t),Rn - (1*F + 1*G + 1*K),A - (1*tie),K - (1*t^2),F - (1*Ln*t),G - (1*Cn*t)) # we are interested in tie in terms of t; so we want to remove anything not these two: ID.elimination_ideal([L,Cn,M,Ln,I,D,J,Rn,A,K,F,G]) # output from this SageMath command is # Ideal (t^3 + 2*t^2*tie + t*tie - tie) of Multivariate Polynomial Ring in t, L, tie, Cn, M, Ln, I, D, J, Rn, A, K, F, G over Rational Field # which we can solve for tie to get tie = t^3/(1-t-2*t^2) just as expected
-
- Apr 08, 2015
-
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
- Apr 07, 2015
-
-
Mikael Vejdemo-Johansson authored
-
Mikael Vejdemo-Johansson authored
-
- Dec 07, 2014
-
-
Steven Dee authored
I don't think these actually affect correctness since there's no way for 0x40 or 0x60 to show up in a parse tree anyway, but they're confusing.
-
- Dec 22, 2013
-
-
Meredith L. Patterson authored
-
- Nov 23, 2013
-
-
Dan Hirsch authored
-
Dan Hirsch authored
-
- Nov 15, 2013
-
-
Peter Johnson authored
effects throughout, including use of inttypes.h/PRI[ud]64 because printf() is still stuck in a long world, conversion of %lu to %zu for printing values of type size_t, and changing/renaming the g_check_cmp* family of functions.
-
- Jun 24, 2013
-
-
Dan Hirsch authored
-
- May 24, 2013
-
-
Dan Hirsch authored
-
- Apr 13, 2013
-
-
Sven M. Hallberg authored
-
- Feb 17, 2013
-
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
- Feb 01, 2013
-
-
Sven M. Hallberg authored
-
- Jan 25, 2013
-
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
supporting varargs
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-
Sven M. Hallberg authored
-