[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Tim Lahey
On Thu, May 22, 2008 at 2:33 PM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > Support for substitution of vectors/matrixes > Support for noncommutative multiplication (with simplification in some > cases). I'm excited about the possibility of these two. One of the things I need to do for finite el

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Drew Whitehouse
Hi Gary, On Fri, May 23, 2008 at 4:33 AM, Gary Furnish <[EMAIL PROTECTED]> wrote: > > Better support for Multivariable calculus and differential geometry. Not sure what's been done for these two but I thought I would point you at this material, it would be great if one could build a similar (th

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Nick Alexander
On 22-May-08, at 11:33 AM, Gary Furnish wrote: > > 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. I would like to be able to set how some things print a little e

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Robert Bradshaw
It is possible to create a polynomial over the symbolic ring, i.e. SR ['x,y']. I don't know if this'd be faster though. On May 22, 2008, at 1:08 PM, Andrey Novoseltsev wrote: > > Maybe, but the coefficients are symbolic non-polynomial (and non- > rational) expressions. Can it be done anyway? I

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Andrey Novoseltsev
Maybe, but the coefficients are symbolic non-polynomial (and non- rational) expressions. Can it be done anyway? I also had problems with subtracting 1 from an expression, which I got by substituting rational functions into a polynomial, so I switched to symbolic representation. On May 22, 12:54 p

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Gary Furnish
There is definitely going to be some form of pattern matching, as it is pretty much required by simplification. The exact syntax isn't decided yet. 1) Everything has been converted to Cython and all of the internals are pure Cython with no or very few python function calls. The code is essential

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Robert Bradshaw
It almost sounds to me like you'd rather be working in a multivariate polynomial ring (which will be much, much faster). - Robert On May 22, 2008, at 12:48 PM, Andrey Novoseltsev wrote: > Actually, yesterday was the first time I really tried to use Sage for > symbolic computations and it was

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Andrey Novoseltsev
Actually, yesterday was the first time I really tried to use Sage for symbolic computations and it was quite frustrating for me. 1) It would be really nice if it was faster. 2) It seems to me that ((x+y)*y).coeff(y^2) and ((x+y)*y).expand().coeff(y^2) should return the same coefficient 1 (while

[sage-devel] Re: The "Symbolics" Feature Request thread

2008-05-22 Thread Harald Schilly
On May 22, 8:33 pm, Gary Furnish <[EMAIL PROTECTED]> wrote: > I thought I'd start taking feature requests ... wow, pretty impressive list!! There is actually one thing that could be interesting: rule based manipulations and substitutions. I don't know if this is in the scope of your work, but bei