bump versions of OMEinsum and Mods (#78)

* bump versions of Ge OMEinsum and Mods

* bump version, fix random seed

* fix test

* fix tests dependency

Author: GiggleLiu

Project.toml

@@ -1,7 +1,7 @@
 name = "GenericTensorNetworks"
 uuid = "3521c873-ad32-4bb4-b63d-f4f178f42b49"
 authors = ["GiggleLiu <cacate0129@gmail.com> and contributors"]
-version = "1.4.1"
+version = "1.5.0"
 
 [deps]
 AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
@@ -12,7 +12,6 @@ FFTW = "7a1cc6ca-52ef-59f5-83cd-3a7055c09341"
 Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 LuxorGraphPlot = "1f49bdf2-22a7-4bc4-978b-948dc219fbbc"
-Mods = "7475f97c-0381-53b1-977b-4c60186c8d62"
 OMEinsum = "ebe7aa44-baf0-506c-a96f-8464559b3922"
 Polynomials = "f27b6e38-b328-58d1-80ce-0feddd5e7a45"
 Primes = "27ebfcd6-29c5-5fa9-bf4b-fb8fc14df3ae"
@@ -39,8 +38,7 @@ FFTW = "1.4"
 Graphs = "1.7"
 LinearAlgebra = "1"
 LuxorGraphPlot = "0.3"
-Mods = "1.3"
-OMEinsum = "0.7"
+OMEinsum = "0.8"
 Polynomials = "4"
 Primes = "0.5"
 Printf = "1"
@@ -49,11 +47,4 @@ SIMDTypes = "0.1"
 Serialization = "1"
 StatsBase = "0.33, 0.34, 0.35"
 TropicalNumbers = "0.4, 0.5, 0.6"
-julia = "1.9"
-
-[extras]
-Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
-
-[targets]
-test = ["Test", "Documenter", "CUDA"]
+julia = "1.9"

docs/make.jl

@@ -1,6 +1,6 @@
 using Pkg
 using GenericTensorNetworks
-using GenericTensorNetworks: TropicalNumbers, Polynomials, Mods, OMEinsum, OMEinsum.OMEinsumContractionOrders, LuxorGraphPlot
+using GenericTensorNetworks: TropicalNumbers, Polynomials, OMEinsum, OMEinsum.OMEinsumContractionOrders, LuxorGraphPlot
 using Documenter
 using DocThemeIndigo
 using Literate
@@ -17,7 +17,7 @@ indigo = DocThemeIndigo.install(GenericTensorNetworks)
 DocMeta.setdocmeta!(GenericTensorNetworks, :DocTestSetup, :(using GenericTensorNetworks); recursive=true)
 
 makedocs(;
-    modules=[GenericTensorNetworks, TropicalNumbers, Mods, OMEinsum, OMEinsumContractionOrders, LuxorGraphPlot],
+    modules=[GenericTensorNetworks, TropicalNumbers, OMEinsum, OMEinsumContractionOrders, LuxorGraphPlot],
     authors="Jinguo Liu",
     repo="https://github.com/QuEraComputing/GenericTensorNetworks.jl/blob/{commit}{path}#{line}",
     sitename="GenericTensorNetworks.jl",

docs/src/ref.md

@@ -92,7 +92,7 @@ is_commutative_semiring
 TropicalNumbers.Tropical
 TropicalNumbers.CountingTropical
 ExtendedTropical
-Mods.Mod
+GenericTensorNetworks.Mods.Mod
 TruncatedPoly
 Max2Poly
 ConfigEnumerator

src/GenericTensorNetworks.jl

@@ -10,7 +10,7 @@ using LuxorGraphPlot
 import Polynomials
 using Polynomials: Polynomial, LaurentPolynomial, printpoly, fit
 using FFTW
-using Mods, Primes
+using Primes
 using DocStringExtensions
 using Base.Cartesian
 import AbstractTrees: children, printnode, print_tree
@@ -65,6 +65,10 @@ export show_graph, spring_layout!, show_gallery, show_einsum
 
 project_relative_path(xs...) = normpath(joinpath(dirname(dirname(pathof(@__MODULE__))), xs...))
 
+# Mods.jl fixed to v1.3.4
+include("Mods.jl/src/Mods.jl")
+using .Mods
+
 include("utils.jl")
 include("bitvector.jl")
 include("arithematics.jl")

src/Mods.jl/.gitignore

@@ -0,0 +1,26 @@
+# Files generated by invoking Julia with --code-coverage
+*.jl.cov
+*.jl.*.cov
+
+# Files generated by invoking Julia with --track-allocation
+*.jl.mem
+
+# System-specific files and directories generated by the BinaryProvider and BinDeps packages
+# They contain absolute paths specific to the host computer, and so should not be committed
+deps/deps.jl
+deps/build.log
+deps/downloads/
+deps/usr/
+deps/src/
+
+# Build artifacts for creating documentation generated by the Documenter package
+docs/build/
+docs/site/
+
+# File generated by Pkg, the package manager, based on a corresponding Project.toml
+# It records a fixed state of all packages used by the project. As such, it should not be
+# committed for packages, but should be committed for applications that require a static
+# environment.
+Manifest.toml
+
+.vscode/*

src/Mods.jl/LICENSE

@@ -0,0 +1,22 @@
+The MIT License (MIT)
+
+Copyright (c) 2014 Ed Scheinerman
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+

src/Mods.jl/Project.toml

@@ -0,0 +1,13 @@
+name = "Mods"
+uuid = "7475f97c-0381-53b1-977b-4c60186c8d62"
+author = ["Edward Scheinerman <ers@jhu.edu>"]
+version = "2.1.1"
+
+[compat]
+julia = "1"
+
+[extras]
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+
+[targets]
+test = ["Test"]

src/Mods.jl/README.md

@@ -0,0 +1,8 @@
+# Mods
+
+Modular arithmetic for Julia.
+
+This folder is a copy of v1.3.4 of the package `Mods.jl` by Ed Scheinerman, which is available at:
+https://github.com/scheinerman/Mods.jl
+
+We will switch back to the Github repo when the package becomes compatible with `GenericTensorNetworks.jl`.

src/Mods.jl/src/GaussMods.jl

@@ -0,0 +1,53 @@
+import Base: mod, real, imag, reim, conj, promote_rule
+
+export GaussMod, AbstractMod
+
+# mod support for Gaussian integers until officially adopted into Base
+mod(z::Complex{<:Integer}, n::Integer) = Complex(mod(real(z), n), mod(imag(z), n))
+
+"""
+`GaussMod{N,T}` is an alias of `Mod{N,Complex{T}}`.
+It is for computing Gaussian Modulus.
+"""
+const GaussMod{N,T} = Mod{N,Complex{T}}
+GaussMod{N}(x::T) where {N,T<:Integer} = Mod{N,Complex{T}}(x)
+GaussMod{N}(x::T) where {N,T<:Complex} = Mod{N,T}(x)
+Mod{N}(x::Complex{Rational{T}}) where {N,T} = Mod{N}(real(x)) + Mod{N}(imag(x)) * im
+Mod{N}(re::Integer, im::Integer) where {N} = Mod{N}(Complex(re, im))
+
+reim(x::AbstractMod) = (real(x), imag(x))
+real(x::Mod{N}) where {N} = Mod{N}(real(x.val))
+imag(x::Mod{N}) where {N} = Mod{N}(imag(x.val))
+conj(x::Mod{N}) where {N} = Mod{N}(conj(x.val))
+
+# ARITHMETIC
+function (+)(x::GaussMod{N,T}, y::GaussMod{N,T}) where {N,T}
+    xx = widen(x.val)
+    yy = widen(y.val)
+    zz = mod(xx + yy, N)
+    return GaussMod{N,T}(zz)
+end
+
+(-)(x::GaussMod{N}) where {N} = Mod{N}(-x.val)
+
+function (*)(x::GaussMod{N,T}, y::GaussMod{N,T}) where {N,T}
+    xx = widen(x.val)
+    yy = widen(y.val)
+    zz = mod(xx * yy, N)
+    return GaussMod{N,T}(zz)
+end
+
+function inv(x::GaussMod{N}) where {N}
+    try
+        a, b = reim(x)
+        bot = inv(a * a + b * b)
+        aa = a * bot
+        bb = -b * bot
+        return aa + bb * im
+    catch
+        error("$x is not invertible")
+    end
+end
+
+is_invertible(x::GaussMod) = is_invertible(real(x * x'))
+rand(::Type{GaussMod{N}}, args::Integer...) where {N} = rand(GaussMod{N,Int}, args...)