Spinors: A Mathematica package for doing spinor calculus in General Relativity

Abstract The Spinors software is a Mathematica package which implements 2-component spinor calculus as devised by Penrose for General Relativity in dimension 3+1. The Spinors software is part of the xAct system, which is a collection of Mathematica packages to do tensor analysis by computer. In this paper we give a thorough description of Spinors and present practical examples of use. Title of program: Spinors Catalogue Id: AEMQ_v1_0 Nature of problem Manipulation and simplification of spinor expressions in General Relativity. Versions of this program held in the CPC repository in Mendeley Data AEMQ_v1_0; Spinors; 10.1016/j.cpc.2012.04.024 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018)摘要 Spinors软件是一款Mathematica软件包，实现了彭罗斯（Penrose）为3+1维广义相对论（General Relativity）所提出的二分量旋量（spinor）演算。该软件隶属于xAct系统——一套用于计算机辅助张量分析的Mathematica软件包集合。本文对Spinors软件进行了全面详尽的阐述，并给出了实用的使用示例。 程序名称：Spinors 目录编号：AEMQ_v1_0 问题本质 广义相对论中旋量表达式的操作与化简。 门德利数据（Mendeley Data）中的CPC程序库收录的本程序版本： AEMQ_v1_0; Spinors; 10.1016/j.cpc.2012.04.024 本程序源自贝尔法斯特女王大学所持有的CPC程序库（1969-2018）