CARAT Introduction / Programs / Pdet
Pdet 'file' [-p=prime]
-p=prime : the algorithm is done modulo prime.