Simplification techniques for maps in simplicial topology

Autores: Pedro Real Jurado , María del Rocío González Díaz
Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 40, Nº 4, 2005, págs. 1208-1224
Idioma: inglés
DOI: 10.1016/j.jsc.2004.04.008
Enlaces
- Texto completo
Resumen
- This paper offers an algorithmic solution to the problem of obtaining ¿economical¿ formulae for some maps in Simplicial Topology, having, in principle, a high computational cost in their evaluation. In particular, maps of this kind are used for defining cohomology operations at the cochain level. As an example, we obtain explicit combinatorial descriptions of Steenrod powers exclusively in terms of face operators.