So after a discussion on irc about how log2(8) should evaluate to 3 by default, I thought I'd start taking feature requests for the symbolics rewrite I'm currently working on. The current list is (with many of these already done) Symbolics must not rely on maxima for most operations. Symbolics must be fast. Symbolics must be easier to understand. Autosimplification of Constant==Constant to True or False Support for substitution of vectors/matrixes Support for variables and expressions in arbitrary parents (yes this means that you can have x \in Z/5 for example). Support for noncommutative multiplication (with simplification in some cases). Support for autodeduction of types (Ex: if x\in RR, and y \in CC, we know that im(x*y) might not be in RR, so don't simplify it, whereas if y \in RR, its safe to simplify im(x*y)->0) Im(x) simplifies to 0 IFF x is Real (and so on), unlike now when Im(x) -> 0 Better support for unevaluated functions and piecewise expressions Better assumption handeling Support more simplification options (such as in Mathematica's Full_Simplify command). Function(Constant) should auto-evaluate for integers if the result is exact. Support for calling functions as cpdef/cdef functions instead of using dictionary lookups. Better support for Multivariable calculus and differential geometry. Support for representing numbers such as 7^10^10^2 symbolically if they do not fit in memory. I'm sure I forgot a few things I'm working on, but I was interested in knowing if anyone had any annoyances about the current system that they'd liked fixed, especially as many of them will be easier to tackle now.
--~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
