#17351: Sage Learn_sat AttributeError
---------------------------------+------------------------
Reporter: ounidjoo | Owner:
Type: PLEASE CHANGE | Status: new
Priority: major | Milestone: sage-6.5
Component: PLEASE CHANGE | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------------+------------------------
Changes (by aapitzsch):
* cc: Martin, Albrecht (removed)
* cc: malb (added)
Old description:
> 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
New description:
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
--
Comment:
It might be related to the failing optional cryptominisat doc-tests.
--
Ticket URL: <http://trac.sagemath.org/ticket/17351#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/d/optout.
