From 2cb972e07df629627e7bb9ae9aea7c9054ff0350 Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Sat, 15 Aug 2020 14:53:47 -0400
Subject: [PATCH 1/6] Move docs/examples.md to docs/examples/spinhalf.md

---
 docs/make.jl                                   | 4 +++-
 docs/src/{examples.md => examples/spinhalf.md} | 4 +---
 2 files changed, 4 insertions(+), 4 deletions(-)
 rename docs/src/{examples.md => examples/spinhalf.md} (98%)

diff --git a/docs/make.jl b/docs/make.jl
index 4de0721..d20660b 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -16,7 +16,9 @@ makedocs(
         "Representation" => "representation.md",
         "Symmetry" => "symmetry.md"
       ],
-      "Examples" => "examples.md",
+      "Examples" => [
+          "examples/spinhalf.md",
+      ],
       "Index" => "links.md",
       "API" => "api.md",
     ]
diff --git a/docs/src/examples.md b/docs/src/examples/spinhalf.md
similarity index 98%
rename from docs/src/examples.md
rename to docs/src/examples/spinhalf.md
index 2831005..5aadaf9 100644
--- a/docs/src/examples.md
+++ b/docs/src/examples/spinhalf.md
@@ -1,6 +1,4 @@
-# Examples
-
-## S=1/2 Heisenberg Chain
+# Example 1: S=1/2 Heisenberg Chain
 
 ```@example
 using SparseArrays

From 117874b54e14bc45b16d9e468164069c2e85d8ac Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Wed, 19 Aug 2020 22:41:26 -0400
Subject: [PATCH 2/6] Update documentation

---
 docs/src/hilbertspace.md                      | 33 +++++++++++++------
 docs/src/index.md                             |  4 +--
 docs/src/operator.md                          |  4 +++
 src/HilbertSpace/hilbert_space_sector.jl      | 30 +++++++++++++++--
 src/HilbertSpace/sparse_state.jl              | 11 ++++++-
 src/Operator/abstract_operator.jl             |  5 +++
 src/Operator/apply_sparse_state.jl            |  2 +-
 src/Operator/sum_operator.jl                  |  2 +-
 .../reduced_hilbert_space_representation.jl   |  3 +-
 9 files changed, 75 insertions(+), 19 deletions(-)

diff --git a/docs/src/hilbertspace.md b/docs/src/hilbertspace.md
index a371262..95c698f 100644
--- a/docs/src/hilbertspace.md
+++ b/docs/src/hilbertspace.md
@@ -9,14 +9,18 @@ and the Hilbert space for whole system can be constructed by taking the tensor p
 
 A [`Site`](@ref) can be constructed out of a set of [`State`](@ref).
 For example,
-```julia
-spinsite = Site{Int}([State{Int}("Up", 1), State{Int}("Dn", -1)])
+```julia-repl
+julia> spinsite = Site([State("Up", 1), State("Dn", -1)])
+Site{Tuple{Int64}}(State{Tuple{Int64}}[State{Tuple{Int64}}("Up", (1,)), State{Tuple{Int64}}("Dn", (-1,))])
 ```
 constructs a two-state site with spin-half degrees of freedom.
-The type parameter `Int` is the type of the Abelian quantum number, which, in this case, is $2S_z$.
-Each basis vector is represented as a (0-based) binary number,
-corresponding to their order in the constructor.
-For the example above, the up-state is represented by a `0` and the down-state is represented by a `1`.
+The type parameter `Tuple{Int}` represents the type of Abelian quantum number.
+which is is $2S_z$ in this case.
+When there are more than one conserved quantum numbers, they can be combined:
+e.g. `Tuple{Int, Int}`, to represent the charge and total $S_z$, for example.
+Each basis vector is represented as a binary number,
+corresponding to their order in the constructor (0-based).
+For the example above, the up-state is represented as `0` and the down-state is represented as `1`.
 
 ## HilbertSpace
 
