diff options
| author | Eduardo Julian | 2018-07-28 14:55:30 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-28 14:55:30 -0400 |
| commit | 15e71e57b688f5079fe606b2fee5e3efd2a5d5a7 (patch) | |
| tree | b59e411ebc82a4fb4fdfe66efcc2817fc83c6188 /stdlib/source/lux/math | |
| parent | dff8878c13610ae8d1207aaabefbecc88cd3911f (diff) | |
Added "+" sign to positive Int.
Diffstat (limited to 'stdlib/source/lux/math')
| -rw-r--r-- | stdlib/source/lux/math/modular.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/math/modular.lux b/stdlib/source/lux/math/modular.lux index 092b18944..ef0f36bb2 100644 --- a/stdlib/source/lux/math/modular.lux +++ b/stdlib/source/lux/math/modular.lux @@ -26,7 +26,7 @@ (def: #export (from-int value) (Ex [m] (-> Int (Error (Modulus m)))) - (if (i/= 0 value) + (if (i/= +0 value) (ex.throw zero-cannot-be-a-modulus []) (#e.Success (:abstraction value)))) @@ -52,7 +52,7 @@ (|> sample (i/- reference) (i/% (to-int modulus)) - (i/= 0))) + (i/= +0))) (syntax: #export (modulus {modulus s.int}) (case (from-int modulus) @@ -144,8 +144,8 @@ (def: (i/gcd+ a b) (-> Int Int [Int Int Int]) - (if (i/= 0 a) - [0 1 b] + (if (i/= +0 a) + [+0 +1 b] (let [[ak bk gcd] (i/gcd+ (i/% a b) a)] [(i/- (i/* ak (i// a b)) @@ -158,7 +158,7 @@ (let [[value modulus] (:representation modular) _modulus (to-int modulus) [vk mk gcd] (i/gcd+ value _modulus) - co-prime? (i/= 1 gcd)] + co-prime? (i/= +1 gcd)] (if co-prime? (#.Some (mod modulus vk)) #.None))) |