Fix ambiguities with BlockArrays.jl (#39)

Author: mtfishman

Project.toml

@@ -1,7 +1,7 @@
 name = "BlockSparseArrays"
 uuid = "2c9a651f-6452-4ace-a6ac-809f4280fbb4"
 authors = ["ITensor developers <support@itensor.org> and contributors"]
-version = "0.2.12"
+version = "0.2.13"
 
 [deps]
 Adapt = "79e6a3ab-5dfb-504d-930d-738a2a938a0e"

ext/BlockSparseArraysGradedUnitRangesExt/BlockSparseArraysGradedUnitRangesExt.jl

@@ -29,6 +29,15 @@ function Base.similar(
   return similar_blocksparse(a, elt, axes)
 end
 
+# Fix ambiguity error with `BlockArrays.jl`.
+function Base.similar(
+  a::StridedArray,
+  elt::Type,
+  axes::Tuple{AbstractGradedUnitRange,Vararg{AbstractGradedUnitRange}},
+)
+  return similar_blocksparse(a, elt, axes)
+end
+
 # Fix ambiguity error with `BlockArrays.jl`.
 function Base.similar(
   a::StridedArray,
@@ -63,14 +72,21 @@ function Base.getindex(
   return getindex_blocksparse(a, I1, I_rest...)
 end
 
-# Fix ambiguity errors.
+# Fix ambiguity error with Base.
+function Base.getindex(a::Vector, I::AbstractGradedUnitRange)
+  return getindex_blocksparse(a, I)
+end
+
+# Fix ambiguity error with BlockSparseArrays.jl.
 function Base.getindex(
   a::AnyAbstractBlockSparseArray,
   I1::AbstractGradedUnitRange,
   I_rest::AbstractGradedUnitRange...,
 )
   return getindex_blocksparse(a, I1, I_rest...)
 end
+
+# Fix ambiguity error with BlockSparseArrays.jl.
 function Base.getindex(
   a::AnyAbstractBlockSparseArray{<:Any,2},
   I1::AbstractGradedUnitRange,

test/test_aqua.jl

@@ -3,6 +3,6 @@ using Aqua: Aqua
 using Test: @testset
 
 @testset "Code quality (Aqua.jl)" begin
-  # TODO: Fix Aqua issues and add this back.
-  # Aqua.test_all(BlockSparseArrays)
+  # TODO: Reenable ambiguity and piracy checks.
+  Aqua.test_all(BlockSparseArrays; ambiguities=false, piracies=false)
 end

test/test_gradedunitrangesext.jl

@@ -2,7 +2,8 @@
 using Test: @test, @testset
 using BlockArrays:
   AbstractBlockArray, Block, BlockedOneTo, blockedrange, blocklengths, blocksize
-using BlockSparseArrays: BlockSparseArray, BlockSparseMatrix, blockstoredlength
+using BlockSparseArrays:
+  BlockSparseArray, BlockSparseMatrix, BlockSparseVector, blockstoredlength
 using GradedUnitRanges:
   GradedUnitRanges,
   GradedOneTo,
@@ -332,6 +333,20 @@ const elts = (Float32, Float64, Complex{Float32}, Complex{Float64})
     @test iszero(b[Block(1, 2)])
     @test b[Block(2, 2)] == a2
     @test all(GradedUnitRanges.space_isequal.(axes(b), (r, dual(r))))
+
+    # Regression test for Vector, which caused
+    # an ambiguity error with Base.
+    r = gradedrange([U1(0) => 2, U1(1) => 3])
+    a1 = randn(elt, 2)
+    a2 = zeros(elt, 3)
+    a = vcat(a1, a2)
+    b = a[r]
+    @test eltype(b) === elt
+    @test b isa BlockSparseVector{elt}
+    @test blockstoredlength(b) == 1
+    @test b[Block(1)] == a1
+    @test iszero(b[Block(2)])
+    @test all(GradedUnitRanges.space_isequal.(axes(b), (r,)))
   end
 end
 end