Re: Issue 4030 in sympy: Sympy hangs on fairly simple expression

2014-01-29 Thread sympy
Comment #4 on issue 4030 by avichal@gmail.com: Sympy hangs on fairly simple expression http://code.google.com/p/sympy/issues/detail?id=4030 I tried a simpler example such as series(x**y, x) and that also gives O(log(x)**6) In exponential.py a condition checks if arg0 belongs in [-oo,

Re: [sympy] Gsoc 14

2014-01-29 Thread Akshay
@Aaron Thank you for your reply.So,can I start working on my proposal? On Wednesday, January 29, 2014 7:12:02 AM UTC+5:30, Aaron Meurer wrote: I don't think there is any active work going on right now in the geometry module. If there is, there will likely be an open pull request for it.

Re: [sympy] Gsoc 14

2014-01-29 Thread Christophe Bal
Hello. Akshay says : My idea is to extend the current module which has only ellipse class to add both Hyperbolae and Parabolae classes to the Geometry module. You could work on a class Conic. Using projective geometry, it's easy to deal with all the different kinds of conics. Christophe,

Re: [sympy] Gsoc 14

2014-01-29 Thread Akshay
@Christophe I thought of that but Ellipse and Circle have already been implemented.Furthermore one class cannot generalise all these conic sections as some have certain properties which are unique and cannot be generalised to others. -- You received this message because you are

[sympy] How to get symboly constant part of a Poly

2014-01-29 Thread Roderick de Nijs
I am having the following little anoying issue: Imagine i have: from sympy import var var('x y z t') p=Poly(x*y + x*z + z*t,gens=[x,y]) now i can use p.coef_monomial to extract coefficients for x, y or x*y but how do I get the constant part z*t? Any straightforward way to do this? Thanks! --

Re: [sympy] Gsoc 14

2014-01-29 Thread Christophe Bal
That's right but it could be useful to have such a class fir more general context. Le 29 janv. 2014 10:05, Akshay akshaynukal...@gmail.com a écrit : @Christophe I thought of that but Ellipse and Circle have already been implemented.Furthermore one class cannot generalise all these conic

Re: [sympy] How to get symboly constant part of a Poly

2014-01-29 Thread Mateusz Paprocki
Hi, On 29 January 2014 10:08, Roderick de Nijs razor4...@gmail.com wrote: I am having the following little anoying issue: Imagine i have: from sympy import var var('x y z t') p=Poly(x*y + x*z + z*t,gens=[x,y]) now i can use p.coef_monomial to extract coefficients for x, y or x*y but how

[sympy] Re: How to get symboly constant part of a Poly

2014-01-29 Thread Roderick de Nijs
Ok for some reason I did not get it to work before: p.nth(0,0) El miércoles, 29 de enero de 2014 10:08:34 UTC+1, Roderick de Nijs escribió: I am having the following little anoying issue: Imagine i have: from sympy import var var('x y z t') p=Poly(x*y + x*z + z*t,gens=[x,y]) now

Re: [sympy] Equivalence of function instances.

2014-01-29 Thread Björn Dahlgren
Ah great! Didn't think of that. Thanks! Yeah, once my current pull request is done (https://github.com/sympy/sympy/pull/2829) I might try to find some time to dig around with the metaclasses (I'm not the biggest fan of metaclasses in general - I usually find them quite confusing in practice)

Re: [sympy] GSOC 2014: Solvers

2014-01-29 Thread someone
Hi, How can we simplify the roots. Will the more advanced sqrtdenest algorithms help (https://code.google.com/p/sympy/issues/detail?id=93)? I'm not sure if this is of any help here, but rechecking and implementing the complete root denesting algorithm should be a good thing in any case.

Re: [sympy] Functions: Singularity and Continuity

2014-01-29 Thread Pramod Ch
@Harsh, could you brief your work in this area (finding the points of discontinuity and check whether a function is singular) so it will be clear for me where to start? On Wednesday, January 29, 2014 10:04:30 AM UTC+5:30, Harsh Gupta wrote: My implementation works only with function defined

Re: [sympy] Re: Logic Module

2014-01-29 Thread Soumya Biswas
It seems somehow I had missed this conversation (on the issues page). It is definitely true that this transformation adds many auxiliary variables (as many as the number of non-atomic clauses). However what I am working on is to optimize this encoding to such an extent that the encoding plus

[sympy] Re: GSoC 2014: Symbolic (formal) logic and set theory

2014-01-29 Thread Sachin Joglekar
You may want to have a look at the discussion here - https://groups.google.com/forum/#!topic/sympy/wknFPGmTw0w and tell us what your ideas are. As is indicated in that thread, the logic module has a lot of scope for improvement, so work can be done in that direction. On Wednesday, January 29,

Re: [sympy] How to get symboly constant part of a Poly

2014-01-29 Thread Roderick de Nijs
Thanks. Didnt know that 1 is always a generator :) El miércoles, 29 de enero de 2014 10:22:54 UTC+1, Mateusz Paprocki escribió: Hi, On 29 January 2014 10:08, Roderick de Nijs razo...@gmail.comjavascript: wrote: I am having the following little anoying issue: Imagine i have:

[sympy] Group Theory-GSoC

2014-01-29 Thread Siddarth R
What is the further scope in developing a Group Theory module, especially since a lot of it was covered in thishttp://www.google-melange.com/gsoc/project/google/gsoc2012/amakelov/27001 project? -- You received this message because you are subscribed to the Google Groups sympy group. To

[sympy] Stats module problem

