Port to python
For MathHub/localmh#113, please port this to python. I heard someone had already ported some of it, I can take over whatever remains.
For MathHub/localmh#113, please port this to python. I heard someone had already ported some of it, I can take over whatever remains.