Tagging and priming, etc.

Author: mtfishman

examples/Project.toml

@@ -1,4 +1,5 @@
 [deps]
+ITensorBase = "4795dd04-0d67-49bb-8f44-b89c448a1dc7"
 ITensors = "9136182c-28ba-11e9-034c-db9fb085ebd5"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 NamedDimsArrays = "60cbd0c0-df58-4cb7-918c-6f5607b73fde"

src/ITensors.jl

@@ -1,14 +1,17 @@
 module ITensors
 
 using TensorAlgebra: contract
-using ITensorBase: ITensor, Index
+using ITensorBase: ITensor, Index, addtags, tags
 include("SiteTypes/SiteTypes.jl")
 using .SiteTypes: SiteTypes
 include("LazyApply/LazyApply.jl")
 using .LazyApply: LazyApply
 include("Ops/Ops.jl")
 using .Ops: Ops
 
+# Quirks, decide where or if to define.
+using ITensorBase: dag, dim, hasqns
+
 # TODO: Used in `ITensorMPS.jl`, define in `BackendSelection.jl`.
 struct Algorithm{algname} end
 macro Algorithm_str(algname)
@@ -30,11 +33,10 @@ macro ts_str(tags) end
 struct OneITensor end
 
 # TODO: Used in `ITensorMPS.jl`, define in `ITensorBase.jl`.
-function addtags end
+# function addtags end
 function addtags! end
 function commonind end
 function commoninds end
-function dag end
 function noprime end
 function noprime! end
 function prime end

src/SiteTypes/sitetype.jl

@@ -1,6 +1,6 @@
 using ChainRulesCore: @ignore_derivatives
 using ..ITensors:
-  ITensors, Index, ITensor, itensor, dag, onehot, prime, product, swapprime, tags
+  ITensors, Index, ITensor, itensor, addtags, dag, onehot, prime, product, swapprime, tags
 
 @eval struct SiteType{T}
   (f::Type{<:SiteType})() = $(Expr(:new, :f))