Hello I am trying to get different random solution for every loop in my code sage
from sage.sat.boolean_polynomials import solve as solve_sat # optional - cryptominisat sr = mq.SR(1,1,1,4,gf2=True,polybori=True) F,s = sr.polynomial_system() iter = 0 while(iter < 5): s = solve_sat(F) # optional - cryptominisat F.subs(s[0]) # optional - cryptominisat s = solve_sat(F, n=1, s_verbosity=1, c_max_vars_sparse=4, c_cutting_number=8) # optional - cryptominisat print s[0] print ' ' iter = iter + 1 but I get always the same solution. I try to use c_randomize=seed or set_random_seed(n), but I do not get different "random" solutions. Could you help me please? -- --------------------------------------------------------------------- MSc. Juan del Carmen Grados Vásquez Laboratório Nacional de Computação Científica Tel: +55 21 97633 3228 (http://www.lncc.br/) http://juaninf.blogspot.com --------------------------------------------------------------------- -- 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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.