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 Saturday, June 13, 2015 at 10:23:41 PM UTC+1, John H Palmieri wrote: > > > > 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 Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
