reintroduce notation for homotopy in isweqhomot (uu0a), fix resulting error in algebra1a