@@ -35,15 +39,24 @@ where each `Site` occupies a fixed location and width. e.g.
        ⋮
 |↓↓↓↓⟩ = |1111⟩
 ```
+The number of bits assigned for each site is determined by `Int(ceil(log2(length(site.states)))`, and can be accessed by [`bitwidth`](@ref).
 
 ## HilbertSpaceSector
 
-A sub Hilbert space, in terms of the Abelian quantum number, can be constructed
-using [`HilbertSpaceSector`](@ref), by specifying the value of the quantum number
+A subspace of the whole Hilbert space, in terms of the Abelian quantum number, can be constructed using [`HilbertSpaceSector`](@ref), by specifying the value of the quantum number as an integer if the Hilbert space has a single integral quantum number,
 ```julia
 hilbert_space_sector = HilbertSpaceSector(hilbert_space, 0)
 ```
-or a set of quantum number values, if you need to for whatever reason
+or as a tuple
+```julia
+hilbert_space_sector = HilbertSpaceSector(hilbert_space, (0,))
+```
+You can also allow more than one quantum number values, if you need to for whatever reason
+```julia
+hilbert_space_sector = HilbertSpaceSector(hilbert_space, [(0,), (2,), (4,)])
+```
+or more shortly,
 ```julia
-hilbert_space_sector = HilbertSpaceSector(hilbert_space, [0,2,4])
+hilbert_space_sector = HilbertSpaceSector(hilbert_space, [0, 2, 4])
 ```
+This example creates a subspace whose quantum numbers can be one of 0, 2, and 4.
\ No newline at end of file
diff --git a/docs/src/index.md b/docs/src/index.md
index cb85e3b..955e71e 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -28,9 +28,9 @@ of the Hilbert spaces as 𝐂ⁿ (or 𝐑ⁿ), and of operators as n×n matrices
 First you need to create a Hilbert space representation:
 1. Define `State`s, and `Site`s
 1. Define the `HilbertSpace`
-1. If there is quantum number, use that to define `HilbertSpaceSector`
+1. If there are quantum numbers, use them to define `HilbertSpaceSector`
 1. Define `HilbertSpaceRepresentation` and construct basis set
-1. If there is translation symmetry, use that to define `ReducedHilbertSpaceRepresentation`
+1. If there is space symmetry, translation or point or both, use that to define `ReducedHilbertSpaceRepresentation`
 
 And then you can create operator representation using the Hilbert space representation from above:
 1. Define `Operator`s
diff --git a/docs/src/operator.md b/docs/src/operator.md
index 506d205..eacae62 100644
--- a/docs/src/operator.md
+++ b/docs/src/operator.md
@@ -1,5 +1,9 @@
 # Operator
 
+`ExactDiagonalization.jl` uses operators in the "projector" representation.
+
+
+
 ## Operator Types
 
 ### NullOperator
diff --git a/src/HilbertSpace/hilbert_space_sector.jl b/src/HilbertSpace/hilbert_space_sector.jl
index 16849da..acd7320 100644
--- a/src/HilbertSpace/hilbert_space_sector.jl
+++ b/src/HilbertSpace/hilbert_space_sector.jl
@@ -14,21 +14,41 @@ struct HilbertSpaceSector{QN<:Tuple{Vararg{<:AbstractQuantumNumber}}}<:AbstractH
     parent::HilbertSpace{QN}
     allowed_quantum_numbers::Set{QN}
 
+    """
+        HilbertSpaceSector(parent::HilbertSpace{QN}) where QN
+    """
     function HilbertSpaceSector(parent::HilbertSpace{QN}) where QN
         sectors = quantum_number_sectors(parent)
         return new{QN}(parent, Set(sectors))
     end
 
+    """
+        HilbertSpaceSector(parent::HilbertSpace{QN}, allowed::Integer) where {QN<:Tuple{<:Integer}}
+    """
     function HilbertSpaceSector(parent::HilbertSpace{QN}, allowed::Integer) where {QN<:Tuple{<:Integer}}
         sectors = Set{QN}(quantum_number_sectors(parent))
         return new{QN}(parent, intersect(sectors, Set([(allowed,)])))
     end
 
+    """
+        HilbertSpaceSector(parent::HilbertSpace{QN}, allowed::QN) where QN
+    """
     function HilbertSpaceSector(parent::HilbertSpace{QN}, allowed::QN) where QN
         sectors = Set{QN}(quantum_number_sectors(parent))
         return new{QN}(parent, intersect(sectors, Set([allowed])))
     end
 
+    """
+        HilbertSpaceSector(parent::HilbertSpace{QN}, allowed::Union{AbstractSet{<:Integer}, AbstractVector{<:Integer}}) where QN
+    """
+    function HilbertSpaceSector(
+        parent::HilbertSpace{QN},
+        allowed::Union{AbstractSet{<:Integer}, AbstractVector{<:Integer}}
+    ) where QN
+        sectors = Set{QN}(quantum_number_sectors(parent))
+        return new{QN}(parent, intersect(sectors, Set((x,) for x in allowed)))
+    end
+
     function HilbertSpaceSector(
         parent::HilbertSpace{QN},
         allowed::Union{AbstractSet{QN}, AbstractVector{QN}}
@@ -76,9 +96,7 @@ its parent `HilbertSpace` (with no quantum number restriction).
 """
 basespace(hss::HilbertSpaceSector{QN}) where QN = basespace(hss.parent)::HilbertSpace{QN}
 
-
-bitwidth(hss::HilbertSpaceSector) = bitwidth(basespace(hss))
-
+#bitwidth(hss::HilbertSpaceSector) = bitwidth(basespace(hss))
 
 function Base.:(==)(lhs::HilbertSpaceSector{Q1}, rhs::HilbertSpaceSector{Q2}) where {Q1, Q2}
     return (
@@ -89,6 +107,7 @@ end
 
 
 for fname in [
+    :bitwidth,
     :get_bitmask,
     :quantum_number_sectors,
     :get_quantum_number,
@@ -99,6 +118,11 @@ for fname in [
     :get_state,
 ]
     @eval begin
+        """
+            $($fname)(hss::HilbertSpaceSector, args...;kwargs...)
+
+        Call `$($fname)` with basespace of `hss`.
+        """
         @inline $fname(hss::HilbertSpaceSector, args...;kwargs...) = $fname(hss.parent, args...; kwargs...)
     end
 end
diff --git a/src/HilbertSpace/sparse_state.jl b/src/HilbertSpace/sparse_state.jl
index 4e96e91..1d6123f 100644
--- a/src/HilbertSpace/sparse_state.jl
+++ b/src/HilbertSpace/sparse_state.jl
@@ -8,7 +8,7 @@ import LinearAlgebra
 """
     struct SparseState{Scalar<:Number, BR}
 
-Represents a row vector. Free.
+Represents a vector in unrestricted Hilbert space.
 """
 mutable struct SparseState{Scalar<:Number, BR}
     components::Dict{BR, Scalar}
@@ -24,6 +24,10 @@ mutable struct SparseState{Scalar<:Number, BR}
         return new{Scalar, BR}(components)
     end
 
+    function SparseState(components::Pair{BR, Scalar}...) where {Scalar, BR}
+        return new{Scalar, BR}(Dict{BR, Scalar}(components))
+    end
+
     function SparseState{Scalar, BR}(binrep::BR) where {Scalar, BR}
         return new{Scalar, BR}(Dict{BR, Scalar}(binrep => one(Scalar)))
     end
@@ -56,6 +60,11 @@ function Base.setindex!(
 end
 
 
+"""
+    scalartype([state or type of state])
+
+Return the scalar type of the state.
+"""
 scalartype(::SparseState{Scalar, BR}) where {Scalar, BR} = Scalar
 scalartype(::Type{SparseState{Scalar, BR}}) where {Scalar, BR} = Scalar
 
diff --git a/src/Operator/abstract_operator.jl b/src/Operator/abstract_operator.jl
index 1af2f56..dab62fb 100644
--- a/src/Operator/abstract_operator.jl
+++ b/src/Operator/abstract_operator.jl
@@ -7,6 +7,11 @@ export bintype
 import LinearAlgebra
 
 
+"""
+    AbstractOperator{S<:Number}
+
+Represent an abstract operator in Hilbert space.
+"""
 abstract type AbstractOperator{S<:Number} end
 
 
diff --git a/src/Operator/apply_sparse_state.jl b/src/Operator/apply_sparse_state.jl
index 3675a88..08ad7a4 100644
--- a/src/Operator/apply_sparse_state.jl
+++ b/src/Operator/apply_sparse_state.jl
@@ -3,7 +3,7 @@ export apply!
 
 
 """
-    apply!
+    apply!(out, nullop, psi)
 
 Apply operator to `psi` and add it to `out`.
 """
diff --git a/src/Operator/sum_operator.jl b/src/Operator/sum_operator.jl
index fe3521d..3da7d58 100644
--- a/src/Operator/sum_operator.jl
+++ b/src/Operator/sum_operator.jl
@@ -7,7 +7,7 @@ export bintype
 
 Represents a sum of pure operators.
 
-# Members
+# Fields
 - `terms::Vector{PureOperator{Scalar,BR}}`
 """
 struct SumOperator{Scalar<:Number, BR<:Unsigned} <:AbstractOperator{Scalar}
diff --git a/src/Symmetry/reduced_hilbert_space_representation.jl b/src/Symmetry/reduced_hilbert_space_representation.jl
index a52b7b5..d19b48e 100644
--- a/src/Symmetry/reduced_hilbert_space_representation.jl
+++ b/src/Symmetry/reduced_hilbert_space_representation.jl
@@ -13,7 +13,8 @@ Currently only supports Translation group (i.e. Abelian group).
 struct ReducedHilbertSpaceRepresentation{
     HSR<:HilbertSpaceRepresentation,
     SIC<:AbstractSymmetryIrrepComponent,
-    BR, C<:Complex
+    BR,
+    C<:Complex
 }<:AbstractHilbertSpaceRepresentation{C}
     parent::HSR
     symmetry_irrep_component::SIC

From 8d4f37c9784a893036b9b34b5c174fc9cd9687d9 Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Sun, 30 Aug 2020 17:20:11 -0400
Subject: [PATCH 3/6] Rename AbstractSymmetryOperationEmbedding

---
 src/Symmetry/symmetry_apply.jl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Symmetry/symmetry_apply.jl b/src/Symmetry/symmetry_apply.jl
index a6ce59a..ccbd013 100644
--- a/src/Symmetry/symmetry_apply.jl
+++ b/src/Symmetry/symmetry_apply.jl
@@ -9,7 +9,7 @@ import TightBindingLattice.SymmetryEmbedding
 ### HilbertSpaceSector
 function symmetry_apply(
     hss::HilbertSpaceSector{QN},
-    symop::AbstractSpaceSymmetryOperationEmbedding,
+    symop::AbstractSymmetryOperationEmbedding,
     args...;
     kwargs...
 ) where {QN}
@@ -18,7 +18,7 @@ end
 
 function isinvariant(
     hss::HilbertSpaceSector{QN},
-    symop::AbstractSpaceSymmetryOperationEmbedding,
+    symop::AbstractSymmetryOperationEmbedding,
     args...;
     kwargs...
 ) where {QN}

From 7d1da7dcb83e8191e5490107dc6ebbfd61e82e30 Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Sun, 30 Aug 2020 17:20:27 -0400
Subject: [PATCH 4/6] Update Project.toml to 0.11.0

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 2b4dbd1..f6fc84f 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "ExactDiagonalization"
 uuid = "cf149b0a-e8f7-4f00-9ab4-03e4f5ec5cff"
 authors = ["Kyungmin Lee <kyungmin.lee.42@gmail.com>"]
-version = "0.11"
+version = "0.11.0"
 
 [deps]
 Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"

From 998a2cb6429a9510b661061f89716b7828d1f0c8 Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Sun, 30 Aug 2020 17:29:40 -0400
Subject: [PATCH 5/6] Update TightBindingLattice to LatticeTools

---
 Project.toml                       | 6 ++----
 docs/src/examples/spinhalf.md      | 2 +-
 docs/src/index.md                  | 2 +-
 examples/spinhalf_triangular.jl    | 8 ++++----
 examples/spinhalfchain.jl          | 2 +-
 examples/spinhalfchain2.jl         | 2 +-
 examples/spinhalfsquare_bigsize.jl | 2 +-
 examples/spinhalfsquare_large.jl   | 2 +-
 examples/spinhalfsquare_small.jl   | 2 +-
 examples/testexample.jl            | 2 +-
 src/ExactDiagonalization.jl        | 2 +-
 src/Symmetry.jl                    | 2 +-
 src/Symmetry/symmetry_apply.jl     | 4 ++--
 test/test_symmetry_apply.jl        | 2 +-
 test/test_symmetry_reduce.jl       | 2 +-
 15 files changed, 20 insertions(+), 22 deletions(-)

diff --git a/Project.toml b/Project.toml
index f6fc84f..9d11d95 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,18 +1,16 @@
 name = "ExactDiagonalization"
 uuid = "cf149b0a-e8f7-4f00-9ab4-03e4f5ec5cff"
 authors = ["Kyungmin Lee <kyungmin.lee.42@gmail.com>"]
-version = "0.11.0"
+version = "0.12.0"
 
 [deps]
 Dates = "ade2ca70-3891-5945-98fb-dc099432e06a"
+LatticeTools = "8a267902-5e0e-44c3-8ef8-9b2b5c352816"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
-Memento = "f28f55f0-a522-5efc-85c2-fe41dfb9b2d9"
 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
-TightBindingLattice = "f0da6d2f-861b-4198-860c-d50f6f65dfeb"
 
 [compat]
-TightBindingLattice = ">= 0.6"
 julia = ">= 1.5"
 
 [extras]
diff --git a/docs/src/examples/spinhalf.md b/docs/src/examples/spinhalf.md
index 5aadaf9..a83f7cc 100644
--- a/docs/src/examples/spinhalf.md
+++ b/docs/src/examples/spinhalf.md
@@ -6,7 +6,7 @@ using LinearAlgebra
 using Arpack
 using Plots
 
-using TightBindingLattice
+using LatticeTools
 using ExactDiagonalization
 
 println("# S=1/2 Heisenberg Chain")
diff --git a/docs/src/index.md b/docs/src/index.md
index 955e71e..3e1a70a 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -44,7 +44,7 @@ can install it using its URL as
 ```julia
 ]add https://github.com/kyungminlee/ExactDiagonalization.jl.git
 ```
-Since, however, `ExactDiagonalization.jl` depends on other packages including [`TightBindingLattice.jl`](https://github.com/kyungminlee/TightBindingLattice.jl), it is convenient to add a custom registry.
+Since, however, `ExactDiagonalization.jl` depends on other packages including [`LatticeTools.jl`](https://github.com/kyungminlee/LatticeTools.jl), it is convenient to add a custom registry.
 In Julia, type
 ```sh
 ]registry add https://github.com/kyungminlee/KyungminLeeRegistry.jl.git
