sci-mathematics@gentoo.org Gentoo Mathematics Project Enable the interface to TOPCOM https://github.com/Singular/Singular/issues Singular/Singular