]> gitweb.michael.orlitzky.com - sage.d.git/tree
cone/faces.py: add test for Proposition 3.1 and Corollary 3.9 in Tam.
-rw-r--r-- 502 README
-rw-r--r-- 167 init.sage
-rw-r--r-- 113 makefile
drwxr-xr-x - mjo