Presently, because forall and exists return tuples rather than booleans, their return value is always True, so they cannot be used as a predicate, which is very unintuitive given their names. Proposed solution: optional parameter witness (default: False) that determines return value type.
Ticket (has patch) http://trac.sagemath.org/sage_trac/attachment/ticket/1987 --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