diff --git a/examples/spinhalf_triangular.jl b/examples/spinhalf_triangular.jl
index b674c2b..d10abba 100644
--- a/examples/spinhalf_triangular.jl
+++ b/examples/spinhalf_triangular.jl
@@ -1,6 +1,6 @@
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using Arpack
 
 #=
@@ -21,7 +21,7 @@ function make_triangular_lattice(shape::AbstractMatrix{<:Integer})
     nnnbondtypes = [ [ 2, 1], [ 1, 2], [-1, 1] ]
 
     lattice = make_lattice(unitcell, shape)
-    orthocube = lattice.orthocube
+    hypercube = lattice.hypercube
     supercell = lattice.supercell
     tsym = TranslationSymmetry(lattice)
     psym = little_symmetry(tsym, PointSymmetryDatabase.find2d("6mm"))
@@ -34,7 +34,7 @@ function make_triangular_lattice(shape::AbstractMatrix{<:Integer})
 
     for r_row in lattice.bravais_coordinates
         for colvec in nnbondtypes
-            R_col, r_col = orthocube.wrap(r_row .+ colvec)
+            R_col, r_col = hypercube.wrap(r_row .+ colvec)
             roworb_super = ("A", r_row)
             colorb_super = ("A", r_col)
             irow = get(supercell.siteindices, roworb_super, -1)
