Re: [fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

Hello Kurt; The latex for Fricas and Maxima and Giac is all generated by sagemath itself. After the call from integrate returns, the test program does anti_in_latex = latex(anti) In the sagemath/python script. Also the grading is done in the same Python script, all inside sagemath.

[fricas-devel] formatting of sums and products

Note that OutputForm is OK, display problems are in formatters. I have already found a stupid bug in my formatters. I had set a precedence to MIN instead of p. :-( Suppose we have the following: f := operator 'f; s1 := sum(f(i*j)+f(1), i=1..n1) s2 := sum(s1+f(2), j=1..n2) With my change I

Re: [fricas-devel] interpret output of the guessing package

On 24.08.2022 09:42, Ralf Hemmecke wrote: >> The reason that the innermost terms (i.e., the factors in the product > > Still there is the question, how am I supposed to take the result apart for > further computation. That should be explained somewhere. You cannot expect > your > users to

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

Hi Nasser, Another comment: I'd like to submit to you a new list of integrals, which format should I use? The idea is to select integrals from your existing lists, then "expand" them to confuse the "integration by part heuristic", for example: expand (A+B)^n, expand A/B+C/D to (AD+BC)/BD.

Re: [fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

That's great! By the way, may I ask how the latex (e.g. column fricas_anti_in_latex) is generated? By sage or fricas itself? Greetings Kurt On 24.08.2022 11:42, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI posted at https://groups.google.com/g/fricas-devel and >

Re: [fricas-devel] interpret output of the guessing package

On Wed, Aug 24, 2022 at 09:42:54AM +0200, Ralf Hemmecke wrote: > > Still there is the question, how am I supposed to take the result apart for > further computation. That should be explained somewhere. You cannot expect > your users to know how the internals of Expression(Integer) are to be >

[fricas-devel] FYI, new SQLlite interface to the Independent CAS integration tests available

FYI posted at https://groups.google.com/g/fricas-devel and https://groups.google.com/g/sci.math.symbolic

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

On Tue, Aug 23, 2022 at 11:34 PM 'Martin R' via FriCAS - computer algebra system wrote: > > Dima, could you open a ticket for this? I didn't know about > `explicit_solutions` when I wrote that code. done, see https://trac.sagemath.org/ticket/34420 Dima > > Martin > > On Tuesday, 23 August

Re: [fricas-devel] FYI, CAS independent integration tests, summer 2022 edition completed

" So, crude but useful classification could be: 1) "optimal" result is elementary 2) "optimal" result contains elliptic integrals 3) "optimal" result contains Ei, li, Ci, Si 4) "optimal" result contains erf, erfi, fresnelS, fresnelS 5) "optimal" result contains polylogs 6) "optimal" result

Re: [fricas-devel] interpret output of the guessing package

I do not know how to take the result apart for further computations. What you can do is "eval(result, n=17)". Also, there is "getEq$RECOP" which gives you the equation of a recurrence. The result is obtained by taking quotients and differences and then applying interpolation to the resulting

Re: [fricas-devel] interpret output of the guessing package

The reason that the innermost terms (i.e., the factors in the product indexed by p_5 in your output) are given as a recurrence rather than the seemingly equivalent function f(p_5) = 1 is that they are in fact not equivalent. Yes, I understand this recurrence aspect. The recurrence (p - 1)