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 ]}

• Regina implementa una variante del algoritmo de reconocimiento de 3-esferas de Rubinstein . Este algoritmo determina si una 3-variedad triangulada es o no homeomorfa a la 3-esfera .
• Regina implementa además la descomposición de suma de conexiones . Esto descompondrá una 3-variedad triangulada en una suma de conexiones de 3-variedades primas trianguladas .
• Homología y dualidad de Poincaré para 3-variedades, incluyendo la forma de enlace de torsión .
• Incluye partes del núcleo SnapPea para algunos cálculos geométricos.
• Dispone de interfaz gráfica de usuario (GUI) e interfaz Python .

• Topología computacional