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

Hi Nasser, private mail now, since I do not want to spam the list with that issue. Interestingly, I do not see that message at google as a pending one. Strange. Maybe it will appear later. Oh arrr... what did google do? That looks like the same problem that caused Waldek from being e

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

Hello Ralf; I think I tried that once and nothing happened. It will be easier if I can just use normal email. I just tried it now also. Here is the email I send = >From - Wed, 28 Sep 2022 11:02:58 GMT X-Mozilla-Status: 0001 X-Mozilla-Status2: 0080 Message-ID: Date: Wed

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

Thank you Nasser for the update. On 28.09.22 12:36, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: I post this here via google web interface. I have to login to google to do this each time and the message seems to lose its formatting for some reason. Can you try to write a test m

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

FYI; The first update to summer 2022 edition of CAS integration test is now complete. Number of integrals remain the same at 85,479. This update was needed for the following: =

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

FYI; A small update is made for the summer 2022 edition for CAS integration tests that only affects only Fricas, Maxima and Giac to verify some result related to timeouts. This below is the result for Fricas as it just finished. The others are still running. The following are the 9 integrals

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

" Another simple thing to do would be to stratify Rubi testsuite by number of Rubi steps needed to do integral. So, layer 1 would be integrals for which Rubi needs 1 step, layer 2 ones needing 2 steps, etc. Note that Rubi testsute gives number of Rubi step, so this should be relatively easy to do.

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

Hello Qian, Sure. Your file will be file #211 in that case. The format is easy. One line per integral. Each line should have 3 fields separated by a comma. The first is the integrand, the second is the variable of integration, and the third is what you think/decide the optimal antiderivative i

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. (It

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 2022

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 contain

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

Dima, could you open a ticket for this? I didn't know about `explicit_solutions` when I wrote that code. Martin On Tuesday, 23 August 2022 at 17:07:37 UTC+2 Dima Pasechnik wrote: > Behind the scene, Sage uses pynac (a clone of ginac) for its handling of > symbolics. Implicit roots are support

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

On Mon, Aug 22, 2022 at 05:54:28AM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > "3. Can we have a report on "elementary integral", "algebraic integral", > "transcendental integral", "special function integral"?" > > There is section in the introduction called "Perfor

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

Behind the scene, Sage uses pynac (a clone of ginac) for its handling of symbolics. Implicit roots are supported. Docs say: "By default, all the roots are required to be explicit rather than implicit. To get implicit roots, pass explicit_solutions=False to .roots() -- I am not sure

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

On Tue, Aug 23, 2022 at 05:55:29AM -0700, 'Martin R' via FriCAS - computer algebra system wrote: > If I understand correctly, FriCAS' result of integrate(1/(b*x^5+a), x) > contains some algebraic numbers with placeholders like %%G0. To convert > the result into a sage expression, these are subs

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

If I understand correctly, FriCAS' result of integrate(1/(b*x^5+a), x) contains some algebraic numbers with placeholders like %%G0. To convert the result into a sage expression, these are substituted back. Unfortunately, these expressions may be extremely large, and this effect multiplies whe

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

I admit that I would prefer testing FriCAS without Sage in the loop. Nasser, I guess, it is easier for you to provide the input through Sage to ensure that you test the same integral on different systems. Now the question is whether FriCAS already receives "bigger" input (maybe renaming of v

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

On Mon, Aug 22, 2022 at 06:56:10PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > You are right. This problem only shows up when using sagemath to call > Fricas. > > So what should I do? > > Since I use sagemath and not Fricas directly, would like me to re-run all > F

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

On Mon, Aug 22, 2022 at 01:36:00PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > " BTW: looking earlier I noticed some discrepancies between pages, > summary claimed that result is big, specific page claimed timeout." > > Can you please give specific link(s) to these

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

You are right. This problem only shows up when using sagemath to call Fricas. So what should I do? Since I use sagemath and not Fricas directly, would like me to re-run all Fricas tests in sagemath with setSimplifyDenomsFlag as false (default) or should I keep this flage as true but report th

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

On Mon, Aug 22, 2022 at 01:25:32PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > Hello Waldek; > > Yes, I saw these very large results. > > Did you try with the setSimplifyDenomsFlag true? > > I just did, on sagemath, and I see the size of the Fricas anti derivatives

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

" BTW: looking earlier I noticed some discrepancies between pages, summary claimed that result is big, specific page claimed timeout." Can you please give specific link(s) to these pages so I can look and see what is the issue? Thanks --Nasser On Monday, August 22, 2022 at 11:12:27 AM UTC-5 Wa

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

Hello Waldek; Yes, I saw these very large results. Did you try with the setSimplifyDenomsFlag true? I just did, on sagemath, and I see the size of the Fricas anti derivatives becomes much much larger due to this. Please see the following folder https://12000.org/tmp/Fricas_size_diff/ I put

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

On Sat, Aug 20, 2022 at 11:15:25PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI, > > (Posted at https://groups.google.com/g/fricas-devel and > https://groups.google.com/g/sci.math.symbolic) > > Independent CAS integration tests summer 2022 edition is now complete

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

"So Nasser, if it is not too much trouble for you, can you run the FriCAS tests with and without "setSimplifyDenomsFlag true"? I'm interested in the numbers. " I've done this before in 2018. Please see https://www.mail-archive.com/fricas-devel@googlegroups.com/msg12255.html I remember that ov

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

Hi Nasser, Some follow up comments on this. About "setSimplifyDenomsFlag true", it can make some integrals faster, but it can also make many integrals slower (to timeout). I'm not sure if this flag makes FriCAS be able to solve more or less. (@Waldek, can we hear your opinion?) So Nasser, if i

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

Thanks Qian for finding this. I just found the problem and just fixed it. It is related to running these tests in spawned process using Python's multiprocessing. I have to run all these integration tests in a spawned process to be able to set a timeout of 3 minutes. Will rerun all the tests f

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

Hi Nasser, Here is another 2 (minor) problems in your regression report: https://12000.org/my_notes/CAS_integration_tests/reports/summer_2022/REGRESSION_REPORTS/fricas/reportsection7.htm#x8-190007 integrate((e*x)^m*(a+b*log(c*log(d*x)^p)),x) This returns quickly in fricas-1.3.8, it does not ti

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

Hi Nasser Nice work! Thanks and best regards Kurt p.s. I'm quite surprised by the Sympy performance. Not bad (IMO) for a pure Python system :) On 21.08.2022 08:15, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > FYI, > > (Posted at https://groups.google.com/g/fricas-devel and

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

Thanks Qian for spotting this. This seems to have affected only this file (#149) and only the part that detects integrals that are solved but have no known anti-derivatives. I still need to find out what caused the program to list these integrals as ones with no known antiderivatives. But f

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

Hi Nasser, What is the meaning of "Listing of integrals solved by CAS which has no known antiderivatives"? The integrals listed here has known antiderivatives: https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2022/indexsection6.htm Which can be cross verified by: https://www.

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

FYI, (Posted at https://groups.google.com/g/fricas-devel and https://groups.google.com/g/sci.math.symbolic) Independent CAS integration tests summer 2022 edition is now complete. (It took about 5 months since I initially started working on it!)