[sympy] Re: GSOC - Natural Input Parser

2016-03-19 Thread Richard Fateman
I suggest you first study ambiguous grammars and how to parse them. Here's one paper http://www.cs.berkeley.edu/~fateman/papers/ambigmath.pdf but there are others that you can find. It is not a case of "writing a program" but solving the problem. Is fx the same as f*x or f(x)?What about s

Re: [sympy] Re: SymPy Paper

2016-03-19 Thread Jason Moore
PeerJ and other journals follow this: http://www.icmje.org/recommendations/browse/roles-and-responsibilities/defining-the-role-of-authors-and-contributors.html#two which adds an accountability statement too. +1 to either. Jason moorepants.info +01 530-601-9791 On Fri, Mar 18, 2016 at 8:41 AM,

[sympy] Re: GSoC 2016 : Series Expansion

2016-03-19 Thread Sartaj Singh
Last Year, I worked on Formal Power Series, implementing the algorithm given in the book. However, there are still some XFAIL tests. Try understanding the code. You can try to make those tests pass. On Wednesday, 16 March 2016 20:41:45 UTC+5:30, TUHIN KHARE wrote: > > Hi > > I am a Computer Scie

[sympy] Contributing to sympy

2016-03-19 Thread Kanekal Shivaprasad
Can anyone please help me with how can i start contributing to sympy knowing python -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com

[sympy] MutliVariable symbolic finite differences

2016-03-19 Thread Mathias Louboutin
Hi I am working on PDE's and I am trying to get the symbolic expression for multivariabe finite differences mainly I wan the expression for d/dx(d/dy f), however d2pdxdy=as_finite_diff(p(x,y,z,t).diff(x,y),[x,x-h,y,y+h]) doesn't work, nor any possible combination. Is this just not implemented

Re: [sympy] SymPy Live and SymPy Gamma | GSoC'16

2016-03-19 Thread Ashutosh Saboo
Hello, I have added a new issue here, related to installation problems - https://github.com/sympy/sympy_gamma/issues/70 . Since the issue is pretty important, as it's related to installation, hence could someone try and look into this issue? Thanks! Ashutosh Saboo On Wednesday, 16 March 2016

Re: [sympy] Contributing to sympy

2016-03-19 Thread Jason Moore
We have this document to help people get started with sympy: https://github.com/sympy/sympy/wiki/introduction-to-contributing Let us know if you have questions when you go through it. Jason moorepants.info +01 530-601-9791 On Fri, Mar 18, 2016 at 9:24 AM, Kanekal Shivaprasad wrote: > Can any

[sympy] sympy solve method

2016-03-19 Thread Sylvain Meunier
Hello, I'm trying to prove the following system has no solution using sympy (one of my first attempt to use sympy) : a_1 = Symbol('a_1') a_2 = Symbol('a_2') a_3 = Symbol('a_3') a_4 = Symbol('a_4') b_1 = Symbol('b_1') b_2 = Symbol('b_2') b_3 = Symbol('b_3') b_4 = Symbol('b_4') system = [ a_1

[sympy] GSOC 2016 Series Expansion

2016-03-19 Thread Rehas Sachdeva
Dear developers! I am Rehas, studying at IIIT-Hyderabad, India, in 2nd year. I'm very interested to work with sympy and am interested in the idea of Series Expansion. I have experience in python, c, c++ and git. I also have good background in Calculus and have taken courses in Complex Analysi

[sympy] Re: GSOC 2016 Series expansions

2016-03-19 Thread Rehas Sachdeva
Dear developers! I am Rehas, studying at IIIT-Hyderabad, India, in 2nd year. I'm very interested to work with sympy and am interested in the idea of Series Expansion. I have experience in python, c, c++ and git. I also have good background in Calculus and have taken courses in Complex Analysi

Re: [sympy] Re: SymPy Paper

2016-03-19 Thread Ondřej Čertík
On Fri, Mar 18, 2016 at 10:02 AM, Jason Moore wrote: > PeerJ and other journals follow this: > > http://www.icmje.org/recommendations/browse/roles-and-responsibilities/defining-the-role-of-authors-and-contributors.html#two > > which adds an accountability statement too. > > +1 to either. Good poi