@@ -42,7 +42,7 @@ function make_triangular_lattice(shape::AbstractMatrix{<:Integer})
             push!(nnbonds, ((irow, icol), R_col))
         end
         for colvec in nnnbondtypes
-            R_col, r_col = orthocube.wrap(r_row .+ colvec)
+            R_col, r_col = hypercube.wrap(r_row .+ colvec)
             roworb_super = ("A", r_row)
             colorb_super = ("A", r_col)
             irow = get(supercell.siteindices, roworb_super, -1)
diff --git a/examples/spinhalfchain.jl b/examples/spinhalfchain.jl
index 437e647..9000979 100644
--- a/examples/spinhalfchain.jl
+++ b/examples/spinhalfchain.jl
@@ -1,7 +1,7 @@
 using SparseArrays
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using MinimalPerfectHash
 
 n_sites = 7;
diff --git a/examples/spinhalfchain2.jl b/examples/spinhalfchain2.jl
index ee73840..3269342 100644
--- a/examples/spinhalfchain2.jl
+++ b/examples/spinhalfchain2.jl
@@ -1,7 +1,7 @@
 using SparseArrays
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using MinimalPerfectHash
 
 ## Set up lattice
diff --git a/examples/spinhalfsquare_bigsize.jl b/examples/spinhalfsquare_bigsize.jl
index 3198fac..c3a3cdc 100644
--- a/examples/spinhalfsquare_bigsize.jl
+++ b/examples/spinhalfsquare_bigsize.jl
@@ -1,7 +1,7 @@
 using SparseArrays
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using MinimalPerfectHash
 
 @show  Threads.nthreads()
