[sage-devel] Please review: new ANF2CNF converter (#13558)

2012-10-04 Thread Philipp Jovanovic
rac/ticket/13558 Thanks and all the best, Philipp Jovanovic -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to

[sage-devel] Please review: new ANF2CNF converter (#13558)

2012-10-02 Thread Philipp Jovanovic
cket/13558 Thanks and all the best, Philipp Jovanovic -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@goo

Re: [sage-devel] libm4rie in sage 5.3 on ARM

2012-09-14 Thread Philipp Jovanovic
On Sep 14, 2012, at 6:33 PM, Jeroen Demeyer wrote: > On 2012-09-14 18:30, Julien Puydt wrote: >> Le 14/09/2012 18:21, Martin Albrecht a écrit : >>> conversion.c also takes a long time to compile on my machine, I am >>> considering >>> splitting it up into smaller units. It's a bunch of bitflippi