Merge pull request #20019 from JuliaLang/sk/modint

updates to the ModInt example

Author: StefanKarpinski

examples/modint.jl renamed to examples/ModInts.jl

@@ -3,24 +3,25 @@
 module ModInts
 export ModInt
 
-import Base: +, -, *
+import Base: +, -, *, /, inv
 
 immutable ModInt{n} <: Integer
     k::Int
     ModInt(k) = new(mod(k,n))
 end
 
--{n}(a::ModInt{n}) = ModInt{n}(-a.k)
+Base.show{n}(io::IO, k::ModInt{n}) =
+    print(io, get(io, :compact, false) ? k.k : "$(k.k) mod $n")
+
 +{n}(a::ModInt{n}, b::ModInt{n}) = ModInt{n}(a.k+b.k)
 -{n}(a::ModInt{n}, b::ModInt{n}) = ModInt{n}(a.k-b.k)
 *{n}(a::ModInt{n}, b::ModInt{n}) = ModInt{n}(a.k*b.k)
+-{n}(a::ModInt{n}) = ModInt{n}(-a.k)
 
-Base.convert{n}(::Type{ModInt{n}}, i::Int) = ModInt{n}(i)
-Base.promote_rule{n}(::Type{ModInt{n}}, ::Type{Int}) = ModInt{n}
-
-Base.show{n}(io::IO, k::ModInt{n}) = print(io, "$(k.k) mod $n")
-Base.showcompact(io::IO, k::ModInt) = print(io, k.k)
+inv{n}(a::ModInt{n}) = ModInt{n}(invmod(a.k, n))
+/{n}(a::ModInt{n}, b::ModInt{n}) = a*inv(b) # broaden for non-coprime?
 
-Base.inv{n}(a::ModInt{n}) = ModInt{n}(invmod(a.k, n))
+Base.promote_rule{n}(::Type{ModInt{n}}, ::Type{Int}) = ModInt{n}
+Base.convert{n}(::Type{ModInt{n}}, i::Int) = ModInt{n}(i)
 
 end # module

test/examples.jl

@@ -9,7 +9,7 @@ a = rand(1:100,100)
 include(joinpath(dir, "lru.jl"))
 include(joinpath(dir, "lru_test.jl"))
 
-include(joinpath(dir, "modint.jl"))
+include(joinpath(dir, "ModInts.jl"))
 b = ModInts.ModInt{10}(2)
 c = ModInts.ModInt{10}(4)
 @test b + c == ModInts.ModInt{10}(6)