spinney: A Form library for helicity spinors

In this work, the library spinney is presented, which provides an implementation of helicity spinors and related algorithms for the symbolical manipulation program Form. The package is well suited for symbolic amplitude calculations both in traditional, Feynman diagram based approaches and unitarity-based techniques.Program summaryProgram title: spinneyCatalogue identifier: AEJQ_v1_0Program summary URL:http://cpc.cs.qub.ac.uk/summaries/AEJQ_v1_0.htmlProgram obtainable from: CPC Program Library, Queenʼs University, Belfast, N. IrelandLicensing provisions: Standard CPC licence, http://cpc.cs.qub.ac.uk/licence/licence.htmlNo. of lines in distributed program, including test data, etc.: 21 128No. of bytes in distributed program, including test data, etc.: 377 589Distribution format: tar.gzProgramming language: FormComputer: Any supporting the Form languageOperating system: Any supporting the Form languageClassification: 4.4, 5, 11.1Nature of problem: Implementation of the spinor-helicity formalismSolution method: Form implementationRunning time:   From actual calculations of all six-point one-loop diagrams of the process gg→qq¯q′q¯′ bounds of 50 ms

► In this article we describe the computer algebra library spinney.
► The library can process expressions with helicity spinors in FORM.
► It is well suited for large scale computation in perturbative field theory.
► It can be used for calculations within and beyond the Standard Model.