[sage-devel] Re: Interfacing Kenzo with Sage? (yes, Lisp)

2016-08-03 Thread Dima Pasechnik
Just to point out the amazing progress made by Gerd Heber on Kenzo infrastruture, docs, tests, etc; e.g. you can get a docker container to run Kenzo, or you can have it running online in jupyter notebook (yes, Common Lisp can run in jupyther). PS. RJF is most welcome to comment :-) On

[sage-devel] Re: Interfacing Kenzo with Sage?

2015-06-13 Thread Travis Scrimshaw
+1 to including it as an optional spkg, especially since it seems is easy to integrate. Best, Travis On Saturday, June 13, 2015 at 12:34:33 PM UTC-7, Dima Pasechnik wrote: Is there interest in providing algorithms available in Kenzo ( https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/

[sage-devel] Re: Interfacing Kenzo with Sage?

2015-06-13 Thread John H Palmieri
On Saturday, June 13, 2015 at 12:34:33 PM UTC-7, Dima Pasechnik wrote: Is there interest in providing algorithms available in Kenzo ( https://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/) in Sage? Absolutely! John -- You received this message because you are subscribed to the Google