Ask Your Question


asked 2014-10-08 09:14:42 +0100

theofanuela gravatar image

updated 2014-10-09 02:44:49 +0100

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/class PBGBStrategy() is only declared. Does anyone know where can I see the detail (implementation) of the function/class PBGBStrategy()?

Thank you.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2014-10-09 08:49:07 +0100

nbruin gravatar image

Polybori is a library, so in the sage source you only have the declaration stub that allows cython to create code that can link to the library. To see the source of the library look in <sage-dir>/upstream/polybori-0.8.3.tar.bz2

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2014-10-08 09:14:42 +0100

Seen: 153 times

Last updated: Oct 09 '14