On 08/30/2015 09:19 AM, Jeremy Martin wrote: > It would be helpful if the components of a vector could be expanded and > simplified. Right now this happens: >
Your best bet is to use simplify_full() instead of simplify: sage: (v-w).simplify_full().is_zero() True That's not guaranteed to work either though. Symbolic equality may not be decidable. When you ask for e.g. `bool(x == y)`, there are three possibilities: * Sage can show that `x` is equal to `y`. It returns True. * Sage can prove that `x` is not equal to `y`. It returns False. * Sage can't tell either way. It returns False. You don't have a good way to distinguish between the last two cases, and the same thing happens with `(v-w).is_zero()`. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.