On 1/9/21 8:24 PM, Ralf Hemmecke wrote: > But what is the meaning of > > log(- e x + 1) log(- e x + 1) > %iint(e,x,- --------------,- --------------) > e x > > ? It would be good to know (and best specified in the code) even if it > is not intended to be visible to an enduser. > > Ralf >
Hi Ralf, Let the value of %iint(v1,v2,...,vn,f1,f2,...,fn) be f, then we have D(f,v1)=f1 D(f,v2)=f2 ... D(f,vn)=fn This can be seen from 'dviint' from liouv.spad. If you trace 'postSubst' in 'integrat.spad', you can find that these '%iint' are nested and can be solved recursively. I already have some code to solve integrate(polylog(3,x),x) and integrate(x^2*(a+b*log(c*x^n))*polylog(3,e*x),x) But missing other corner cases which I don't know if we'll encounter later. I'll post my code when I polish it more. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/c9fa9059-7d67-d8e0-abbb-571d9f73e12e%40gmail.com.
