I understand now (and agree on) the design: sqrt(2) is symbolic and any sage expression containing a symbolic expression is also symbolic. But, considering the non comparison, it seems to give a set theoritic contradiction:
sage: sqrt(2) in RR True And RR is an ordered field. I think it goes in the same direction as the question asked by Gonzalo on SR(1) + SR(2). --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
