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
(execute-single *db* "select COUNT(*) from main where fricas_anti LIKE
'%fresnel_sin%'
OR'%fresnel_cos%'")
395
(execute-to-list *db* "select fricas_anti from main limit 10")
(("1/3*(2*x + 1)^(3/2)") ("2/135*(27*x^2 + 3*x - 2)*sqrt(3*x + 1)")
("2/105*(15*x^3 + 3*x^2 - 4*x + 8)*sqrt(x + 1)")
("-2/27*(3*x + 4)*sqrt(-3*x + 2)") ("-1/4/(x^4 + 4*x^3 + 8*x^2 + 8*x + 4)")
("1/3*cos(x)^3 - cos(x)") ("3/28*(4*z^2 - z - 3)*(z - 1)^(1/3)")
("1/2/(cos(x)^2 - 1)") ("1/3*(sin(2*x) - 4)*sqrt(-sin(2*x) + 4)")
("1/(cos(x) + 3)"))
*
On 22.09.2022 13:37, 'Nasser M. Abbasi' via FriCAS - computer algebra system
wrote:
Fyi,
CAS integrations tests SQL database is now fully build.
<http://localhost/my_notes/CAS_integration_tests/reports/summer_2022/DATA_BASE/index.htm>
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 problem Fricas uses Weierstrass special functions in its
solution
sqlite>select COUNT(*) from main where fricas_anti LIKE '%weierstrass%';
4066
sqlite> select COUNT(*) from main where fricas_anti LIKE '%fresnel_sin%'
OR'%fresnel_cos%';
395
Find how many problems Fricas solved
sqlite> SELECT COUNT(*) from main where fricas_pass=1;
64582
Total number of intergrals
sqlite> select COUNT(*) from main;
85479
--Nasser
On Wednesday, August 24, 2022 at 10:47:24 AM UTC-5 Nasser M. Abbasi wrote:
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.
--Nasser
On Wednesday, August 24, 2022 at 7:54:39 AM UTC-5 Kurt Pagani wrote:
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://groups.google.com/g/sci.math.symbolic
<
https://12000.org/my_notes/CAS_integration_tests/reports/summer_2022/DATA_BASE/index.htm>
<
https://12000.org/my_notes/CAS_integration_tests/reports/summer_2022/DATA_BASE/index.htm
To make it easier to query the Independent CAS integration tests
results,
there is now an SQLite database which contains all relevant results
generated during testing. This is meant to complement the reports
and the webpages and not replace them.
The database and the reports were all generated from the same CSV tables
after running the integration tests. But using the SQL database it
is much easier to obtain the information needed by issuing SQL commands.
To use the database requires the free sqlite3 software. There is
also a free GUI interface.
There is an initial release of the database now with information how to
install it and the software needed use it at the above link.
The database is not fully populated yet, but can be used immediately.
It will take about another 1-2 weeks. The above page will indicate
when the database is completed.
Examples are given on the above page how to use it.
Any problems/bugs please let me know.
--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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/1fb46b37-ec72-3f7b-f7f8-e2fda9fc42a5%40gmail.com.
