On Friday, March 21, 2014 4:51:34 AM UTC+5:30, Peter Petrov wrote:
>
> I just did some very minor work on 
> https://github.com/sympy/sympy/issues/7134. It's a very simple and ad hoc 
> solution for just the simplest case, and I am about to PR. It might not be 
> even close to the right approach, but at least I got my hands dirty and 
> went through the process of submitting a PR. I will work on it more later 
> and try and get something reasonable after some discussions and research, 
> but I hope this would be enough for you to consider me. I am going to start 
> working on my proposal now and hopefully get to an ok point. My plan is to 
> then continue my developing my ideas and update the wiki page as I improve 
> on my proposal.
>
> I realize it is a really long shot to get the funding, but the last 40 
> hours have been so much fun, that I will definitely try and work in the 
> community as much as I can. I want to get hands on experience with coding 
> and this looks like the perfect place for me to start, given that I can 
> actually apply my knowledge of physics and learn a lot about computer 
> science at the same time. 
>
> Thanks for all the help. 
>
> On Thursday, March 20, 2014 7:06:17 PM UTC-4, Matthew wrote:
>>
>> The proposal still needs quite a bit of work.  I suspect that that's the 
>> bigger deadline.  Do we accept PRs after the initial GSoC submission 
>> deadline?
>>
>>
>> On Thu, Mar 20, 2014 at 3:18 PM, Ondřej Čertík <[email protected]>wrote:
>>
>>> On Thu, Mar 20, 2014 at 1:40 PM, Peter Petrov <[email protected]> 
>>> wrote:
>>> > Thanks for all the replies. This was so fast. You guys are great. I 
>>> will
>>> > look into the references pointed out by Ondřej and try to narrow down a
>>> > concrete problem. What Matthew said is exactly my idea. Working on a 
>>> physics
>>> > related problem will keep me interested and motivated to keep going, 
>>> but I
>>> > will be thinking of implementing constructs in a general way to be 
>>> used in
>>> > other problems. I think I will either focus on something tensor related
>>> > (Gamma matrices or some type of functionality which automatically
>>> > manipulates indices in different group representations), or maybe go 
>>> with
>>> > the Feynman diagram suggestion of Ondřej. As Stefan pointed out The 
>>> Feynman
>>> > diagram visualization is not really generalizable, but is still very
>>> > important for a big community. There might be some general topology
>>> > constructs there as well.
>>> >
>>> > Right now I started working on an issue to try and fix before the 
>>> deadline.
>>> > I am looking at https://github.com/sympy/sympy/issues/7134. There 
>>> have been
>>> > no replies for some months. Should I just post my thought in that 
>>> thread and
>>> > see if anyone jumps in. I think I have an idea of a basic (probably 
>>> not very
>>> > good, but hopefully working) resolution. At this point I am just 
>>> trying to
>>> > have something to submit as a pull request, but I am a little stuck on 
>>> some
>>> > technical details. I know its a simple issue, but I have to start 
>>> somewhere
>>> > right.
>>>
>>> If you want to quickly start with something, pick some issue here:
>>>
>>>
>>> https://github.com/sympy/sympy/issues?labels=Easy+to+Fix&milestone=&page=1&state=open
>>>
>>> Ondrej
>>>
>>> >
>>> > Thanks again for all the comments!
>>> >
>>> >
>>> > On Thursday, March 20, 2014 2:34:24 PM UTC-4, Matthew wrote:
>>> >>
>>> >> My thoughts on what's written so far are different from Ondrej's.  I 
>>> am
>>> >> less excited by physics applications and more excited by the tools 
>>> necessary
>>> >> to enable the expression of physics applications.  The extent to 
>>> which a
>>> >> domain specific project like this can be broken into a generally 
>>> applicable
>>> >> component (some mathy or algorithmic bit) and a domain specific 
>>> application
>>> >> (some physics thing) is good.  This increases the applicability and
>>> >> relevance of a summer project to a wider audience.
>>> >>
>>> >>
>>> >> On Thu, Mar 20, 2014 at 11:25 AM, Ondřej Čertík <[email protected]>
>>> >> wrote:
>>> >>>
>>> >>> On Thu, Mar 20, 2014 at 12:17 PM, Ondřej Čertík <[email protected]
>>> >
>>> >>> wrote:
>>> >>> > Hi Peter,
>>> >>> >
>>> >>> > I read through your ideas. First of all, I started SymPy as a
>>> >>> > theoretical physics student myself,
>>> >>> > and I wanted to automate the General Relativity as well as high 
>>> energy
>>> >>> > QFT calculations. I am still
>>> >>> > very interested in that, but there are a lot of tough problems and
>>> >>> > parts that need to be in place.
>>> >>> >
>>> >>> > You need to be able to do integrals, handle potentially large
>>> >>> > formulas, tensor manipulation and simplification
>>> >>> > (e.g. gamma matrices), and so on. It's not easy at all, but we've 
>>> done
>>> >>> > a long progress since the time I started
>>> >>> > SymPy in 2007 or so. Most of these things are in place, in some 
>>> form.
>>> >>> > In order to efficiently handle very large
>>> >>> > expressions, I started developing CSymPy about half a year ago
>>> >>> > (https://github.com/certik/csympy), this
>>> >>> > will come very handy as well for these applications.
>>> >>> >
>>> >>> > The best way to get some ideas of what can be done is to look into
>>> >>> > existing packages, they are pretty much
>>> >>> > all in Mathematica. In fact, most theoretical physicist just use
>>> >>> > Mathematica. And let's be frank, it's currently the
>>> >>> > best if you just care about getting the results. There is also 
>>> GiNaC
>>> >>> > (http://www.ginac.de/) that can be used for some of the
>>> >>> > high energy stuff, but CSymPy can now do pretty similar things,
>>> >>> > sometimes faster. So there is:
>>> >>> >
>>> >>> > http://www.feyncalc.org/
>>> >>> >
>>> >>> > there are all these various things people wrote for Mathematica:
>>> >>> >
>>> >>> > @article{huber2012crasydse,
>>> >>> >   title={CrasyDSE: A framework for solving Dyson--Schwinger 
>>> equations},
>>> >>> >   author={Huber, Markus Q and Mitter, Mario},
>>> >>> >   journal={Computer Physics Communications},
>>> >>> >   volume={183},
>>> >>> >   number={11},
>>> >>> >   pages={2441--2457},
>>> >>> >   year={2012},
>>> >>> >   publisher={Elsevier}
>>> >>> > }
>>> >>> >
>>> >>> > @article{huber2012algorithmic,
>>> >>> >   title={Algorithmic derivation of functional renormalization group
>>> >>> > equations and Dyson--Schwinger equations},
>>> >>> >   author={Huber, Markus Q and Braun, Jens},
>>> >>> >   journal={Computer Physics Communications},
>>> >>> >   volume={183},
>>> >>> >   number={6},
>>> >>> >   pages={1290--1320},
>>> >>> >   year={2012},
>>> >>> >   publisher={Elsevier}
>>> >>> > }
>>> >>> >
>>> >>> > But the advantage of SymPy is that the whole stack is opensource, 
>>> and
>>> >>> > SymPy is just a library, so it better integrates
>>> >>> > with things like IPython Notebook and you can create the whole
>>> >>> > application in it. For example, the physics.quantum
>>> >>> > module has some good stuff, that plays together much better than
>>> >>> > packages in Mathematica. Another great application is PyDy.
>>> >>> >
>>> >>> > So it would be really nice to have the project that you describe. 
>>> You
>>> >>> > should have a look at work done by Francesco Bonazzi
>>> >>> > regarding the gamma matrices:
>>> >>> >
>>> >>> > https://github.com/Upabjojr
>>> >>> > https://github.com/sympy/sympy/pull/2601
>>> >>> >
>>> >>> > He has lots of PRs, closed and open. It's nontrivial. And those are
>>> >>> > just the gamma matrices. I think Francesco's goal
>>> >>> > could be summarized by your proposal, and he's done many months 
>>> worth
>>> >>> > of work on it already. So the scope is just huge.
>>> >>> > So there is plenty of things that could be done for the summer.
>>> >>> >
>>> >>> > One of the things is for example just the Feynman diagrams 
>>> generator
>>> >>> > for various Lagrangians. I am sure there must be some
>>> >>> > packages that do that, but it'd be nice to integrate this with 
>>> SymPy
>>> >>> > and create nice IPython Notebooks that generate all the correct
>>> >>> > diagrams, for example from Peskin & Schroeder. This will be good 
>>> for
>>> >>>
>>> >>> I.e. this would involve some classes for representation of Feynman
>>> >>> diagrams,
>>> >>> that would also know how to nicely visualize themselves in the 
>>> IPython
>>> >>> Notebook,
>>> >>> and then code that generates them for various interactions.
>>> >>> And so on.
>>> >>>
>>> >>> For other ideas, I have some derivations of various things here:
>>> >>>
>>> >>> 
>>> http://theoretical-physics.net/dev/src/quantum/qft.html#standard-model
>>> >>>
>>> >>> that could be automated. For example one can reformulate the problem
>>> >>> using
>>> >>> Green's functions and so on.
>>> >>>
>>> >>> Ondrej
>>> >>>
>>> >>> > pedagogical reasons, as well as computations. In general,
>>> >>> > good applications in my opinion are providing automatic symbolic
>>> >>> > solutions to various exercises from books.
>>> >>> >
>>> >>> > Another thing is of course Regularization and Renormalization.
>>> >>> >
>>> >>> > I would suggest you to figure out something, that can be finished
>>> >>> > during a summer and that would provide something useful,
>>> >>> > on it's own. So that you can create nice examples out of it. Then 
>>> you
>>> >>> > can continue working on some other things after the summer.
>>> >>> >
>>> >>> > Ondrej
>>> >>>
>>> >>> --
>>> >>> 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 [email protected].
>>> >>> To post to this group, send email to [email protected].
>>> >>>
>>> >>> Visit this group at http://groups.google.com/group/sympy.
>>> >>> To view this discussion on the web visit
>>> >>> 
>>> https://groups.google.com/d/msgid/sympy/CADDwiVCdh9JHMZ%3DQeUMK1-xrcXhjOY4JraWcs5OmnrzsJnZRZg%40mail.gmail.com
>>> .
>>> >>> For more options, visit https://groups.google.com/d/optout.
>>> >>
>>> >>
>>> > --
>>> > 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 [email protected].
>>> > To post to this group, send email to [email protected].
>>> > Visit this group at http://groups.google.com/group/sympy.
>>> > To view this discussion on the web visit
>>> > 
>>> https://groups.google.com/d/msgid/sympy/db799754-02a6-4e35-93a3-8bee543b8882%40googlegroups.com
>>> .
>>> >
>>> > For more options, visit https://groups.google.com/d/optout.
>>>
>>> --
>>> 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 [email protected].
>>> To post to this group, send email to [email protected].
>>> Visit this group at http://groups.google.com/group/sympy.
>>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sympy/CADDwiVBrmXieY4G_KG91TriPvnm0ba5c1g5b%3D5_0srZf6Rds-Q%40mail.gmail.com
>>> .
>>> For more options, visit https://groups.google.com/d/optout.
>>>
>>
>>

-- 
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/6866ddb6-c47c-4362-b774-3db3cbbe34b9%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to