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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
