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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/67fcab37-123d-4a23-adf2-4b7601752879n%40googlegroups.com.