2014-01-29 Thread F. B.
In [5]: X = ContinuousRV(x, x, (0, 2)) In [6]: Y = tan(X) In [7]: density(Y) AttributeError: 'tuple' object has no attribute 'is_Piecewise' Is this a bug or a missing feature? -- You received this message because you are subscribed to the Google Groups sympy group. To unsubscribe from this

[sympy] GSOC 2014 : Solvers/Step by Step Expression Manipulation/Series Expansion

2014-01-29 Thread Umang Goel
Hello, I'll be applying for GSOC this year and while I was reading the ideas page I was really interested in working on one of the three of your projects mentioned below. First one is improving the solve function: It mentions of finding some way to be sure that the function has found all the

Re: [sympy] Functions: Singularity and Continuity

2014-01-29 Thread someone
Hi, @Harsh, could you brief your work in this area (finding the points H of discontinuity and check whether a function is singular) so it will be clear for me where to start? In this context the following papers by Adam Strzeboński may be very relevant: Real root isolation for

[sympy] Re: GSOC 2014:optimization module

2014-01-29 Thread p0906uec
I found this paper Analytical optimization using computer algebraic manipulation http://dl.acm.org/citation.cfm?doid=355637.355641 Can you suggest some more resources? On Wednesday, 29 January 2014 00:23:57 UTC+5:30, p0906uec wrote: Hi,I am Pradyumna Paliwal.I have currently studying

[sympy] Sympy gamma on hacker news

2014-01-29 Thread hacman0
Just a heads up: sympy gamma is on the front page if hacker news right now: https://news.ycombinator.com/item?id=7145219 If some of the core devs are available to respond to some comments there, it might be a visibility boost for the project and obviously for sympy by association. -- You

[sympy] GSoC 2014 - Implementation of Braid Groups and extensions to Knots

2014-01-29 Thread Amit
Hello, I would like to discuss the implementation of Braid Groups. This would involve the implementation of various invariants related to Braids like the Alexander's polynomial (http://mathworld.wolfram.com/AlexanderPolynomial.html) by building up the Burau representation of the same

Re: [sympy] GSoC 2014 - Implementation of Braid Groups and extensions to Knots

2014-01-29 Thread David Joyner
On Wed, Jan 29, 2014 at 4:32 PM, Amit bitsjamada...@gmail.com wrote: Hello, I would like to discuss the implementation of Braid Groups. This Are you planning on going beyond what is already known? http://www.math.uiuc.edu/~nmd/snappea/ If so, what is your plan? would involve the

Re: [sympy] Group Theory-GSoC

2014-01-29 Thread David Joyner
On Wed, Jan 29, 2014 at 11:41 AM, Siddarth R sid.th2...@gmail.com wrote: What is the further scope in developing a Group Theory module, especially since a lot of it was covered in this project? That was a great project:-) Obviously, there is a lot more to group theory, but to answer your

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread Aaron Meurer
Thanks for the heads up. We'll have to check the logs later to see if it resulted in any noticeable spike. Aaron Meurer On Wed, Jan 29, 2014 at 3:19 PM, hacm...@gmail.com wrote: Just a heads up: sympy gamma is on the front page if hacker news right now:

Re: [sympy] GSOC 2014: Solvers

2014-01-29 Thread Aaron Meurer
If the algorithm is actually complete, and works for higher order roots (not just square roots), then I suppose it should work here. Aaron Meurer On Tue, Jan 28, 2014 at 3:47 PM, someone someb...@bluewin.ch wrote: Hi, How can we simplify the roots. Will the more advanced sqrtdenest

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread David Li
We were posted on r/pythonhttp://www.reddit.com/r/Python/comments/1whmjy/sympy_gamma_an_opensource_pythonbased_alternative/as well, and now we've reached our quota. David On Wednesday, January 29, 2014 6:05:01 PM UTC-7, Aaron Meurer wrote: Thanks for the heads up. We'll have to check the

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread Aaron Meurer
I didn't realize it wasn't on a paid plan. I'll talk to Ondřej. Aaron Meurer On Jan 29, 2014, at 9:06 PM, David Li li.david...@gmail.com wrote: We were posted on r/pythonhttp://www.reddit.com/r/Python/comments/1whmjy/sympy_gamma_an_opensource_pythonbased_alternative/as well, and now we've

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread Aaron Meurer
Oh apparently we *are* on a paid plan! but we hit the budget. Ondřej is bumping it. Aaron Meurer On Wednesday, January 29, 2014, Aaron Meurer asmeu...@gmail.com wrote: I didn't realize it wasn't on a paid plan. I'll talk to Ondřej. Aaron Meurer On Jan 29, 2014, at 9:06 PM, David Li

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread Aaron Meurer
Its back online. Aaron Meurer On Wednesday, January 29, 2014, Aaron Meurer asmeu...@gmail.com wrote: Oh apparently we *are* on a paid plan! but we hit the budget. Ondřej is bumping it. Aaron Meurer On Wednesday, January 29, 2014, Aaron Meurer asmeu...@gmail.comjavascript:_e({},

Re: [sympy] Sympy gamma on hacker news

2014-01-29 Thread David Li
It is, but we hit the cap on daily cost. David On Jan 29, 2014 9:52 PM, Aaron Meurer asmeu...@gmail.com wrote: I didn't realize it wasn't on a paid plan. I'll talk to Ondřej. Aaron Meurer On Jan 29, 2014, at 9:06 PM, David Li li.david...@gmail.com wrote: We were posted on