ПРИМЕНЕНИЕ СИСТЕМ КОМПЬЮТЕРНОЙ АЛГЕБРЫДЛЯ ИССЛЕДОВАНИЯ ТОЖДЕСТВ ЧАУНДИ-БУЛЛАРДА ДЛЯ ФУНКЦИИ ВЕКТОРНОГО РАЗБИЕНИЯ С ВЕСОМ : научное издание

Описание

Тип публикации: статья из журнала

Год издания: 2024

Идентификатор DOI: 10.31857/S0132347424020105

Ключевые слова: Chaundy-Bullard identitiy, Vector partition function, lattice cone, тождество Чаунди-Булларда, функция векторного разбиения, решеточный конус

Аннотация: В данной работе предложен алгоритм получения тождества Чаунди-Булларда для функции векторного разбиения с весом с использованием методов компьютерной алгебры. Для автоматизации данного процесса в среде Maple был разработан и реализован алгоритм, вычисляющий значения функции векторного разбиения с весом путем нахождения неотрицательПоказать полностьюных решений систем линейных диофантовых уравнений, на основе которых происходит составление указанных тождеств. Входными данными алгоритма является набор целочисленных векторов, образующих заостренный решеточный конус, и некоторая точка из данного конуса, выходными данными - тождество Чаунди-Булларда для функции векторного разбиения с весом. Указанный код размещен в депозитории и готов к использованию. Приведен пример, демонстрирующий работу данного алгоритма. An algorithm for obtaining the Chaundy-Bullard identity for a vector partition function with weight that uses computer algebra methods is proposed. To automate this process in Maple, an algorithm was developed and implemented that calculates the values of the vector partition function with weight by finding non-negative solutions of systems of linear Diophantine equations that are used to form the identities involved. The algorithm’s input data is represented by the set of integer vectors that form a pointed lattice cone and by some point from this cone, and the Chaundy-Bullard identity for the vector partition function with weight is its output. The code involved is stored in the depository and is ready-to-use. An example demonstrating the algorithm’s operation is given.

Ссылки на полный текст

Издание

Журнал: Программирование

Выпуск журнала: 2

Номера страниц: 79-83

ISSN журнала: 01323474

Место издания: Москва

Издатель: Московский государственный университет им. М.В. Ломоносова, Российская академия наук

Персоны

Вхождение в базы данных