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

FYI With the help of the SQL database I am using now for CAS integration tests, I was able to generate some more interesting observations. Added new statistic section called "Performance based on Rubi rules"

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

On Sat, Sep 24, 2022 at 11:35:21PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > > "As I wrote large size/timeout on such integrals is artifact of > Sage interface. You can see answer on FriCAS command line." > > But it hangs using Fricas directly. When I tried it above

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

Hello, Le dim. 25 sept. 2022 à 08:35, 'Nasser M. Abbasi' via FriCAS - computer algebra system a écrit : > > "As I wrote large size/timeout on such integrals is artifact of > Sage interface. You can see answer on FriCAS command line." > > But it hangs using Fricas directly. When I tried it above

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

"As I wrote large size/timeout on such integrals is artifact of Sage interface. You can see answer on FriCAS command line." But it hangs using Fricas directly. When I tried it above I was not using sagemath at all. = (1) -> setSimplifyDenomsFlag(true) (1) false

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

On Sat, Sep 24, 2022 at 08:46:35AM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > " BTW: I am not sure how you maintain "has_known_anti". The following > 9 have has_known_anti = 0, but belong to well-known class having > elementary integrals:" > > Hello; > > I myself do

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

" BTW: I am not sure how you maintain "has_known_anti". The following 9 have has_known_anti = 0, but belong to well-known class having elementary integrals:" Hello; I myself do not edit or modify the input files. The Rubi input files are maintained by Albert Rich. This way there is only only so

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

On Thu, Sep 22, 2022 at 04:37:21AM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote: > Fyi, > > CAS integrations tests SQL database is now fully build. > Thanks for the database. I looked at result in terms of Rubi steps and FriCAS performace is decreasing with number of R

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

Addendum: forgot adding the example works well despite the 1.2 GB size now! (ql:quickload :sqlite) (use-package :sqlite) (defvar *db* (connect "/home/kfp/Desktop/cas_integration_tests.db")) *DB* (execute-single *db* "select COUNT(*) from main where fricas_anti LIKE '%weierstrass%'") 4054

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

Hi Nasser Cool, thanks. BTW1: slipped into your last link ;) https://12000.org/my_notes/CAS_integration_tests/reports/summer_2022/DATA_BASE/index.htm BTW2: there is a sqlite interface to CL: https://cl-sqlite.common-lisp.dev/#installation, i.e. the db can be used in fricas/quicklisp as well.

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

Fyi, CAS integrations tests SQL database is now fully build. After extracting the zip file, the size of the db is 1.3 GB. Added lots of examples also. Here are few related to Fricas Find how many proble

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

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 > https://

[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