thanks
2014-08-27 14:05 GMT-03:00 Martin Albrecht <martinralbre...@googlemail.com>: > 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 > > > > thanks > > -- > 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 http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/d/optout. > -- --------------------------------------------------------------------- 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 http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
