Re: [sympy] Re: GSoC 2012 - SymPy for Android

2012-04-05 Thread Jorge Cardona
Here is sympy repo: https://github.com/sympy/sympy you can create your own repo on the top right button, and you need to work on this new repo. In the view of your fork, you will see a button "Pull Request". On Thu, Apr 5, 2012 at 8:47 PM, Jorge Cardona wrote: > You will need a g

Re: [sympy] Re: GSoC 2012 - SymPy for Android

2012-04-05 Thread Jorge Cardona
You will need a github account, create a fork from sympy repo, push your code to your own repo, and then make a pull request to sympy repo. 2012/4/5 Flávio Manoel S. Hemerli : > Hello everyone, > > I need only to submit a patch to finish my application and I need some help. > I have fixed the issu

[sympy] Z-notation and proof assistant idea for GSOC.

2012-03-27 Thread Jorge Cardona
Hi, I was thinking that maybe a good part of Z-notation would fit really good in the already logic, or assumptions system, since Z-notation is currently defined as an ISO standard would be a nice addition to sympy and an easy to constrain GSOC project. The idea then is just to follow the ISO stan

Re: [sympy] Risch algorithm

2012-03-26 Thread Jorge Cardona
What do you think about the Z-notation? I would post it in a single thread to see other comments. On Tue, Mar 27, 2012 at 1:46 AM, Aaron Meurer wrote: > On Mon, Mar 26, 2012 at 11:33 PM, Jorge Cardona > wrote: >> On Tue, Mar 27, 2012 at 1:23 AM, Aaron Meurer wrote: >>> On

Re: [sympy] Risch algorithm

2012-03-26 Thread Jorge Cardona
On Tue, Mar 27, 2012 at 1:23 AM, Aaron Meurer wrote: > On Mon, Mar 26, 2012 at 10:52 PM, Jorge Cardona > wrote: >> Hi >> >> I was playing with Aaron's code in integration3, I just added a little >> example to the DifferentialExtension and tried to add the repr

Re: [sympy] Risch algorithm

2012-03-26 Thread Jorge Cardona
em, but I haven't taken the course of complex analysis and maybe the theory will kill me. Bye. More about Z-notation: http://spivey.oriel.ox.ac.uk/~mike/zrm/ On Mon, Mar 19, 2012 at 3:32 PM, Aaron Meurer wrote: > On Mon, Mar 19, 2012 at 9:15 AM, Jorge Cardona > wrote: >> H

[sympy] Risch algorithm

2012-03-19 Thread Jorge Cardona
Hi, Aaron, I was following your code for the risch algorithm, as you have previously comment is basically chapters 6 in rde.py, 7 in prde.py and 5 in risch.py, and some algorithm sparse in the book also in risch.py. There are a lot of "TODO" in the code, some nonimplemented exceptions, and this c

Re: [sympy] feedback for GSOC 2012 idea

2012-03-13 Thread Jorge Cardona
Maybe this will be useful for the project: http://www.nltk.org/ On Tue, Mar 13, 2012 at 2:55 PM, Joachim Durchholz wrote: > Am 13.03.2012 15:51, schrieb Sergiu Ivanov: > >> On Tue, Mar 13, 2012 at 6:16 AM, Bharath M R >>  wrote: >>> >>> >>> Yeah I think I should use some parser generators. But do

Re: [sympy] GSoC 2012

2012-03-06 Thread Jorge Cardona
buildbot. On Wed, Mar 7, 2012 at 12:31 AM, Chris Smith wrote: > > > On Wed, Mar 7, 2012 at 9:36 AM, Jorge Cardona > wrote: >> >> Hi everyone, >> >> My name is Jorge E. Cardona, currently I'm in my first year of a PhD in >> Math in the university of Miami, I

[sympy] GSoC 2012

2012-03-06 Thread Jorge Cardona
Hi everyone, My name is Jorge E. Cardona, currently I'm in my first year of a PhD in Math in the university of Miami, I will like to be part on GSoC this year with sympy. My main interest are in dynamical systems, diff equations and symbolic integration, previously I was involved in in GSoC2009