Analysis

analysis.analysis_primitives.algorithms_comparison(folder_results_primitive: str, variable_parameter: str, timing_analysed: str)

Compare the computation of the algorithms to compute either the Gröbner basis or the term order change algorithm for random ideals and primitives

Parameters:

• folder_results_primitive (str) – Folder containing the results file of the primitive benchmark

• variable_parameter (str) – The parameter we want to see the influence

• timing_analysed (str) – The part of the computation analysed (“groebner_time” or “transformation_basis_time”)

analysis.analysis_primitives.compare_solving_methods(folder_results_primitive: str, variable_parameter: str)

Display the evolution of the time to compute a Gröbner basis for the elimination order, the first order and the term order change + the first order depending on a parameter. It is done for the primitive and the random ideal (dotted line)

Parameters:

• folder_results_primitive (str) – Folder containing the results file of the primitive benchmark

• variable_parameter (str) – The parameter we want to see the influence

analysis.analysis_primitives.stop(event)

Close all the plots and stop their generation

Parameters:

event – Event to trigger the stop

analysis.compare_primitives_random.algorithms_comparison(folder_results_primitive: str, folder_results_random: str, variable_parameter: str, timing_analysed: str)

Compare the computation of the algorithms to compute either the Gröbner basis or the term order change algorithm for random ideals and primitives

Parameters:

• folder_results_primitive (str) – Folder containing the results file of the primitive benchmark

• folder_results_random (str) – Folder containing the results of the comparison with random ideals

• variable_parameter (str) – The parameter we want to see the influence

• timing_analysed (str) – The part of the computation analysed (“groebner_time” or “transformation_basis_time”)

analysis.compare_primitives_random.compare_solving_methods(folder_results_primitive: str, folder_results_random: str, variable_parameter: str)

Display the evolution of the time to compute a Gröbner basis for the elimination order, the first order and the term order change + the first order depending on a parameter. It is done for the primitive and the random ideal (dotted line)

Parameters:

• folder_results_primitive (str) – Folder containing the results file of the primitive benchmark

• folder_results_random (str) – Folder containing the results of the comparison with random ideals

• variable_parameter (str) – The parameter we want to see the influence