Family Audit
The content on this page was written by AI under human supervision.
Family Audit is now part of Seedling, the package that prepares an integral family for integration-by-parts reduction with Kira. Its two checks live there as the subcommands seedling audit and seedling identity. The first finds the discrete symmetries of a family's propagator list (external-leg exchanges, sign flips of all momenta, integer changes of loop momenta, and their combinations) and writes the extra relations Kira needs to drop redundant master integrals. The second checks that your definition of a family, in your own momentum conventions, describes the same family as a paper's published propagator list, and names the mismatched term when it does not. See the Seedling page for examples, options and the full list of routines.