Performing integration-by-parts reductions using NeatIBP 1.1 + Kira

TL;DR

This paper presents NeatIBP 1.1, a tool for IBP reduction that integrates Kira, introduces the spanning cuts method, and features an algorithm to simplify syzygy solutions, enhancing efficiency for complex problems.

Contribution

It introduces NeatIBP 1.1 with Kira integration, spanning cuts, and syzygy simplification algorithms, advancing IBP reduction techniques.

Findings

Enhanced IBP reduction efficiency for complex problems.

Successful integration of Kira with NeatIBP for automation.

Implementation of spanning cuts reduces computational complexity.

Abstract

We introduce a new version v1.1 of NeatIBP. In this new version, a Kira interface is included. It allows the user to reduce the integration-by-parts (IBP) identity systems generated by NeatIBP using Kira in a highly automated way. This new version also implements the so-called spanning cuts method. It helps to reduce the total computational complexity of IBP reduction for certain hard problems. Another important feature of this new version is an algorithm to simplify the solution module of the syzygy equations hinted by the idea of maximal cuts.