Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Aug 20 2016 17:55

    shubhamtibra on fixing_bugs

    added uses in integration and l… (compare)

  • Aug 20 2016 17:52

    shubhamtibra on fixing_bugs

    added uses in integration and l… (compare)

  • Aug 15 2016 14:48

    shubhamtibra on fixing_bugs

    trying to fix build errors (compare)

  • Aug 14 2016 16:14

    shubhamtibra on fixing_bugs

    made changes as per the suggest… uncomment statements in examples (compare)

  • Aug 14 2016 08:40

    shubhamtibra on fixing_bugs

    changed to documentation to sup… (compare)

  • Aug 14 2016 07:03

    shubhamtibra on fixing_bugs

    added docs for integration and … add autofunction in docs (compare)

  • Aug 13 2016 13:28

    shubhamtibra on fixing_bugs

    better explanation of holonomic… (compare)

  • Aug 13 2016 13:25

    shubhamtibra on fixing_bugs

    better explanation of holonomic… (compare)

  • Aug 13 2016 13:03

    shubhamtibra on fixing_bugs

    better explanation of holonomic… (compare)

  • Aug 13 2016 10:32

    shubhamtibra on fixing_bugs

    changed the structure of docume… (compare)

  • Aug 13 2016 10:17

    shubhamtibra on fixing_bugs

    changed the structure of docume… (compare)

  • Aug 12 2016 17:06

    shubhamtibra on fixing_bugs

    added a very basic sphinx docum… added things in documentation (compare)

  • Aug 12 2016 09:28

    shubhamtibra on test_doc

    added a very basic sphinx docum… (compare)

  • Aug 10 2016 12:42

    shubhamtibra on fixing_bugs

    Added tests for KanesMethod.rhs… Changed KanesMethod.rhs() such … Merge pull request #1 from krit… and 100 more (compare)

  • Aug 09 2016 08:06

    shubhamtibra on fixing_bugs

    Fix #11490 and Fix #11491 (compare)

  • Aug 08 2016 14:04

    shubhamtibra on fixing_bugs

    fixed a bug in computing initia… (compare)

  • Aug 06 2016 16:03

    shubhamtibra on fixing_bugs

    change printing of holonomic fu… (compare)

  • Aug 04 2016 06:02

    shubhamtibra on singular_ics

    change a to int(a) (compare)

  • Aug 03 2016 09:25

    shubhamtibra on singular_ics

    fixed a bug and added tests computing singular initial cond… (compare)

  • Aug 01 2016 12:17

    shubhamtibra on singular_ics

    fixed a bug in unify and added … (compare)

Subham Tibra
@shubhamtibra
I will make the changes then. :)
Subham Tibra
@shubhamtibra
Hi! Is there a way to find convergence conditions using Holonomic Functions like MeijerG Integrator? May be our method for converting to MeijerG could help?
Kalevi Suominen
@jksuom
Hi. I only now noticed your question. If you want convergence conditions for power series, the rule is that the radius of convergence is equal to the distance to the closest singular point other than the center point of the series. The convergence conditions of G-functions are different type since they are defined by contour integrals.
Subham Tibra
@shubhamtibra
I think the convergence conditions can be added to the result of to_expr().
Since we are only using the hypergeometric series at present while converting to expressions we can use its convergence conditions which is just a special case of a general power series?
We would also need to do analytic continuation in the case p = q + 1.
Kalevi Suominen
@jksuom
The radius of convergence of hypergeometric series is easy to find.
Kalevi Suominen
@jksuom
I assume that p and q in the above condition are the parameters of hyper which differ from those of G-functions where the condition would be p == q. In that case there are Slater expansions at both zero and infinity. They are analytic continuations of each other. The equation has a third singular point at 1 (or -1 for the plus sign case). That singularity restricts the convergence of the power series of both x and 1/x.
Subham Tibra
@shubhamtibra
Yes, p and q are parameters of hyper.
Kalevi Suominen
@jksuom
The Slater expansions are combinations of several hypergeometric series, in general. The analytic continuation of even a single series will lead to such a combination.
Subham Tibra
@shubhamtibra
However Slater expansion involves a Meijer G-function right? Is it possible to continue a hyper also using Slater expansion?
I meant analytic continue.
Kalevi Suominen
@jksuom
I did mean that G-functions, whose domain is not restricted to a disk, can be used to connect pieces of analytic functions defined by series in different parts of the complex plane. Otherwise it is hard to find a practical method for analytic continuation.
But the domain of some G-functions is also restricted. That happens in particular in case p == q. But even in this case, it should be possible to connect power series in x with those in 1/x by means of G-functions. They are all solutions of the same holonomic equation.
Kalevi Suominen
@jksuom
I was reviewing your PR on the automatic finding of coefficients. I think this line could be simplified if singular initial conditions were automatically used when the equation has a singular point. That way it should not be necessary to give lenics.
Subham Tibra
@shubhamtibra
Yes there is no need to give lenics. I will change it.
I found out that I already removed the lenics in the newer PR here.
Ondřej Čertík
@certik
@shubhamtibra, @jksuom do you think the holonomic module is something that we can even write an article about? E.g. something like this: http://dl.acm.org/citation.cfm?id=178368
I know Paul Zimmermann, he is a great guy.
The best is to look at citations for that article: https://scholar.google.com/scholar?cites=3950823902062684271&scisbd=1
See e.g. this recent article about a similar implementation in Sage: http://arxiv.org/abs/1607.01967
Ondřej Čertík
@certik
Anyway, let me know what you think. @shubhamtibra, if you are interested in publishing this, let me know. I think it would be a nice article.
Aaron Meurer
@asmeurer
If you decide to publish, it would be nice to have it in a released version of SymPy, so any help with a release would be appreciated :wink:
(In particular, if you want to help, we need to update the change log https://github.com/sympy/sympy/wiki/Release-Notes-for-1.1)
Ondřej Čertík
@certik
@asmeurer yeah, we should help. Thanks for the reminder.
Kalevi Suominen
@jksuom
Perhaps it would be practical to start by writing some Sphinx documentation.
Aaron Meurer
@asmeurer
yes
I sent a message to the list yesterday. All GSoC students should spend the last week writing documentation, and getting their PRs merged.
(That's this week)
Subham Tibra
@shubhamtibra

I think it'd be fun to write an article for the module. However I think may be we should wait a little to get the module more mature and then we can have a better article. I mean after overcoming some limitations (in integration, converting to MeijerG and to expressions) we have now. After we successfully integrate large types of functions using Holonomic Functions, we would be able to add it in the paper too. What are your thoughts about it?

I am also starting to work on Sphinx documentation.

Kalevi Suominen
@jksuom
I also thought that it would be a little premature to publish a report before some time has been spent with gathering more experience.
Ondřej Čertík
@certik
@shubhamtibra, yes, agreed. We should try to use it, and polish it more before publishing.