[sage-support] Question about solve_sat

2014-08-27 Thread Juan Grados
Dear members, I'm trying to solve the attach formulas but I get FALSE, anyone know what means that, or Why I get FALSE? sage: solve_sat(PolynomialSequence(F,RR),n=infinity) False thanks -- - MSc. Juan del Carmen Grados Vásquez

Re: [sage-support] Question about solve_sat

2014-08-27 Thread Martin Albrecht
It means that the system is believed to be unsolvable. On Wednesday 27 Aug 2014 13:54:47 Juan Grados wrote: Dear members, I'm trying to solve the attach formulas but I get FALSE, anyone know what means that, or Why I get FALSE? sage: solve_sat(PolynomialSequence(F,RR),n=infinity) False