Are Two Given Maps Homotopic? An Algorithmic Viewpoint.

This paper presents two algorithms. The first decides the existence of a pointed homotopy between given simplicial maps f , g : X → Y , and the second computes the group [ Σ X , Y ] ∗ of pointed homotopy classes of maps from a suspension; in both cases, the target Y is assumed simply connected. More generally, these algorithms work relative to A ⊆ X . [ABSTRACT FROM AUTHOR]