Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Brian Granger
I agree with Aaron on this one. On Thu, May 9, 2013 at 11:10 PM, Aaron Meurer wrote: > What's wrong with Sum. The only issue I can see is that Sum represents some > kind of algebraic antidifference operator (see the discussion at > https://github.com/sympy/sympy/pull/1696 for example), whereas a

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Aaron Meurer
What's wrong with Sum. The only issue I can see is that Sum represents some kind of algebraic antidifference operator (see the discussion at https://github.com/sympy/sympy/pull/1696 for example), whereas a series is a mathematical summation. There are also subtle differences in the latter if we con

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread hacman0
I think that a lot of interesting objects in mathematics are representable by some kind of series: power series, Fourier series (including orthogonal bases other than complex exponentials), and series representations of constants (e.g., many different ways of representing pi as a series). Solut

Re: [sympy] exponential map of operators

2013-05-09 Thread Stefan Krastanov
Sorry for being unclear. I do share Aaron's opinion. On 10 May 2013 01:39, Aaron Meurer wrote: > I'm not sure he was suggesting to keep things separate. There is a lot of > stuff in the quantum module that is purely mathematical that *should* be > moved out into some separate submodule, and made

Re: [sympy] Tutorial Translation

2013-05-09 Thread Aaron Meurer
Just a heads up that I plan to completely rewrite the tutorial in the next couple of weeks, so if you translate the current version, it will become invalid. Aaron Meurer On Thu, May 9, 2013 at 3:53 AM, Ivan wrote: > Hi all, > > I want to help to translate tutorial to Traditional Chinese, exist

Re: [sympy] exponential map of operators

2013-05-09 Thread Aaron Meurer
I'm not sure he was suggesting to keep things separate. There is a lot of stuff in the quantum module that is purely mathematical that *should* be moved out into some separate submodule, and made to work with the other parts of SymPy. The quantum module could then just subclass these things and add

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Aaron Meurer
So, algorithmically, what are our hopes of getting something like sin(x)*exp(x) to work? Can a hyper/meijerg-based algorithm ever hope to work? If we implement formulas for the nth derivative, and also the series multiplication formula, what are the chances of a summation algorithm getting a close

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread someone
> (hyper([], [], x) == exp(x)). But I'm not sure what the function to > go from exp(x) to hyper is. For going this way, I implemented the rewrite(hyper) on some of the newer special functions. But it's supported only on a very few functions yet. -- You received this message because you are subsc

Re: [sympy] exponential map of operators

2013-05-09 Thread F. B.
You're right, better keep things separate. By the way, I added two new methods to my last commit to MultiArray in the valued tensor PR: applyfunc and diff. Besides, I'm currently pondering how to add "diff" capabilities to valued tensors, see https://github.com/sympy/sympy/pull/2041#issuecommen

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Tom Bachmann
On 09.05.2013 14:16, Aaron Meurer wrote: On May 9, 2013, at 1:32 AM, Tom Bachmann wrote: Regarding what we would like to (be able to) do: We should have first class representations of series, much like what you ask for. It should be possible to say exp(x).series_expansion(0) and get out an

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Aaron Meurer
On May 9, 2013, at 1:32 AM, Tom Bachmann wrote: > Regarding what we would like to (be able to) do: > > We should have first class representations of series, much like what you ask > for. It should be possible to say exp(x).series_expansion(0) and get out an > object representing the entire seri

Re: [sympy] exponential map of operators

2013-05-09 Thread Stefan Krastanov
The `quantum` module reimplements a lot of stuff and it is in no way connected to the tensor module, the diffgeom module, combinatorics, matrix or any other module that is related to it in theory. If you want them to work together you will have a lot of refactoring to do on both sides. On 9 May 20

Re: [sympy] exponential map of operators

2013-05-09 Thread F. B.
I know this problem is related to the exponential map between lie algebras and lie groups, do you have any reference on this issue? By the way, I'm still pondering how to integrate quantum module's Operator with the vtensor in currently working on. Specifically, should qapply be applied automat

Re: [sympy] Tutorial Translation

2013-05-09 Thread Stefan Krastanov
Sorry, it seems it was not you. But anyway, there is a pull request that just showed up that deals with some of this. If you have additional changes in mind feel free to make a pull request (however I do not know how necessary it is to add a new language code if we do not have a translation for tha

Re: [sympy] Tutorial Translation

2013-05-09 Thread Stefan Krastanov
That would be welcomed. I saw that you already proposed it on a pull request. We can check it out there. On 9 May 2013 11:53, Ivan wrote: > Hi all, > > I want to help to translate tutorial to Traditional Chinese, existing > version zh is simplified chinese. Traditional Chinese is used by Taiwan,

[sympy] Tutorial Translation

2013-05-09 Thread Ivan
Hi all, I want to help to translate tutorial to Traditional Chinese, existing version zh is simplified chinese. Traditional Chinese is used by Taiwan, Hong Kong and others. But current Makefile LANGUAES accept two characters only, is it possible that change to use longer language code, simplifi

Re: [sympy] Symbolic representation of sequences & series

2013-05-09 Thread Tom Bachmann
Regarding what we would like to (be able to) do: We should have first class representations of series, much like what you ask for. It should be possible to say exp(x).series_expansion(0) and get out an object representing the entire series. Then, depending on what particular type of object you