diff --git a/examples/spinhalfsquare_large.jl b/examples/spinhalfsquare_large.jl
index 74dda6b..8c07c06 100644
--- a/examples/spinhalfsquare_large.jl
+++ b/examples/spinhalfsquare_large.jl
@@ -2,7 +2,7 @@ using Test
 using SparseArrays
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using MinimalPerfectHash
 using Printf
 
diff --git a/examples/spinhalfsquare_small.jl b/examples/spinhalfsquare_small.jl
index eb4edb0..3001d41 100644
--- a/examples/spinhalfsquare_small.jl
+++ b/examples/spinhalfsquare_small.jl
@@ -1,7 +1,7 @@
 using SparseArrays
 using LinearAlgebra
 using ExactDiagonalization
-using TightBindingLattice
+using LatticeTools
 using MinimalPerfectHash
 
 @show  Threads.nthreads()
diff --git a/examples/testexample.jl b/examples/testexample.jl
index f877076..c8ea5ea 100644
--- a/examples/testexample.jl
+++ b/examples/testexample.jl
@@ -3,7 +3,7 @@ using LinearAlgebra
 using Arpack
 using Plots
 
-using TightBindingLattice
+using LatticeTools
 using ExactDiagonalization
 
 println("# S=1/2 Heisenberg Chain")
