check of detailed Atlfast algorithms: root(sigma) and sigma construction