Works for me:

sage: sr = mq.SR(1,1,1,4, gf2=True, polybori=True)
sage: K = sr.base_ring()
sage: a = K.gen()
sage: K = [a]
sage: P = [1]
sage: F,s = sr.polynomial_system(P=P, K=K)
sage: F.groebner_basis()
[k100, k101 + 1, k102, k103 + k003, x100 + 1, x101 + k003 + 1, x102 + k003 + 
1, x103 + k003, w100, w101, w102 + 1, w103 + k003 + 1, s000 + 1, s001 + k003, 
s002 + k003, s003 + k003 + 1, k000, k001, k002 + 1]

On Friday 14 Nov 2014 06:54:55 myshell.dub...@gmail.com wrote:
> Hi,
> 
> I'm working with Sage 6.3 on a macbook pro with OSX10.8.5.
> 
> When I use some function of the module sr.mq
> (http://www.sagemath.org/doc/reference/cryptography/sage/crypto/mq/sr.html),
> I have a bug:
> 
> sage: sr = mq.SR(1,1,1,4, gf2=True, polybori=True)
> sage: K = sr.base_ring()
> sage: K
> Finite Field in a of size 2^4
> sage: a = K.gen()
> sage: K = [a]
> sage: P = [1]
> sage: F,s = sr.polynomial_system(P=P, K=K)
> sage: F.groebner_basis()
> ---------------------------------------------------------------------------
> RuntimeError                              Traceback (most recent call last)
> <ipython-input-13-a4b0c7ba0889> in <module>()
> ----> 1 F.groebner_basis()
> 
> /usr/local/sage/local/lib/python2.7/site-packages/sage/rings/polynomial/mult
> i_polynomial_sequence.pyc in groebner_basis(self, *args, **kwargs)
>     482             True
>     483         """
> --> 484         return self.ideal().groebner_basis(*args, **kwargs)
>     485
>     486     def monomials(self):
> 
> /usr/local/sage/local/lib/python2.7/site-packages/sage/rings/polynomial/pbor
> i.so in sage.rings.polynomial.pbori.BooleanPolynomialIdeal.groebner_basis
> (build/cythonized/sage/rings/polynomial/pbori.cpp:33799)()
> 
> /usr/local/sage/local/lib/python2.7/site-packages/sage/ext/c_lib.so in
> sage.ext.c_lib.sig_raise_exception
> (build/cythonized/sage/ext/c_lib.c:1040)()
> 
> RuntimeError: Aborted
> 
> What the matter with this?
> 
> Thank you for your help

Attachment: signature.asc
Description: This is a digitally signed message part.

Reply via email to