├── .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 ├── amicable.sage ├── animation-p.webm ├── animation-q.webm ├── animation.sh ├── checksumsets.py ├── clean.sh ├── injectivitylemma.py ├── run.sh └── verify.sage /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/.gitignore -------------------------------------------------------------------------------- /Ep/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Ep/b: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /Ep/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/Ep/l -------------------------------------------------------------------------------- /Ep/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/Ep/p -------------------------------------------------------------------------------- /Ep/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Ep/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Ep/x0: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Ep/x1: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Ep/y0: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Ep/y1: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Eq/a: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /Eq/b: -------------------------------------------------------------------------------- 1 | 5 2 | -------------------------------------------------------------------------------- /Eq/l: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/Eq/l -------------------------------------------------------------------------------- /Eq/p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/Eq/p -------------------------------------------------------------------------------- /Eq/rigid: -------------------------------------------------------------------------------- 1 | fully rigid 2 | -------------------------------------------------------------------------------- /Eq/shape: -------------------------------------------------------------------------------- 1 | shortw 2 | -------------------------------------------------------------------------------- /Eq/x0: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Eq/x1: -------------------------------------------------------------------------------- 1 | -1 2 | -------------------------------------------------------------------------------- /Eq/y0: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /Eq/y1: -------------------------------------------------------------------------------- 1 | 2 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/README.md -------------------------------------------------------------------------------- /amicable.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/amicable.sage -------------------------------------------------------------------------------- /animation-p.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/animation-p.webm -------------------------------------------------------------------------------- /animation-q.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/animation-q.webm -------------------------------------------------------------------------------- /animation.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/animation.sh -------------------------------------------------------------------------------- /checksumsets.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/checksumsets.py -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/clean.sh -------------------------------------------------------------------------------- /injectivitylemma.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/injectivitylemma.py -------------------------------------------------------------------------------- /run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/run.sh -------------------------------------------------------------------------------- /verify.sage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/daira/tweedle/HEAD/verify.sage --------------------------------------------------------------------------------