Regina (programa)

Regina es un conjunto de software matemático para topólogos de 3 variedades . Se centra en el estudio de triangulaciones de 3 variedades e incluye soporte para superficies normales y estructuras angulares. ^[1]

Características

Regina implementa una variante del algoritmo de reconocimiento de 3 esferas de Rubinstein . Este es un algoritmo que determina si una variedad triangulada de 3 es homeomorfa a la de 3 esferas .
Regina implementa además la descomposición de suma conectada . Esto descompondrá una variedad 3 triangulada en una suma conectada de 3 variedades principales trianguladas .
"Homología y dualidad de Poincaré para 3 variedades, incluida la forma de enlace de torsión ".
Incluye partes del núcleo SnapPea para algunos cálculos geométricos.
Tiene una interfaz GUI y Python .