I am copying this to sage-support which seems the more appropriate mailing list.
In your first line you define a ring called F with several variables. In the second line you redefine F to be alist of elements of that ring. Did you intend that? John On 11 November 2014 10:09, Joe ouni <[email protected]> wrote: > Hello, > I was trying to run the flowing program > > from sage.sat.boolean_polynomials import learn as learn_sat > from polybori import * > from sage.sat.converters.polybori import CNFEncoder > from sage.sat.solvers.dimacs import DIMACS > > set_random_seed(2300) > > F.<x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15> = > BooleanPolynomialRing() > F=[ x1*x2 + x1*x4 + x1*x5 + x1*x6 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 > + x1*x13 + x1*x14 + x2*x3 + x2*x4 + x2*x5 + x2*x7 + x2*x8 + x2*x9 + x2*x10 + > x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x9 + > x3*x11 + x3*x12 + x4*x6 + x4*x8 + x4*x9 + x4*x11 + x4*x12 + x4*x13 + x4*x14 > + x4*x15 + x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x10 + x5*x11 + x5*x13 + x5*x14 > + x5*x15 + x6*x7 + x6*x8 + x6*x9 + x6*x10 + x6*x11 + x6*x12 + x6*x14 + > x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x12 + x7*x14 + x7*x15 + x8*x10 > + x8*x11 + x8*x12 + x8*x13 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + x9*x13 + > x9*x14 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x14 + x11*x15 + x12*x13 > + x12*x14 + x12*x15 + x13*x15 + x14*x15 + x2 + x3 + x4 + x5 + x6 + x7 + x9 + > x10 + x11 + x12 + x13 + x14 + x15,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + > x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + x1*x13 + x1*x14 + x2*x3 + > x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + > x2*x13 + x2*x14 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + > x3*x11 + x3*x12 + x3*x14 + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + > x4*x10 + x4*x12 + x4*x13 + x4*x14 + x4*x15 + x5*x7 + x5*x8 + x5*x9 + x5*x10 > + x5*x11 + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + > x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 > + x7*x11 + x7*x12 + x7*x13 + x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + > x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + x9*x13 + > x9*x14 + x9*x15 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 > + x11*x13 + x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + > x13*x15 + x14*x15 + x2 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x14 > + x15 + 1,x1*x2 + x1*x3 + x1*x5 + x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + > x1*x11 + x1*x12 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + > x2*x8 + x2*x9 + x2*x10 + x2*x12 + x2*x14 + x2*x15 + x3*x5 + x3*x6 + x3*x7 + > x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x15 + x4*x5 + x4*x6 + > x4*x7 + x4*x8 + x4*x9 + x4*x10 + x4*x11 + x4*x12 + x4*x13 + x4*x14 + x4*x15 > + x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x10 + x5*x12 + x5*x13 + x6*x7 + x6*x8 + > x6*x9 + x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 > + x7*x10 + x7*x11 + x7*x12 + x7*x13 + x7*x14 + x7*x15 + x8*x9 + x8*x11 + > x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + x9*x13 + > x9*x14 + x9*x15 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 > + x11*x13 + x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + > x13*x15 + x14*x15 + x1 + x2 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 > + x13 + x14 + 1,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x9 + > x1*x10 + x1*x11 + x1*x12 + x1*x13 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 > + x2*x6 + x2*x7 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + > x2*x15 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + x3*x11 + > x3*x12 + x3*x13 + x3*x14 + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + > x4*x10 + x4*x11 + x4*x12 + x4*x13 + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x8 > + x5*x11 + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + > x6*x10 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 > + x7*x13 + x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x13 + > x8*x14 + x8*x15 + x9*x10 + x9*x12 + x9*x13 + x9*x14 + x9*x15 + x10*x11 + > x10*x12 + x10*x14 + x10*x15 + x11*x13 + x11*x15 + x12*x13 + x12*x14 + > x12*x15 + x13*x14 + x13*x15 + x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + > x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15,x1*x2 + x1*x3 + x1*x4 + x1*x5 + > x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x13 + x1*x14 + x1*x15 + > x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + > x2*x13 + x2*x14 + x2*x15 + x3*x5 + x3*x6 + x3*x7 + x3*x9 + x3*x10 + x3*x11 + > x3*x12 + x3*x13 + x3*x14 + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + > x4*x10 + x4*x11 + x4*x13 + x4*x14 + x4*x15 + x5*x7 + x5*x8 + x5*x9 + x5*x11 > + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + x6*x10 + > x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 > + x7*x12 + x7*x13 + x7*x14 + x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x13 + > x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + x9*x13 + x9*x14 + x9*x15 + > x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 + x11*x13 + > x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + x14*x15 + x1 + > x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + > 1,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + > x1*x11 + x1*x12 + x1*x13 + x1*x14 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + > x2*x8 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x5 > + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x14 > + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + x4*x10 + x4*x11 + x4*x12 > + x4*x13 + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x10 + x5*x11 > + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x11 + x6*x12 + x6*x13 + x6*x15 + > x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x12 + x7*x14 + x7*x15 + x8*x9 + x8*x10 > + x8*x11 + x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + > x9*x14 + x9*x15 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 > + x11*x13 + x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x15 + x1 + > x3 + x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + > 1,x1*x2 + x1*x4 + x1*x5 + x1*x6 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + > x1*x13 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + > x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 + x3*x5 > + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x11 + x3*x12 + x3*x13 + x3*x14 + x3*x15 > + x4*x6 + x4*x8 + x4*x9 + x4*x10 + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x10 > + x5*x11 + x5*x13 + x5*x14 + x5*x15 + x6*x8 + x6*x9 + x6*x10 + x6*x11 + > x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x11 + x7*x12 + x7*x13 > + x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x13 + x8*x14 + > x9*x10 + x9*x11 + x9*x12 + x9*x13 + x9*x14 + x9*x15 + x10*x11 + x10*x12 + > x10*x14 + x10*x15 + x11*x12 + x11*x13 + x11*x14 + x11*x15 + x12*x13 + > x12*x14 + x12*x15 + x13*x14 + x13*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + > x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15,x1*x2 + x1*x3 + x1*x4 + x1*x5 + > x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + x1*x13 + x1*x14 + > x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + x2*x9 + x2*x10 + > x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x8 + > x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x14 + x3*x15 + x4*x6 + x4*x7 > + x4*x8 + x4*x9 + x4*x10 + x4*x11 + x4*x13 + x4*x14 + x4*x15 + x5*x6 + x5*x7 > + x5*x8 + x5*x9 + x5*x11 + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x8 + x6*x9 > + x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + > x7*x10 + x7*x11 + x7*x12 + x7*x13 + x7*x14 + x7*x15 + x8*x9 + x8*x10 + > x8*x11 + x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x12 + x9*x13 + x9*x14 + > x9*x15 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 + x11*x13 > + x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + x13*x15 + > x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x8 + x9 + x10 + x11 + x12 + x13 + > x14 + x15 + 1,x1*x2 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 > + x1*x11 + x1*x12 + x1*x13 + x1*x14 + x1*x15 + x2*x4 + x2*x5 + x2*x6 + x2*x7 > + x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 + > x3*x5 + x3*x6 + x3*x7 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x14 + > x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + x4*x10 + x4*x11 + x4*x12 + > x4*x13 + x4*x14 + x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x10 + x5*x11 + x5*x12 + > x5*x13 + x5*x14 + x5*x15 + x6*x7 + x6*x8 + x6*x10 + x6*x11 + x6*x12 + x6*x13 > + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x12 + x7*x13 + > x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + x8*x13 + x8*x14 + x8*x15 + > x9*x10 + x9*x11 + x9*x12 + x9*x14 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + > x10*x15 + x11*x12 + x11*x13 + x11*x14 + x11*x15 + x12*x13 + x12*x14 + > x12*x15 + x13*x14 + x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + > x11 + x12 + x13 + x14 + x15,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + > x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + x1*x13 + x1*x14 + x1*x15 + x2*x3 > + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + > x2*x13 + x2*x14 + x2*x15 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x9 + x3*x10 + > x3*x11 + x3*x12 + x3*x13 + x3*x14 + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + > x4*x9 + x4*x10 + x4*x11 + x4*x13 + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x8 + > x5*x9 + x5*x11 + x5*x12 + x5*x13 + x5*x14 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + > x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 > + x7*x11 + x7*x12 + x7*x13 + x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + > x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x14 + x9*x15 + x10*x11 + > x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 + x11*x13 + x11*x14 + > x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x15 + x14*x15 + x1 + x2 + x3 + > x4 + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15 + 1,x1*x2 + > x1*x3 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + > x1*x12 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + > x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x14 + x2*x15 + x3*x4 + x3*x6 + x3*x7 + > x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x14 + x3*x15 + x4*x6 > + x4*x7 + x4*x9 + x4*x10 + x4*x11 + x4*x12 + x4*x13 + x4*x14 + x4*x15 + > x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x11 + x5*x12 + x5*x13 + x5*x14 + x5*x15 + > x6*x7 + x6*x8 + x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + x6*x15 + x7*x8 > + x7*x10 + x7*x11 + x7*x12 + x7*x13 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + > x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + x9*x13 + x9*x14 + > x9*x15 + x10*x11 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 + x11*x13 > + x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + x14*x15 + x1 + > x2 + x3 + x4 + x5 + x6 + x8 + x9 + x10 + x11 + x12 + x13 + x14 + x15,x1*x2 + > x1*x3 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + > x1*x12 + x1*x13 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + > x2*x8 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 > + x3*x5 + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x14 > + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x10 + x4*x11 + x4*x12 + x4*x13 > + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x8 + x5*x9 + x5*x10 + x5*x11 + x5*x12 > + x5*x13 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + x6*x10 + x6*x11 + x6*x12 + > x6*x13 + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x12 + x7*x13 > + x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x14 + x8*x15 + > x9*x10 + x9*x11 + x9*x12 + x9*x14 + x9*x15 + x10*x11 + x10*x12 + x10*x13 + > x10*x14 + x11*x12 + x11*x13 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + > x13*x14 + x13*x15 + x1 + x2 + x3 + x5 + x6 + x7 + x8 + x9 + x12 + x13 + x14 > + x15,x1*x2 + x1*x4 + x1*x5 + x1*x6 + x1*x7 + x1*x9 + x1*x11 + x1*x12 + > x1*x13 + x1*x14 + x1*x15 + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + > x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + x2*x14 + x2*x15 + x3*x4 + x3*x5 > + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + x3*x13 + x3*x14 > + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + x4*x11 + x4*x12 + x4*x13 > + x4*x14 + x4*x15 + x5*x6 + x5*x7 + x5*x9 + x5*x10 + x5*x11 + x5*x12 + > x5*x13 + x5*x15 + x6*x7 + x6*x8 + x6*x9 + x6*x10 + x6*x11 + x6*x12 + x6*x13 > + x6*x14 + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x12 + x7*x13 + > x7*x14 + x7*x15 + x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x14 + x8*x15 + > x9*x10 + x9*x11 + x9*x12 + x9*x13 + x9*x14 + x9*x15 + x10*x11 + x10*x12 + > x10*x13 + x10*x14 + x10*x15 + x11*x14 + x11*x15 + x12*x13 + x12*x14 + > x12*x15 + x13*x14 + x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + > x10 + x11 + x12 + x13 + x14 + x15,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + > x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + x1*x13 + x1*x14 + x1*x15 > + x2*x3 + x2*x4 + x2*x5 + x2*x6 + x2*x7 + x2*x8 + x2*x10 + x2*x12 + x2*x13 + > x2*x15 + x3*x5 + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + x3*x11 + x3*x12 + > x3*x13 + x3*x15 + x4*x5 + x4*x6 + x4*x7 + x4*x10 + x4*x11 + x4*x12 + x4*x13 > + x4*x14 + x4*x15 + x5*x6 + x5*x8 + x5*x9 + x5*x10 + x5*x11 + x5*x12 + > x5*x13 + x6*x7 + x6*x8 + x6*x9 + x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 > + x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x13 + x7*x14 + x7*x15 + > x8*x9 + x8*x10 + x8*x11 + x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x10 + > x9*x11 + x9*x12 + x9*x13 + x9*x14 + x9*x15 + x10*x11 + x10*x12 + x10*x13 + > x10*x14 + x10*x15 + x11*x12 + x11*x13 + x11*x14 + x11*x15 + x12*x13 + > x12*x14 + x12*x15 + x13*x14 + x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + > x8 + x9 + x11 + x12 + x13 + x14 + 1,x1*x2 + x1*x3 + x1*x4 + x1*x5 + x1*x6 + > x1*x7 + x1*x8 + x1*x9 + x1*x10 + x1*x11 + x1*x12 + x1*x15 + x2*x3 + x2*x4 + > x2*x5 + x2*x6 + x2*x7 + x2*x8 + x2*x9 + x2*x10 + x2*x11 + x2*x12 + x2*x13 + > x2*x14 + x2*x15 + x3*x4 + x3*x5 + x3*x6 + x3*x7 + x3*x8 + x3*x9 + x3*x10 + > x3*x11 + x3*x12 + x3*x13 + x3*x14 + x4*x5 + x4*x6 + x4*x7 + x4*x8 + x4*x9 + > x4*x10 + x4*x12 + x4*x13 + x4*x14 + x5*x6 + x5*x9 + x5*x10 + x5*x12 + x5*x14 > + x5*x15 + x6*x7 + x6*x9 + x6*x10 + x6*x11 + x6*x12 + x6*x13 + x6*x14 + > x6*x15 + x7*x8 + x7*x9 + x7*x10 + x7*x11 + x7*x13 + x7*x14 + x8*x9 + x8*x10 > + x8*x11 + x8*x12 + x8*x13 + x8*x14 + x8*x15 + x9*x10 + x9*x11 + x9*x12 + > x9*x13 + x9*x14 + x9*x15 + x10*x12 + x10*x13 + x10*x14 + x10*x15 + x11*x12 + > x11*x14 + x11*x15 + x12*x13 + x12*x14 + x12*x15 + x13*x14 + x13*x15 + > x14*x15 + x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8 + x9 + x11 + x12 + x13 + x14 > + x15] > > H = learn_sat(F, s_maxrestarts=2, interreduction=True) > > But, it failed and I got the flowing > Traceback (most recent call last): > File "doGrobner.py", line 19, in <module> > H = learn_sat(F, s_maxrestarts=restarts, interreduction=True) > File > "/opt/sage-6.0-x86_64-Linux/local/lib/python2.7/site-packages/sage/sat/boolean_polynomials.py", > line 335, in learn > learnt = learnt.ideal().interreduced_basis() > File > "/opt/sage-6.0-x86_64-Linux/local/lib/python2.7/site-packages/sage/structure/sequence.py", > line 944, in __getattr__ > raise AttributeError("'Sequence_generic' object has no attribute > '%s'"%name) > AttributeError: 'Sequence_generic' object has no attribute 'ideal' > > Could you please help me? > Thanks a lot > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
