Hello. I use sagemath to call fricas integrate as part of build the 
independent CAS integration tests.

I am not running the tests using sagemath 9.2 against Fricas 1.3.6

There are antiderivatives generated by Fricas which uses %iint.

This cause a problem when converted to Latex for the report.

Here is a bug report on this against sagemath 

https://ask.sagemath.org/question/48409/possible-invalid-latex-translation-from-fricas-result/

https://trac.sagemath.org/ticket/28630  

But not fixed yet and do not know when it will be fixed.

Is it possible that fricas not use %iint as that causes problem converting 
to Latex. 

Here is an example

sage: x,a,b,n=var('x a b n')
sage: integrate(x^2*(a+b*log(c*x^n))*polylog(3,e*x),x, algorithm="fricas")
-1/972*(4*(4*b*n - 3*a)*x^3*e^3 + 9*(3*b*n - 2*a)*x^2*e^2 + 36*(2*b*n - 
a)*x*e + 36*(3*b*n*x^3*e^3*log(x) + 3*b*x^3*e^3*log(c) - (2*b*n - 
3*a)*x^3*e^3 - b*n)*%iint(x, -log(-x*e + 1)/x) - 36*((b*n - a)*x^3*e^3 - 
b*n + a)*log(-x*e + 1) - 6*(2*b*x^3*e^3 + 3*b*x^2*e^2 + 6*b*x*e - 
6*(b*x^3*e^3 - b)*log(-x*e + 1))*log(c) - 6*(2*b*n*x^3*e^3 + 3*b*n*x^2*e^2 
+ 6*b*n*x*e - 6*(b*n*x^3*e^3 - b*n)*log(-x*e + 1))*log(x) - 
108*(3*b*n*x^3*e^3*log(x) + 3*b*x^3*e^3*log(c) - (b*n - 
3*a)*x^3*e^3)*polylog(3, x*e))*e^(-3)

After converting to Latex it gives (using sagemath latex command)

-\frac{4 \, {\left(4 \, b e^{3} n - 3 \, a e^{3}\right)} x^{3} + 9 \, 
{\left(3 \, b e^{2} n - 2 \, a e^{2}\right)} x^{2} + 36 \, {\left(2 \, b e 
n - a e\right)} x + 36 \, {\left(3 \, b e^{3} n x^{3} \log\left(x\right) + 
3 \, b e^{3} x^{3} \log\left(c\right) - {\left(2 \, b e^{3} n - 3 \, a 
e^{3}\right)} x^{3} - b n\right)} {\rm %iint}\left(e, x, 
-\frac{\log\left(-e x + 1\right)}{e}, -\frac{\log\left(-e x + 
1\right)}{x}\right) - 36 \, {\left({\left(b e^{3} n - a e^{3}\right)} x^{3} 
- b n + a\right)} \log\left(-e x + 1\right) - 6 \, {\left(2 \, b e^{3} 
x^{3} + 3 \, b e^{2} x^{2} + 6 \, b e x - 6 \, {\left(b e^{3} x^{3} - 
b\right)} \log\left(-e x + 1\right)\right)} \log\left(c\right) - 6 \, 
{\left(2 \, b e^{3} n x^{3} + 3 \, b e^{2} n x^{2} + 6 \, b e n x - 6 \, 
{\left(b e^{3} n x^{3} - b n\right)} \log\left(-e x + 1\right)\right)} 
\log\left(x\right) - 108 \, {\left(3 \, b e^{3} n x^{3} \log\left(x\right) 
+ 3 \, b e^{3} x^{3} \log\left(c\right) - {\left(b e^{3} n - 3 \, a 
e^{3}\right)} x^{3}\right)} {\rm polylog}\left(3, e x\right)}{972 \, e^{3}}

And the above do not compile due to %iint, as % is treated as comment and 
all the latex after that is lost giving latex error.

Is there a way for FriCAS not to use %  in the output it generates?  Each 
time I have to edit the latex by hand and add \% everywhere they show

May be this is not possible, But I thought to just ask.

Thanks
--Nasser





-- 
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/dfc6abc6-df65-42c4-9509-141e3a781dcen%40googlegroups.com.

Reply via email to