Abstract

The goal of the present short letter is to prove, through a specific example (i.e., the class of Ricci-flat, Petrov type D geometries), that the original Newman-Penrose (NP) formalism, seen as an exterior differential system (EDS), suffices to provide the needed syzygies and integrals of the EDS under consideration—without (in principle) the aid of a computer algebra system (CAS).

中文翻译：

---

在纽曼-彭罗斯形式主义中寻找积分和身份：评论

摘要

本短信的目的是通过一个特定示例（例如Ricci-flat，Petrov D类几何）证明原始的Newman-Penrose（NP）形式主义被视为外部微分系统（EDS） ），就足以提供所考虑的EDS所需的合音和积分-无需（原则上）借助计算机代数系统（CAS）。