ph2thomas: compute auto fixed points