aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/numtheor.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/numtheor.spad.pamphlet')
-rw-r--r--src/algebra/numtheor.spad.pamphlet1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/numtheor.spad.pamphlet b/src/algebra/numtheor.spad.pamphlet
index 907bb9f7..1071d36d 100644
--- a/src/algebra/numtheor.spad.pamphlet
+++ b/src/algebra/numtheor.spad.pamphlet
@@ -405,6 +405,7 @@ IntegerNumberTheoryFunctions(): Exports == Implementation where
even? b and positiveRemainder(a,4) > 1 =>
error "J(a/b) not defined for b even and a = 2 or 3 (mod 4)"
even? b and even? a => 0
+ k : Integer
for k in 0.. while even? b repeat b := b quo 2
j:I := (odd? k and positiveRemainder(a,8) = 5 => -1; 1)
b = 1 => j