Some group-theoretic algorithms