Estudios
I+D+I
Institución
Internacional
Vida Universitaria
Universidad de Zaragoza Repository
Search
Submit
Personalize
Your alerts
Your baskets
Your searches
Help
EN
/
ES
Home
>
Articles
> Effective computation of degree bounded minimal models of GCDAs
Usage statistics
Plots
Effective computation of degree bounded minimal models of GCDAs
Manero, Victor
(Universidad de Zaragoza)
;
Marco Buzunariz, Miguel Angel
(Universidad de Zaragoza)
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
)
All rights reserved by journal editor
Exportado de SIDERAL (2023-10-27-12:53:29)
Permalink:
Copy
Visitas y descargas
Este artículo se encuentra en las siguientes colecciones:
Articles
Back to search
Record created 2020-07-07, last modified 2023-10-27
Versión publicada:
PDF
Rate this document:
Rate this document:
1
2
3
4
5
(Not yet reviewed)
Add to personal basket
Export as
BibTeX
,
MARC
,
MARCXML
,
DC
,
EndNote
,
NLM
,
RefWorks