Ask Your Question
0

PBGBStrategy

asked 2014-10-08 02:14:42 -0500

theofanuela gravatar image

updated 2014-10-08 19:44:49 -0500

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
0

answered 2014-10-09 01:49:07 -0500

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

Stats

Asked: 2014-10-08 02:14:42 -0500

Seen: 41 times

Last updated: Oct 09 '14