Re: [sympy] MutliVariable symbolic finite differences

2016-03-19 Thread Aaron Meurer
What is the answer that you would expect to get? Aaron Meurer On Wed, Mar 16, 2016 at 12:12 PM, Mathias Louboutin wrote: > Hi > > I am working on PDE's and I am trying to get the symbolic expression for > multivariabe finite differences > > mainly I wan the expression for d/dx(d/dy f), however >

[sympy] Re: GSoC 16: Solvers

2016-03-19 Thread Kshitij Saraogi
The current implementation of solving a system of polynomials is based on the reduced Groebner basis of the input polynomials. However, it is limited by the root finding algorithm implemented in SymPy. If no result is returned, we cannot assure that no solution exists. [1] In order to incorporat

Re: [sympy] Re: GSoc'16 Solver and Solveset

2016-03-19 Thread Aaron Meurer
I apologize if I missed this in the application, but have you figured out what the format of the solutions for systems of equations will look like? Aaron Meurer On Thu, Mar 17, 2016 at 12:35 PM, Shekhar Prasad Rajak wrote: > Thanks Aaron. > After the discussion in gitter chat I got similar respo

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Thank You Jason for the appreciation. Yah, that *Simplify * method would convert into continous piecewise. Like this :- In[ ] : F = singularityFunc(x, 0, 1) + singularityFunc(x, 3, 2) In[ ] : F Out [ ] : 2 + In [ ] : F.simplify() Out [ ] : 0 f

Re: [sympy] MutliVariable symbolic finite differences

2016-03-19 Thread Mathias Louboutin
.5 * (p(x,y+h) - p(x,y) - p(x-h,y+h) + p(x-h,y+h) ) / h^2 Le mercredi 16 mars 2016 21:09:53 UTC, Aaron Meurer a écrit : > > What is the answer that you would expect to get? > > Aaron Meurer > > On Wed, Mar 16, 2016 at 12:12 PM, Mathias Louboutin > > wrote: > > Hi > > > > I am working on PDE

[sympy] Re: GSOC 2016 Series expansions

2016-03-19 Thread mvnnn
After look through the issues labeled "series" on the issue tracker. I find that I need to improve limits and need to add some functionality in FPS, asymptotic and Order. I also need to improve rs_series or improve some series is good enough? -- You received this message because you are subs

Re: [sympy] Re: Solveset in Symengine

2016-03-19 Thread Harsh Gupta
As a note to both Akash and Nishant, the most robust solver in SymPy is the polynomial solver and your main focus should be on it. Some of the polynomial algorithms are known from centuries and the output is also uncontroversially a finite set of numbers. Everything else in solveset works by conver

Re: [sympy] Re: Solveset in Symengine

2016-03-19 Thread Harsh Gupta
I was also discussing this Nishant in real life, SymEngine **is not** a C++ clone of SymPy, rather SymEngine aims to be very fast core for SymPy and hopefully other Computer Algebra Systems. A major reason for the success of SymPy is that it is written in Python and which makes it is easy for someo

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread Jason Moore
I think you need to override the operators. I'm not sure if multiplying singularity functions is needed (at least for beam problems), even if it is mathematically correct, you don't have to implement it. If it is easy to implement then, sure, do so. Jason moorepants.info +01 530-601-9791 On Thu,

Re: [sympy] Gsoc Idea 2016 Series Expansion

2016-03-19 Thread Aaron Meurer
A good place to start would be to look through the issues labeled "series" on the issue tracker. That should give you an idea of what sorts of things don't work. Aaron Meurer On Tue, Mar 15, 2016 at 9:42 AM, Abhishek Verma wrote: > Hello everyone , I am abhishek Verma and series expansion will b

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Jason, Actually I have misunderstood earlier. I have updated my proposal here . Can you please review it and suggest me to improve it. Regards Sampad Kumar Saha Mathematics and Computing I.I.T

Re: [sympy] Re: GSoC idea for a project: holonomic functions

