Add explicit hascommoninds/uniqueinds imports where transitive scope was lost

Continuing the precompile fix from the previous commit. Several files
across `src/` call bare `hascommoninds(t1::ITensor, t2::ITensor)` or
`uniqueinds(t1::ITensor, t2::ITensor)` (both ITensors functions on
ITensor pairs — these are legitimate, not the deleted network+edge
wrappers) but don't import those names themselves. They were relying on
`abstractitensornetwork.jl`'s top-level `using ITensors: ..., hascommoninds,
unioninds, uniqueinds, ...` to bring those names into the
`ITensorNetworks` module namespace via transitive scope.

The wrapper deletion in this PR removed those imports from
`abstractitensornetwork.jl` (since the wrappers it defined were the only
local users), which in turn breaks the transitive scope downstream files
were depending on. Cold precompile fails; Revise's incremental updates
mask the problem locally.

Files updated (each gets only the names it actually uses):

- `src/apply.jl` — adds `hascommoninds` to the existing
  `using ITensors: ...` line.
- `src/solvers/subspace/densitymatrix.jl` — adds
  `using ITensors: hascommoninds, uniqueinds`.
- `src/solvers/applyexp.jl` — adds `using ITensors: uniqueinds`.
- `src/treetensornetworks/projttns/projttn.jl` — adds `hascommoninds`
  to the existing `using ITensors: ITensor` line.
- `src/treetensornetworks/projttns/projouterprodttn.jl` — same.

`src/solvers/subspace/ortho_subspace.jl` already does bare
`using ITensors`, which brings everything into scope, so it's unaffected.

These imports made the transitive dependency that already existed
explicit. No semantic changes.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: mtfishman

src/apply.jl

@@ -2,8 +2,8 @@ using .BaseExtensions: maybe_real
 using Graphs: has_edge
 using ITensors.NDTensors: scalartype
 using ITensors: ITensors, ITensor, Index, Ops, apply, commonind, commoninds, contract, dag,
-    denseblocks, factorize, factorize_svd, hasqns, isdiag, noncommoninds, noprime, prime,
-    replaceind, replaceinds, tags, unioninds, uniqueinds
+    denseblocks, factorize, factorize_svd, hascommoninds, hasqns, isdiag, noncommoninds,
+    noprime, prime, replaceind, replaceinds, tags, unioninds, uniqueinds
 using KrylovKit: linsolve
 using LinearAlgebra: eigen, norm, qr, svd
 using NamedGraphs: NamedEdge, has_edge

src/solvers/applyexp.jl

@@ -1,3 +1,4 @@
+using ITensors: uniqueinds
 using Printf: @printf
 
 @kwdef mutable struct ApplyExpProblem{State} <: AbstractProblem

src/solvers/subspace/densitymatrix.jl

@@ -1,3 +1,4 @@
+using ITensors: hascommoninds, uniqueinds
 using NamedGraphs.GraphsExtensions: incident_edges
 using Printf: @printf
 

src/treetensornetworks/projttns/projouterprodttn.jl

@@ -1,6 +1,6 @@
 using DataGraphs: DataGraphs
 using Dictionaries: set!
-using ITensors: ITensor
+using ITensors: ITensor, hascommoninds
 using NamedGraphs.GraphsExtensions: incident_edges, is_leaf_vertex
 
 struct ProjOuterProdTTN{V} <: AbstractProjTTN{V}

src/treetensornetworks/projttns/projttn.jl

@@ -1,7 +1,7 @@
 using DataGraphs: DataGraphs, underlying_graph
 using Dictionaries: Dictionary, Indices
 using Graphs: edgetype, vertices
-using ITensors: ITensor
+using ITensors: ITensor, hascommoninds
 using NamedGraphs.GraphsExtensions: incident_edges, is_leaf_vertex
 using NamedGraphs: NamedEdge