ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 08 Oct 2014 02:14:42 -0500PBGBStrategyhttps://ask.sagemath.org/question/24429/pbgbstrategy/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.theofanuelaWed, 08 Oct 2014 02:14:42 -0500https://ask.sagemath.org/question/24429/Truth value of an expression (Boolean Polynomials)https://ask.sagemath.org/question/10775/truth-value-of-an-expression-boolean-polynomials/I need to find the truth value of an expression. Consider this:
sage: R = BooleanPolynomialRing( 2, \
['s%d'%(i) for i in range (2)])
sage: expr = R('s0') + R('s0')*R('s1')
Now I need `expr` is to be evaluated; given, say, both `s0` and `s1` are `True`. How can we do that?
ppMon, 25 Nov 2013 20:20:18 -0600https://ask.sagemath.org/question/10775/PolyBoRi Version in Sage 5.9https://ask.sagemath.org/question/7905/polybori-version-in-sage-59/Hi All,
Wondering if anybody can help me to identify which PolyBoRi version that is installed in Sage 5.9?
Thank you in advance :)YudisThu, 11 Jul 2013 23:06:20 -0500https://ask.sagemath.org/question/7905/