diff --git a/src/ExactDiagonalization.jl b/src/ExactDiagonalization.jl
index c2bf761..403acd3 100644
--- a/src/ExactDiagonalization.jl
+++ b/src/ExactDiagonalization.jl
@@ -11,7 +11,7 @@ using SparseArrays
 #end
 
 # workaround?
-import TightBindingLattice.dimension
+import LatticeTools.dimension
 
 include("util.jl")
 include("frozensortedarray.jl")
diff --git a/src/Symmetry.jl b/src/Symmetry.jl
index ee67dec..c55abae 100644
--- a/src/Symmetry.jl
+++ b/src/Symmetry.jl
@@ -1,4 +1,4 @@
-using TightBindingLattice
+using LatticeTools
 
 include("Symmetry/symmetry_apply.jl")
 
diff --git a/src/Symmetry/symmetry_apply.jl b/src/Symmetry/symmetry_apply.jl
index ccbd013..55f5680 100644
--- a/src/Symmetry/symmetry_apply.jl
+++ b/src/Symmetry/symmetry_apply.jl
@@ -1,8 +1,8 @@
 export symmetry_apply
 export isinvariant
 
-import TightBindingLattice.AbstractSpaceSymmetryOperationEmbedding
-import TightBindingLattice.SymmetryEmbedding
+import LatticeTools.AbstractSpaceSymmetryOperationEmbedding
+import LatticeTools.SymmetryEmbedding
 
 ## AbstractSpaceSymmetryOperationEmbedding
 
