On Mon, Mar 17, 2014 at 8:37 AM, Sushant Hiray <hiraysush...@gmail.com> wrote: > Hi, > >> >> Arb is really awesome! I definitely recommend it for validated numerics to >> anyone. I used it for a few small things and it plays very well with flint >> too. > > > Thanks, we should definitely look into this further. > Considering that even in the thread of Thilina's proposal, it is being > recommended to use dependencies > in and around flint. > > Also after discussing with Ondrej, I've decided to shift the focus of my > proposal from > implementing just fast numeric methods to symbolically implementing some > special functions > and then using the fast numeric methods in their evaluation. > > So i have updated my proposal accordingly. > I would like to get your views regarding the current proposal. > Also a more concrete advice on the scope of the project, if it is way too > pessimistic/optimistic > would be highly appreciated.
Looks much better. As to complex numbers, see also: https://github.com/certik/csympy/issues/47 as to trig functions, the simplification of things like sin(3*pi/2) is nontrivial since you have to code this for all of the functions. There is a way to code this up once for a general trig function and then all other functions work automatically, see the "trig" branch here: https://github.com/certik/sympy/blob/trig/t.py See the tests at the end for things that must work. I think that's the easiest implementation of trig functions and it should be pretty fast too. You should also put there a schedule of what things you want to get done each week. 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. 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/CADDwiVBE%2B2P6F7z5%2Be4qchn20oCp1m36MHQhQPudZQ%2BpKauTDg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.