Hello, I try to execute one of the examples for computing the variety of a system of Boolean polynomials from the Sage reference manual:
http://www.sagemath.org/doc/reference/sage/rings/polynomial/pbori.html and I get the error: AttributeError: 'sage.rings.polynomial.pbori.BooleanPolynomial' object has no attribute 'lc' The exact code that I execute is: R = BooleanPolynomialRing(6, ['x%d'%(i+1) for i in range(6)], order='lex') R.inject_variables() polys = [x1*x2 + x1*x4 + x1*x5 + x1*x6 + x1 + x2 + x3*x4 + x3*x5 + x3 + x4*x5 + x4*x6 + x4 + x5 + x6, x1*x2 + x1*x3 + x1*x4 + x1*x6 + x2*x3 + x2*x6 + x2 + x3*x4 + x5*x6, x1*x3 + x1*x4 + x1*x6 + x1 + x2*x5 + x2*x6 + x3*x4 + x3 + x4*x6 + x4 + x5*x6 + x5 + x6, x1*x2 + x1*x3 + x1*x4 + x1*x5 + x2 + x3*x5 + x3*x6 + x3 + x5 + x6, x1*x2 + x1*x4 + x1*x5 + x1*x6 + x2*x3 + x2*x4 + x2*x5 + x3*x5 + x5*x6 + x5 + x6, x1*x2 + x1*x6 + x2*x4 + x2*x5 + x2*x6 + x3*x6 + x4*x6 + x5*x6 + x5] I = R.ideal(polys) V1 = I.variety() When I run the above I get: sage: load poly.sage Defining x1, x2, x3, x4, x5, x6 verbose 0 (2854: multi_polynomial_ideal.py, groebner_basis) Warning: falling back to very slow toy implementation. ERROR: An unexpected error occurred while tokenizing input The following traceback may be corrupted or invalid The error message is: ('EOF in multi-line statement', (398, 0)) --------------------------------------------------------------------------- AttributeError Traceback (most recent call last) /home/foo/<ipython console> in <module>() /sage-4.8/sage-4.8-linux-32bit-ubuntu_10.04_lts-i686-Linux/local/lib/python2.6/site-packages/sage/misc/preparser.pyc in load(filename, globals, attach) 1645 else: 1646 # Preparse in memory only for speed. -> 1647 exec(preparse_file(open(fpath).read()) + "\n", globals) 1648 elif fpath.endswith('.spyx') or fpath.endswith('.pyx'): 1649 import interpreter ... The last lines of the error log are: sage-4.8/sage-4.8-linux-32bit-ubuntu_10.04_lts-i686-Linux/local/lib/python2.6/site-packages/sage/rings/polynomial/toy_buchberger.pyc in inter_reduction(Q) 433 Q.add(h) 434 if Qbar == Q: 435 if base_ring.is_field(): --> 436 return set([f.lc()**(-1) * f for f in Qbar]) 437 else: return Qbar /home/foo/sage-4.8/sage-4.8-linux-32bit-ubuntu_10.04_lts-i686-Linux/local/lib/python2.6/site-packages/sage/structure/element.so in sage.structure.element.Element.__getattr__ (sage/structure/element.c:2856)() AttributeError: 'sage.rings.polynomial.pbori.BooleanPolynomial' object has no attribute 'lc' I am using Sage version: 'Sage Version 4.8, Release Date: 2012-01-20' on a 64-bit machine running Debian GNU/Linux. Thanks for your help! Regards, V. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
