Update from Arch
Merge branch 'master' of github.com:yihming/algebraic_geometry
Implement most part of genMCCGB_topdown procedure