├── .gitignore ├── Ep ├── a ├── b ├── l ├── p ├── rigid ├── shape ├── x0 ├── x1 ├── y0 └── y1 ├── Eq ├── a ├── b ├── l ├── p ├── rigid ├── shape ├── x0 ├── x1 ├── y0 └── y1 ├── LICENSE ├── README.md ├── check_stnfs.sh ├── clean.sh ├── halfpairing.sage ├── injectivitylemma.py ├── pluto_stnfs.py ├── run.sh ├── triton.sage └── verify.sage /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/.gitignore -------------------------------------------------------------------------------- /Ep/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Ep/b: -------------------------------------------------------------------------------- 1 | 57 2 | -------------------------------------------------------------------------------- /Ep/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/Ep/l -------------------------------------------------------------------------------- /Ep/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/Ep/p -------------------------------------------------------------------------------- /Ep/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Ep/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Ep/x0: -------------------------------------------------------------------------------- 1 | -2 2 | -------------------------------------------------------------------------------- /Ep/x1: -------------------------------------------------------------------------------- 1 | -2 2 | -------------------------------------------------------------------------------- /Ep/y0: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /Ep/y1: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /Eq/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Eq/b: -------------------------------------------------------------------------------- 1 | 57 2 | -------------------------------------------------------------------------------- /Eq/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/Eq/l -------------------------------------------------------------------------------- /Eq/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/Eq/p -------------------------------------------------------------------------------- /Eq/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Eq/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Eq/x0: -------------------------------------------------------------------------------- 1 | -2 2 | -------------------------------------------------------------------------------- /Eq/x1: -------------------------------------------------------------------------------- 1 | -2 2 | -------------------------------------------------------------------------------- /Eq/y0: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /Eq/y1: -------------------------------------------------------------------------------- 1 | 7 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/README.md -------------------------------------------------------------------------------- /check_stnfs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/check_stnfs.sh -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/clean.sh -------------------------------------------------------------------------------- /halfpairing.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/halfpairing.sage -------------------------------------------------------------------------------- /injectivitylemma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/injectivitylemma.py -------------------------------------------------------------------------------- /pluto_stnfs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/pluto_stnfs.py -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/run.sh -------------------------------------------------------------------------------- /triton.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/triton.sage -------------------------------------------------------------------------------- /verify.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/pluto-eris/HEAD/verify.sage --------------------------------------------------------------------------------