Define generic standard basis and projector states/operators, fix some parsing issues (#14)

Author: mtfishman

Project.toml

@@ -1,13 +1,20 @@
 name = "QuantumOperatorDefinitions"
 uuid = "826dd319-6fd5-459a-a990-3a4f214664bf"
 authors = ["ITensor developers <support@itensor.org> and contributors"]
-version = "0.1.2"
+version = "0.1.3"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 
+[weakdeps]
+ITensorBase = "4795dd04-0d67-49bb-8f44-b89c448a1dc7"
+
+[extensions]
+QuantumOperatorDefinitionsITensorBaseExt = "ITensorBase"
+
 [compat]
+ITensorBase = "0.1.10"
 LinearAlgebra = "1.10"
 Random = "1.10"
 julia = "1.10"

ext/QuantumOperatorDefinitionsITensorBaseExt/QuantumOperatorDefinitionsITensorBaseExt.jl

@@ -0,0 +1,24 @@
+module QuantumOperatorDefinitionsITensorBaseExt
+
+using ITensorBase: ITensor, Index, dag, gettag, prime
+using QuantumOperatorDefinitions:
+  QuantumOperatorDefinitions, OpName, SiteType, StateName, has_fermion_string
+
+function QuantumOperatorDefinitions.SiteType(r::Index)
+  return SiteType(gettag(r, "sitetype", "Qudit"); dim=Int(length(r)))
+end
+
+function QuantumOperatorDefinitions.has_fermion_string(n::String, r::Index)
+  return has_fermion_string(OpName(n), SiteType(r))
+end
+
+function Base.AbstractArray(n::OpName, r::Index)
+  # TODO: Define this with mapped dimnames.
+  return ITensor(AbstractArray(n, SiteType(r)), (prime(r), dag(r)))
+end
+
+function Base.AbstractArray(n::StateName, r::Index)
+  return ITensor(AbstractArray(n, SiteType(r)), (r,))
+end
+
+end

src/has_fermion_string.jl

@@ -1 +1,7 @@
-has_fermion_string(::OpName, ::SiteType) = nothing
+function has_fermion_string(n::OpName, t::SiteType)
+  n′ = alias(n)
+  if n == n′
+    return false
+  end
+  return has_fermion_string(n′, t)
+end