search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

state of ipython interface #64

Closed dimpase closed 8 years ago

dimpase commented 9 years ago

Could you say where you are on this? Thanks!

gheber commented 9 years ago

You have to install cl-jupyter (https://github.com/fredokun/cl-jupyter) It works fine with SBCL 1.2.15 and CCL 1.10. I've created a few examples:

https://github.com/gheber/kenzo/blob/master/examples/Overview.ipynb https://github.com/gheber/kenzo/blob/master/examples/Chapter1.ipynb https://github.com/gheber/kenzo/blob/master/examples/Chapter2.ipynb https://github.com/gheber/kenzo/blob/master/examples/Chapter3.ipynb

More to come. (Just got back from vacation...)