2016-03-19 Thread Ondřej Čertík
Hi Subham, On Fri, Mar 18, 2016 at 9:36 AM, Subham Tibra wrote: > I have a question regarding converting an expression tree to holonomic > > For instance, we have an expression expr = sin(x)*exp(x), So traversing this > gives sin(x) and exp(x). Once we have the holonomic representation of sin > a

Re: [sympy] Second Order PDE Solvers

2016-03-19 Thread Jason Moore
Karl, That sounds like a great idea. I think you'd only want to implement analytical methods in SymPy. There are likely other options for numerical PDE solvers. See this to get started: https://github.com/sympy/sympy/wiki/introduction-to-contributing Jason moorepants.info +01 530-601-9791 On W

[sympy] Re: GSoc'16 Solver and Solveset

2016-03-19 Thread Shekhar Prasad Rajak
Thanks Aaron for reviewing the application. For system of non linear equations the format can be similar to `linsolve` means :` FiniteSet(tuple(solution))` For trig equations solutions would be in `imageset`. Would there be more cases ? These are the good ways, right? -- Shekhar Prasad Rajak.

[sympy] GSoC'16 Idea: Graph Isomorphism and Group Theory

2016-03-19 Thread ocksumoron
Hi everybody! My name is Daniil Dmitriev, I am studying Mathematics and Computer Science at Moscow Institute of Physics and Technology. I came across your project and was interested with group theory part. And as I am studying graph isomorphism I got idea to implement different algorithms from

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread Jason Moore
I don't think we should do "a hack". If we follow the patterns in the integration code, we should leave the constants of integration off. But in the Beam classes you can have them manage the constants of integration. What you show above looks fine. I didn't mean to use dsolve in any way. I just me

[sympy] Re: Solveset in Symengine

2016-03-19 Thread Akash Trehan
On Friday, 26 February 2016 22:58:07 UTC+5:30, Harsh Gupta wrote: > > >Hi Akash, > > >1.) Sets module is clearly is a dependence for the solveset module, the > output of solveset of set and the module also make heavy use of a lot of > >functionalities of Sets including intersection, union and e

[sympy] GSOC 16 :Classical Mechanics: Generalize the Equation of Motion Generation Classes

2016-03-19 Thread Smit Zaveri
Hey, I am a physics student at IIT Kanpur. I have prior knowledge of Classical Mechanics and python and I am aspiring to undertake the project- Classical Mechanics: Generalize the Equation of Motion Generation Classes. I am new to open source. Is there any GitHub repository I should be loo

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Jason, I went through the ode package. I felt that it would be difficult to use boundary condition to solve for the constants of integration using the exisiting *dsolve() *method. It seems that it is still under development. So I thought of implementing that functionality explicitly for solving b

[sympy] Suggestion regarding adding the "Reviewed On" link for github PR

2016-03-19 Thread Gaurav Dhingra
Hi everyone, I was thinking that adding a "Reviewed On" github PR link to the commit would be good for future pull requests when the PR is being merged. For example: i added on this "commit" https://github.com/sympy/sympy/commit/9e37659867322e7ba20b44984550cd5353e00931 ``` Reviewed-on: #10505

Re: [sympy] Algorithm description in GSoC proposal

2016-03-19 Thread Gaurav Dhingra
Thanks Jason. (i had already read a few days back, got a little lazy) Gaurav On Wednesday, March 16, 2016 at 4:27:15 AM UTC+5:30, Jason Moore wrote: > > I don't think the gory details are required for a good proposal. But you > should show that you know what you are talking about and explain thi

[sympy] Suggestion regarding adding the "Reviewed On" link for github PR

2016-03-19 Thread Gaurav Dhingra
Hi everyone, I was thinking that adding a "Review On"ed github PR link to the merge commit would be good for future pull requests when the PR is being merged. For example: i added on this merge commit https://github.com/sympy/sympy/commit/9e37659867322e7ba20b44984550cd5353e00931 ``` Reviewed-o

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Yah, you are right multiplication of singularity functions are not needed for solving beam problems. Mathematically, it is also not used that much. So lets leave this multiplication and powers part. I was thinking about the *integrate *and *diff* methods. I feel that we should define instance meth

