Vincent Delecroix wrote: > Though these are specifications for SR and does > not apply to the entire library. It is not clear to me what global > specification we could have for bool(algebraic expression).
Something like "bool(x) iff x is not trivially zero" would make sense to me, where "not trivially zero" means "not exactly identical to the most simple representation of zero of the given type". Something that can be used to decide whether a coefficient of a polynomial should be displayed, for instance. (And that is cheap to test.) -- Marc -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/tgunmp%2415pl%241%40ciao.gmane.io.
