Remove the lazy and symbolic ITensor layer, and rename dim to findname

Project.toml

@@ -1,61 +1,48 @@
 name = "ITensorBase"
 uuid = "4795dd04-0d67-49bb-8f44-b89c448a1dc7"
-version = "0.15.5"
+version = "0.16.0"
 authors = ["ITensor developers <support@itensor.org> and contributors"]
 
 [workspace]
 projects = ["benchmark", "dev", "docs", "examples", "test"]
 
 [deps]
-AbstractTrees = "1520ce14-60c1-5f80-bbc7-55ef81b5835c"
 Accessors = "7d9f7c33-5ae7-4f3b-8dc6-eff91059b697"
 ArrayLayouts = "4c555306-a7a7-4459-81d9-ec55ddd5c99a"
-Combinatorics = "861a8166-3701-5b0c-9a16-15d98fcdc6aa"
-ConstructionBase = "187b0558-2788-49d3-abe0-74a17ed4e7c9"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MatrixAlgebraKit = "6c742aac-3347-4629-af66-fc926824e5e4"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 SimpleTraits = "699a6c99-e7fa-54fc-8d76-47d257e15c1d"
 TensorAlgebra = "68bd88dc-f39d-4e12-b2ca-f046b68fcc6a"
-TermInterface = "8ea1fca8-c5ef-4a55-8b96-4e9afe9c9a3c"
 UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 VectorInterface = "409d34a3-91d5-4945-b6ec-7529ddf182d8"
-WrappedUnions = "325db55a-9c6c-5b90-b1a2-ec87e7a38c44"
 
 [weakdeps]
 Adapt = "79e6a3ab-5dfb-504d-930d-738a2a938a0e"
 GradedArrays = "bc96ca6e-b7c8-4bb6-888e-c93f838762c2"
 Mooncake = "da2b9cff-9c12-43a0-ae48-6db2b0edb7d6"
-OMEinsumContractionOrders = "6f22d1fd-8eed-4bb7-9776-e7d684900715"
 TensorKit = "07d1fe3e-3e46-537d-9eac-e9e13d0d4cec"
 TensorKitSectors = "13a9c161-d5da-41f0-bcbd-e1a08ae0647f"
 
 [extensions]
 ITensorBaseAdaptExt = "Adapt"
 ITensorBaseGradedArraysExt = ["GradedArrays", "TensorKitSectors"]
 ITensorBaseMooncakeExt = "Mooncake"
-ITensorBaseOMEinsumContractionOrdersExt = "OMEinsumContractionOrders"
 ITensorBaseTensorKitExt = "TensorKit"
 
 [compat]
-AbstractTrees = "0.4.5"
 Accessors = "0.1.39"
 Adapt = "4.1.1"
 ArrayLayouts = "1.11"
-Combinatorics = "1"
-ConstructionBase = "1.6"
 GradedArrays = "0.17"
 LinearAlgebra = "1.10"
 MatrixAlgebraKit = "0.2, 0.3, 0.4, 0.5, 0.6"
 Mooncake = "0.4.202, 0.5"
-OMEinsumContractionOrders = "1.3"
 Random = "1.10"
 SimpleTraits = "0.9.4"
 TensorAlgebra = "0.23"
 TensorKit = "0.17"
 TensorKitSectors = "0.3.9"
-TermInterface = "2"
 UUIDs = "1.10"
 VectorInterface = "0.6"
-WrappedUnions = "0.3"
 julia = "1.10"

docs/Project.toml

@@ -16,7 +16,7 @@ path = ".."
 Documenter = "1"
 DocumenterInterLinks = "1"
 GradedArrays = "0.17"
-ITensorBase = "0.15"
+ITensorBase = "0.16"
 ITensorFormatter = "0.2.27"
 Literate = "2"
 MatrixAlgebraKit = "0.2, 0.3, 0.4, 0.5, 0.6"

examples/Project.toml

@@ -6,5 +6,5 @@ MatrixAlgebraKit = "6c742aac-3347-4629-af66-fc926824e5e4"
 path = ".."
 
 [compat]
-ITensorBase = "0.15"
+ITensorBase = "0.16"
 MatrixAlgebraKit = "0.2, 0.3, 0.4, 0.5, 0.6"

src/ITensorBase.jl

@@ -36,14 +36,4 @@ include("sorteddict.jl")
 include("index.jl")
 include("quirks.jl")
 
-# Lazy and symbolic ITensor expressions.
-include("lazyitensors/baseextensions.jl")
-include("lazyitensors/itensorbaseextensions.jl")
-include("lazyitensors/applied.jl")
-include("lazyitensors/lazyinterface.jl")
-include("lazyitensors/lazybroadcast.jl")
-include("lazyitensors/lazyitensor.jl")
-include("lazyitensors/symbolicitensor.jl")
-include("lazyitensors/evaluation_order.jl")
-
 end

src/abstractnamedtensor.jl

@@ -117,10 +117,10 @@ inds(a::AbstractNamedTensor, dim::Int) = axes(a)[dim]
 
 isnamed(::Type{<:AbstractNamedTensor}) = true
 
-function dim(a::AbstractNamedTensor, n)
+function findname(a::AbstractNamedTensor, n)
     return findfirst(==(name(n)), names(a))
 end
-dims(a::AbstractNamedTensor, ns) = Base.Fix1(dim, a).(ns)
+findnames(a::AbstractNamedTensor, ns) = Base.Fix1(findname, a).(ns)
 
 dimname_isequal(x) = Base.Fix1(dimname_isequal, x)
 dimname_isequal(x, y) = isequal(x, y)
@@ -140,7 +140,7 @@ dimname_isequal(r1::NamedUnitRange, r2::Name) = name(r1) == name(r2)
 dimname_isequal(r1::Name, r2::NamedUnitRange) = name(r1) == name(r2)
 
 function to_inds(a::AbstractNamedTensor, dims)
-    is = Base.Fix1(dim, a).(name.(dims))
+    is = Base.Fix1(findname, a).(name.(dims))
     return Base.Fix1(inds, a).(is)
 end
 
@@ -348,8 +348,8 @@ end
 
 VI.inner(x::AbstractNamedTensor, y::AbstractNamedTensor) = LinearAlgebra.dot(x, y)
 
-Base.axes(a::AbstractNamedTensor, dimname::Name) = axes(a, dim(a, dimname))
-Base.size(a::AbstractNamedTensor, dimname::Name) = size(a, dim(a, dimname))
+Base.axes(a::AbstractNamedTensor, dimname::Name) = axes(a, findname(a, dimname))
+Base.size(a::AbstractNamedTensor, dimname::Name) = size(a, findname(a, dimname))
 
 # Lowered through `TensorAlgebra.similar_map` (all-codomain, so identical to
 # `similar(parent, elt, axes)` for dense) so non-`AbstractArray` backends whose `similar`