Re: [sympy] 2D/3D graphics view GUI Sympy

2016-03-19 Thread Aaron Meurer
SymPy does have better plotting, but you need to install matplotlib first. Aaron Meurer On Sun, Mar 13, 2016 at 10:06 AM, Nuno Lopes wrote: > Hello Developers ! > > I am Nuno Lopes and im second year of Computer Science in Universidade de > Evora, Portugal. > > As student of Computer Science I h

[sympy] Second Order PDE Solvers

2016-03-19 Thread Karl Deutscher
Hi to all who read this, I know that the topic of second order PDE solvers has already been discussed in this forum but I thought that I would raise it again because I didn't see anything showing it had been resolved. I am currently taking a degree in mathematics with a minor in computer scienc

Re: [sympy] Re: SymPy Paper

2016-03-19 Thread Aaron Meurer
There is already some discussion of this happening on the issues and wiki of https://github.com/asmeurer/sympy-paper. Aaron Meurer On Tue, Mar 15, 2016 at 6:49 PM, Jason Moore wrote: > I'm happy to be a part of this too. I imagine the scope could be huge, so > maybe deciding on what the main poi

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Jason, For implementing Additon , Multiplication Do we need to over ride *__mul__ *, *__add__* these methods inside the class *SingularityFunction *or we can just use *simplify *for getting the results. I am really confused. Regards Sampad Kumar Saha Mathematics and Computing I.I.T. Kharagpur

[sympy] Re: Gsoc Idea 2016 Series Expansion

2016-03-19 Thread Abhishek Verma
Who Suggested the book on idea page of series Expansion 1.Symbolic Asymptotics: Functions of Two Variables, Implicit Functions" by Bruno Savly and John Shackell 2."Symbolic Asymptotics: Multiseries of Inverse Functions" by Bruno Savly and John Shackell Actually I am going through these book and

Re: [sympy] sympy solve method

2016-03-19 Thread Kshitij Saraogi
Also, in order to prove a system of polynomials to be inconsistent, we can show that its reduced Gröbner basis is 1. [1] In [13]: groebner(system, unknowns) Out[13]: GroebnerBasis([1], a_1, a_2, a_3, a_4, b_1, b_2, b_3, b_4, domain='ZZ', order='lex') In the problem at hand, we do get the desire

Re: [sympy] sympy solve method

2016-03-19 Thread Aaron Meurer
solve() is incapable of proving that solutions don't exist. If you get NotImplementedError or even an empty dictionary, it doesn't necessarily mean there are no solutions, only that it couldn't find any. solveset is capable of doing this, but it doesn't support systems yet. I'm unsure if solve_pol

Re: [sympy] Re: GSoC '16: Implementation of GUI for Sympy.

