Affiliation: | a Servicio de Informática, Consejería de Educación, Junta de Andalucía, Edificio Torretriana, Sótano 1, 41071 Sevilla, Spain b Departamento de Geometría y Topología, Facultad de Matemáticas, Universidad de Sevilla, Apartado 1160, 41080 Sevilla, Spain |