Разработка системы для оценки производительности алгоритмов компьютерной алгебры при нахождении базисов Грёбнера

В данной работе представлена разработка специализированной системы для оценки производительности алгоритмов компьютерной алгебры при нахождении базисов Грёбнера. Для проверки функциональности и оценки производительности усовершенствованной версии GInv 2.0 разработан специальный инструмент автоматизированного тестирования. Данный инструмент позволяет загружать тестовые наборы данных в формате JSON, вычислять базисы Грёбнера с использованием различных алгоритмов и визуализировать результаты тестирования. Подробно описываются модули импорта данных, вычисления базисов и вывода результатов тестирования. Проведено тестирование GInv 2.0 на наборе из систем уравнений различной сложности. Представлены результаты тестирования, включая временные характеристики вычислений для каждого теста.

This work presents the development of a specialized system for evaluating the performance of computer algebra algorithms in finding Gröbner bases. To verify the functionality and evaluate the performance of the improved GInv 2.0 version, a special automated testing tool has been developed. This tool allows loading test data sets in JSON format, calculating Gröbner bases using various algorithms, and visualizing test results. The modules for data import, basis calculation, and test result output are described in detail. GInv 2.0 was tested on a set of systems of equations of varying complexity. The test results are presented, including time characteristics of calculations for each test.