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