On Feb 20, 2:52 pm, Burcin Erocal <[email protected]> wrote: > > On Feb 8, 10:38 pm, ObsessiveMathsFreak > > <[email protected]> wrote: > > > I have a certain integration result which Sage is currently unaware > > > of. I need a way to make sage aware of it in some fashion, via > > > substitution or anything else. > > > > For example, sage currently cannot perform the following integral > > > > sage: var(' k t') > > > sage: integrate(sqrt(1-k^2*sin(t)^2),t,0,pi/2) > > > integrate(sqrt(-k^2*sin(t)^2+1),t,0,pi/2) > > > > In fact, the integral defines the elliptice function E(k). > > > > Is there any way of substituting the unknown integral above for a > > > function like E(k) in sage? Can sage be programmed to recognise > > > such substitutions automatically? > > If you find a reliable way to detect these expressions using the > pattern matching functionality, then you can define a function similar > to sage.symbolic.integration.external.maxima_integrator and add it to > the self.integrators list defined by IndefiniteIntegral and > DefiniteIntegral in sage/symbolic/integration/integral.py.
It would be worth asking on the Maxima list whether someone is working on this. Maxima actually has a number of functions that don't seem completely integrated (no pun intended) with their integration mechanism. That would probably be better in the long run. -- 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/sage-support URL: http://www.sagemath.org
