Well, that particular example falls out of the scope of the assumption system (it happens directly in the core).
I was looking for something more like sin(non-zero rational) == irrational, but sin(float) evaluates to float. Aaron Meurer On Thu, Mar 20, 2014 at 4:57 PM, Sergey B Kirpichev <[email protected]> wrote: > On Thu, Mar 20, 2014 at 04:35:43PM -0500, Aaron Meurer wrote: >> Can you think of a fact in the assumptions system (implemented or not) >> that would break if floats are rational? > > Any, that uses algebraic properties of the rational numbers field. > > An example, associativity: > "((x + y) + z) - (x + (y + z)) is zero" > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/20140320215724.GA7879%40darkstar.order.hcn-strela.ru. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6L2i9WH1Z%2B%2Bp5U8hP0uuad2w14MmNQ%3Dc%3D0CSywisSyk%2BA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
