通过libSINGULAR直接低级访问SINGULAR的Groebner基引擎