diff --git a/test/test_symmetry_apply.jl b/test/test_symmetry_apply.jl
index f101224..478fa63 100644
--- a/test/test_symmetry_apply.jl
+++ b/test/test_symmetry_apply.jl
@@ -1,7 +1,7 @@
 using Test
 using ExactDiagonalization
 
-using TightBindingLattice
+using LatticeTools
 using ExactDiagonalization.Toolkit: pauli_matrix
 
 @testset "symmetry_apply" begin
diff --git a/test/test_symmetry_reduce.jl b/test/test_symmetry_reduce.jl
index 8b91ff1..42cb659 100644
--- a/test/test_symmetry_reduce.jl
+++ b/test/test_symmetry_reduce.jl
@@ -2,7 +2,7 @@ using Test
 using ExactDiagonalization
 
 using LinearAlgebra
-using TightBindingLattice
+using LatticeTools
 using ExactDiagonalization.Toolkit: pauli_matrix
 
 @testset "symmetry_reduce" begin

From 825c03e5e7bcca2c43be52f2c89346a507f9a0f0 Mon Sep 17 00:00:00 2001
From: Kyungmin Lee <kyungmin.lee.42@gmail.com>
Date: Sun, 30 Aug 2020 17:32:20 -0400
Subject: [PATCH 6/6] Remove Julia 1.6 from CI

---
 .travis.yml       | 7 -------
 appveyor.yml      | 2 --
 docs/Project.toml | 2 +-
 3 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index f869f8b..af42d3d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,13 +20,6 @@ matrix:
         - julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder()); Coveralls.submit(process_folder())'
         - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
         - julia --project=docs/ docs/make.jl
-    - julia: 1.6
-      script:
-        - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
-        - git clone https://github.com/JuliaRegistries/General.git $HOME/.julia/registries/General
-        - git clone https://github.com/kyungminlee/KyungminLeeRegistry.jl.git $HOME/.julia/registries/KyungminLeeRegistry
-        - julia --project -e 'import Pkg; Pkg.build()'
-        - JULIA_NUM_THREADS=2 julia --project --check-bounds=yes -e 'import Pkg; Pkg.test(; coverage=false)'
     - julia: nightly
       script:
         - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
diff --git a/appveyor.yml b/appveyor.yml
index 6f590e8..4647950 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -1,13 +1,11 @@
 environment:
   matrix:
     - julia_version: 1.5
-    - julia_version: 1.6
     - julia_version: nightly
 platform:
   - x64
 matrix:
   allow_failures:
-  - julia_version: 1.6
   - julia_version: nightly
 branches:
   only:
diff --git a/docs/Project.toml b/docs/Project.toml
index 54dd7d5..24de992 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -2,6 +2,6 @@
 Arpack = "7d9fca2a-8960-54d3-9f78-7d1dccf2cb97"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 ExactDiagonalization = "cf149b0a-e8f7-4f00-9ab4-03e4f5ec5cff"
+LatticeTools = "8a267902-5e0e-44c3-8ef8-9b2b5c352816"
 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
-TightBindingLattice = "f0da6d2f-861b-4198-860c-d50f6f65dfeb"