ON THE CONSTRUCTION OF A PSE FOR GCD COMPUTATION