Chapter 1
Introduction

1.1 How to download the database and use it
1.2 Description of the schema
1.3 Screen shots using the database via DB Browser for SQLite

1.1 How to download the database and use it

This is a short introduction on how to download and use the new CAS integration tests SQLite database. The database is an sqlite file.

  1. Download cas_integration_tests.zip and extract it. The file inside is called cas_integration_tests.db which is a large file (1.3 GB) and is the database file.
  2. Install sqlite3 if not already installed on your computer. The web page is sqlite3 database software. This is open source free software which is available to Linux, Mac and Windows. Most linux installation managers can also install this directly.
  3. It is recommended to also install DB Browser for SQLite which is a GUI interface to the database that allows one to easily query and view the database.
  4. Once sqlite3 is installed then the following command is used to access the database itself

    sqlite3  cas_integration_tests.db 
    >sqlite
     
    
  5. Once inside the database. SQL queries are used to find any information needed about the test results. There are many places on the web that show how to use SQL commands.

1.2 Description of the schema

There is only one table called main with currently 72 columns. The following is the result of issuing the command sqlite> PRAGMA table_info(main);. There are 88 columns in one table.

sqlite> PRAGMA table_info(main); 
0|key|INTEGER|0||1 
1|global_integral_number|INTEGER|0||0 
2|command_in_mma|TEXT|0||0 
3|command_in_rubi|TEXT|0||0 
4|command_in_maple|TEXT|0||0 
5|command_in_fricas|TEXT|0||0 
6|command_in_maxima|TEXT|0||0 
7|command_in_giac|TEXT|0||0 
8|command_in_sympy|TEXT|0||0 
9|command_in_mupad|TEXT|0||0 
10|optimal_in_mma|TEXT|0||0 
11|optimal_in_maple|TEXT|0||0 
12|optimal_leafsize|INTEGER|0||0 
13|optimal_anti_in_latex|TEXT|0||0 
14|integral_in_latex|TEXT|0||0 
15|has_known_anti|INTEGER|0||0 
16|input_file_name|TEXT|0||0 
17|output_folder|TEXT|0||0 
18|input_file_number|INTEGER|0||0 
19|integral_number_in_file|INTEGER|0||0 
20|rubi_number_of_steps|INTEGER|0||0 
21|integrand_size|INTEGER|0||0 
22|rubi_pass|INTEGER|0||0 
23|rubi_leafsize|INTEGER|0||0 
24|rubi_time|TEXT|0||0 
25|rubi_anti|TEXT|0||0 
26|rubi_anti_in_latex|TEXT|0||0 
27|rubi_grade|TEXT|0||0 
28|rubi_grade_info|TEXT|0||0 
29|rubi_number_of_rules|INTEGER|0||0 
30|rubi_ratio|TEXT|0||0 
31|rubi_rules_used|TEXT|0||0 
32|rubi_verified|INTEGER|0||0 
33|mma_pass|INTEGER|0||0 
34|mma_leafsize|INTEGER|0||0 
35|mma_time|TEXT|0||0 
36|mma_anti|TEXT|0||0 
37|mma_anti_in_latex|TEXT|0||0 
38|mma_grade|TEXT|0||0 
39|mma_grade_info|TEXT|0||0 
40|mma_verified|INTEGER|0||0 
41|maple_pass|INTEGER|0||0 
42|maple_leafsize|INTEGER|0||0 
43|maple_time|TEXT|0||0 
44|maple_anti|TEXT|0||0 
45|maple_anti_in_latex|TEXT|0||0 
46|maple_grade|TEXT|0||0 
47|maple_grade_info|TEXT|0||0 
48|maple_verified|INTEGER|0||0 
49|fricas_pass|INTEGER|0||0 
50|fricas_leafsize|INTEGER|0||0 
51|fricas_time|TEXT|0||0 
52|fricas_anti|TEXT|0||0 
53|fricas_anti_in_latex|TEXT|0||0 
54|fricas_grade|TEXT|0||0 
55|fricas_grade_info|TEXT|0||0 
56|fricas_verified|INTEGER|0||0 
57|maxima_pass|INTEGER|0||0 
58|maxima_leafsize|INTEGER|0||0 
59|maxima_time|TEXT|0||0 
60|maxima_anti|TEXT|0||0 
61|maxima_anti_in_latex|TEXT|0||0 
62|maxima_grade|TEXT|0||0 
63|maxima_grade_info|TEXT|0||0 
64|maxima_verified|INTEGER|0||0 
65|giac_pass|INTEGER|0||0 
66|giac_leafsize|INTEGER|0||0 
67|giac_time|TEXT|0||0 
68|giac_anti|TEXT|0||0 
69|giac_anti_in_latex|TEXT|0||0 
70|giac_grade|TEXT|0||0 
71|giac_grade_info|TEXT|0||0 
72|giac_verified|INTEGER|0||0 
73|mupad_pass|INTEGER|0||0 
74|mupad_leafsize|INTEGER|0||0 
75|mupad_time|TEXT|0||0 
76|mupad_anti|TEXT|0||0 
77|mupad_anti_in_latex|TEXT|0||0 
78|mupad_grade|TEXT|0||0 
79|mupad_grade_info|TEXT|0||0 
80|mupad_verified|INTEGER|0||0 
81|sympy_pass|INTEGER|0||0 
82|sympy_leafsize|INTEGER|0||0 
83|sympy_time|TEXT|0||0 
84|sympy_anti|TEXT|0||0 
85|sympy_anti_in_latex|TEXT|0||0 
86|sympy_grade|TEXT|0||0 
87|sympy_verified|INTEGER|0||0 
88|sympy_grade_info|TEXT|0||0 
sqlite>
                                                                                    
                                                                                    
 

1.3 Screen shots using the database via DB Browser for SQLite