working with algebraic path signatures