From: Christoph Fuerst <ch.fuerst@gmx.at>
Date: Mon, 15 May 2017 18:47:37 +0000 (+0200)
Subject: Added p>1
X-Git-Url: http://git.risc.jku.at/gitweb/?a=commitdiff_plain;h=d516c6980fe726b6d4a45fc59d720e88e9bf4670;p=cfuerst%2Fformal-numbers.git

Added p>1
---

diff --git a/discrete_log.txt b/discrete_log.txt
index 1fe4944..21193ac 100644
--- a/discrete_log.txt
+++ b/discrete_log.txt
@@ -52,6 +52,7 @@ proc IntegerRoot(a:nat): nat
 }
 
 proc PowerMod(a:nat, b:nat, p:nat): nat
+   requires p>1;
 {
    var x:nat;