2016-03-19 Thread Ondřej Čertík
On Wed, Mar 16, 2016 at 3:38 PM, Aman Deep wrote: > I am able to convert latex expression to sympy expression using latex2sympy > (https://github.com/augustt198/latex2sympy) > It uses antlr4 to generate the parser. > > I got this latex for entered quadractic root equation in MathQuill. > > \frac{-

[sympy] Re: Testing issue

2016-03-19 Thread Shekhar Prasad Rajak
hello , You can directly check your changes : 1. go inside your sympy directory. 2. do $ bin/isympy 3. now check your changes by some examples. you can test your changes using $ bin/test for particular file your can do $ bin/test sympy/module_name/test/test_filename more info is here : https

Re: [sympy] Testing issue

2016-03-19 Thread Sartaj Singh
Hi, You can run tests by running bin/test [directory]. Try adding/updating tests to reflect your changes. If you want to run the code, you will probably need to install the development version. You can do this by running python setup.py develop in the main sympy directory. Also, try sending in a P

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread Jason Moore
Simplification means something very specific in SymPy, see the simplify() function. I think you need to choose a different method name for converting to piecewise continuous. Maybe: .to_piecewise()? You will need to implement some method for dealing with the constants of integration and boundary c

Re: [sympy] Re: GSoC '16: Implementation of GUI for Sympy.

2016-03-19 Thread Aaron Meurer
It looks like it could be useful. You'd have to play around with it with larger expressions to see how well it works. Ideally the library would be in Python, but if SnuggleTex works well it might be worth using. Aaron Meurer On Wed, Mar 16, 2016 at 1:48 PM, Aman Deep wrote: > Thanks for replying

[sympy] Testing issue

2016-03-19 Thread yjiang9603
Hi, I am new to Sympy and I've been made some fixes to kanes method in mechanics. I was just wondering how the testing procedure works because when I try to run the code it seems that my changes are not reflected in the code; namely, it's importing the library from "anaconda3/lib/python3.4/sit

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
Jason, I have thought of implementing Addition, Substraction, Integration, Differentiation, Simplify on Singularity Functions. What are the other functionalities we should implement? Regards Sampad Kumar Saha Mathematics and Computing I.I.T. Kharagpur On Fri, Mar 18, 2016 at 8:16 PM, SAMPAD

[sympy] Re: GSoC 16: Solvers

2016-03-19 Thread Kshitij Saraogi
\The current implementation of solving a system of polynomials is based on the reduced Groebner basis of the input polynomials. However, it is limited by the root finding algorithm implemented in SymPy. If no result is returned, we cannot assure that no solution exists. [1] In order to incorporat

Re: [sympy] Second Order PDE Solvers

2016-03-19 Thread Karl Deutscher
Ok thanks, I will start digging in at the problem then and will hopefully have some of it ready soon. On Wednesday, March 16, 2016 at 9:23:06 PM UTC-6, Jason Moore wrote: > > Karl, > > That sounds like a great idea. I think you'd only want to implement > analytical methods in SymPy. There are li

Re: [sympy] Re: SymPy Paper

2016-03-19 Thread Ondřej Čertík
On Mon, Mar 14, 2016 at 9:11 PM, Fredrik Johansson wrote: > On Monday, March 14, 2016 at 10:09:59 PM UTC+1, Aaron Meurer wrote: >> >> Now that we have SymPy 1.0, it is time to write a paper for SymPy >> (along the lines of these https://www.scipy.org/citing.html). If you >> are interested in being

Re: [sympy] Re: Mathpix - using sympy and deep learning to solve math from pictures of handwriting

2016-03-19 Thread Aaron Meurer
SymPy does have Sum.is_convergent, which is new since 1.0. It would need to be integrated into SymPy Gamma. Aaron Meurer On Tue, Mar 15, 2016 at 10:20 PM, Nicolas Jimenez wrote: > One things our users are complaining about is the lack of clarity when > dealing with infinite sums. Are there any

Re: [sympy] MutliVariable symbolic finite differences

2016-03-19 Thread Mathias Louboutin
In this example case it would give .25 * ( p(x,y+h,z,t) - p(x,y,z,t) + p(x-h,y,z,t) - p(x-y,y+h,z,t) ) /h^2 But more generally I would want to be able to take the result of as_finite_diff as a new expression I can differentiate : a = as_finite_diff ( f(.).diff(x) ) b= as_finite_diff( a.di

Re: [sympy] GSoC 2016: Singularity Functions

2016-03-19 Thread SAMPAD SAHA
I am also confused about implementing the boundary conditions for getting the deflection curve. Any suggestions on how to implement it. Regards Sampad Kumar Saha Mathematics and Computing I.I.T. Kharagpur On Fri, Mar 18, 2016 at 5:36 PM, SAMPAD SAHA wrote: > Yah, you are right multiplicatio

Re: [sympy] Implement Holonomic Functions

2016-03-19 Thread Ondřej Čertík
On Tue, Mar 15, 2016 at 5:38 PM, Jason Moore wrote: > Start here: > https://github.com/sympy/sympy/wiki/GSoC-2016-Student-Instructions, make > sure to setup the dev environment and try using sympy. > > Search the email list archives to find the other discussions on the > holonomic functions. There