kcrisman: > It is similar to how our Booleans on expression comparisons return False > if we can't prove True >
Could the usage of a sort of Tristate/multistate implementation kill that universe of worms? (With the following design: Tristate only comparable to Tristate objects) Jakob Am Mittwoch, 19. November 2014 16:16:44 UTC+1 schrieb kcrisman: > > So you can assume that an empty list means only that sage's algorithms >>> find no solution. >>> >> >> I just looked at the documentation of solve and could not find an >> explicit statement about missed solutions. >> >> Even if it is expectable that in some cases (which?) solve may not return >> all solutions, it should be explicitly pointed out; >> Especially it should be stated that an empty list does not necessarily >> imply there are no solutions. >> >> Other opinions? If everybody agrees, I will open a ticket. >> > > Updating the documentation of both solve? and x.solve? to make it clear > that this is the case would be very helpful. It is similar to how our > Booleans on expression comparisons return False if we can't prove True. > -- 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.