Resumen: Given a finitely presented graded commutative differential algebra (GCDA), we present a method to compute its minimal model up to a specified degree, together with a map that is a quasi-isomorphism up to the given degree. The method works by adding generators one by one. It terminates if and only if the minimal model is finitely generated up to the given degree. A specific implementation of the method is given. The method allows us to develop and implement two criteria for i-formality, one necessary and one sufficient. These criteria can be checked effectively, and have been able to determine the i-formality for every example that we have tested. Idioma: Inglés DOI: 10.2140/jsag.2020.10.25 Año: 2020 Publicado en: The journal of software for algebra and geometry 10, 1 (2020), 25-39 ISSN: 1948-7916 Financiación: info:eu-repo/grantAgreement/ES/DGA/E22-17R Financiación: info:eu-repo/grantAgreement/ES/DGA/S119 Financiación: info:eu-repo/grantAgreement/ES/MINECO/MTM2017-85649-P Tipo y forma: Article (Published version) Área (Departamento): Área Geometría y Topología (Dpto. Matemáticas) Área (Departamento): Área Didáctica Matemática (Dpto. Matemáticas)
Exportado de SIDERAL (2023-10-27-12:53:29)