Hi, I am trying to understand how the groebner_basis() works in PolyBoRi. So I tried to understand the code pbori.pyx. I got stuck at this line:
self._strat = new PBGBStrategy((<booleanpolynomialring>param)._pbring)
since I cannot find the detail of PBGBStrategy() (and PBRing_Constructor() as well).
The only place I can find the word "PBGBStrategy" is in decl.pxd. But I think in decl.pxd, the function PBGBStrategy() is only declared. Does anyone know where can I see the detail (implementation) of the function PBGBStrategy()?
Thank you.