Hi, 2011/3/23 Gracjan Olbiński <[email protected]>
> Thank you for your replies. Right now I'm exploring SymPy library and > reading the Complex Analysis textbooks. As you said the logic and set theory > is implemented with quite hight level, so firstly I want to focus on > Cauchy's integral theorem and complex plain representation. As soon as I can > I will remark all of my ideas. Currently I'm adding some Analytic Function > and Complex Analysis Theory on my googlesite: > http://sites.google.com/site/fttrobin/-gsoc-sympy. > > About G-functions I have been reading just few days ago when I saw it on > ideas list and I thought that is something not so simple to learn but it is > feasible, I think. I will not conceal that the last project is looking > really hard for me and I will need lot time to introduce to it. > As you are interested in definite integration, you should give G-function approach a try, at least to understand which classes of functions you will be able to cover and which not. G-functions allow to handle definite integration of very many classes of functions by just simple manipulation of G-functions's coefficients. For example here http://functions.wolfram.com/HypergeometricFunctions/MeijerG/21/02/ you will find a complete set of definite integration rules (you should be most interested in the "Conditions" part). The problems are: how to obtain G-function representation of an expression and how to return from G-function representation after integration to a more "familiar" representation (i.e. in terms of elementary, special and hypergeometric functions, if possible). In the article that Aaron suggested you will find (more or less) working solution to the later issue. For know I don't know any systematic approach to solve the former (besides pattern matching, which isn't a very systematic approach but what is used in other systems). > Thank you. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > Mateusz -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
