> > 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.
