fix: fix some method ambiguities for array methods

Author: AayushSabharwal

src/array-lib.jl

@@ -81,10 +81,10 @@ end
 function *(a::PolyadicT, b::Arr, bs::PolyadicT...)
     return *(a, unwrap(b), bs...)
 end
-function *(a::LinearAlgebra.Adjoint{T, <: AbstractVector}, b::Arr, bs::PolyadicT...) where {T}
+function *(a::LinearAlgebra.Adjoint{T, <: AbstractVector}, b::Arr, bs::PolyadicT...) where {T <: Number}
     return *(a, unwrap(b), bs...)
 end
-function *(a::LinearAlgebra.Adjoint{T, <: AbstractVector}, b::Arr, c::AbstractVector, bs::PolyadicT...) where {T}
+function *(a::LinearAlgebra.Adjoint{T, <: AbstractVector}, b::Arr, c::AbstractVector, bs::PolyadicT...) where {T <: Number}
     return *(a, unwrap(b), unwrap(c), bs...)
 end
 function *(a::Number, b::Arr, bs::PolyadicT...)
@@ -122,6 +122,20 @@ function +(x1::Arr, x2::Arr, args::AbstractArray...)
     return +(unwrap(x1), unwrap(x2), args...)
 end
 
+for T1 in [Arr, AbstractArray], T2 in [Arr, AbstractArray]
+    T1 == T2 == AbstractArray && continue
+    @eval Base.:(\)(x1::$T1{Num, 1}, x2::$T2{Num, 1}) = Num(unwrap(x1) \ unwrap(x2))
+    @eval Base.:(\)(x1::$T1{Num, 1}, x2::$T2{Num, 2}) = Arr{Num, 2}(unwrap(x1) \ unwrap(x2))
+    @eval Base.:(\)(x1::$T1{Num, 2}, x2::$T2{Num, 1}) = Arr{Num, 1}(unwrap(x1) \ unwrap(x2))
+    @eval Base.:(\)(x1::$T1{Num, 2}, x2::$T2{Num, 2}) = Arr{Num, 2}(unwrap(x1) \ unwrap(x2))
+
+    @eval Base.:(/)(x1::$T1{Num, 1}, x2::$T2{Num, 1}) = Arr{Num, 2}(unwrap(x1) / unwrap(x2))
+    @eval Base.:(/)(x1::$T1{Num, 1}, x2::$T2{Num, 2}) = Arr{Num, 2}(unwrap(x1) / unwrap(x2))
+    @eval Base.:(/)(x1::$T1{Num, 2}, x2::$T2{Num, 2}) = Arr{Num, 2}(unwrap(x1) / unwrap(x2))
+end
+
+Base.:(/)(x1::Num, x2::Arr{Num, 1}) = Arr{Num, 2}(unwrap(x1) / unwrap(x2))
+
 #################### MAP-REDUCE ################
 
 SymbolicUtils.@map_methods Arr unwrap wrap

src/num.jl

@@ -65,7 +65,7 @@ for (T1, T2) in Iterators.product([Num, Integer], [Num, Integer])
     end
 end
 
-for f in [/, \, ^]
+for f in [\, ^]
     @eval function (::$(typeof(f)))(x1::AbstractArray{<:Real}, x2::Num)
         $f(x1, unwrap(x2))
     end
@@ -75,6 +75,14 @@ for f in [/, \, ^]
     end
 end
 
+function Base.:(/)(x1::AbstractArray{<:Real}, x2::Num)
+    /(unwrap(x1), unwrap(x2))
+end
+
+function Base.:(/)(x1::Num, x2::AbstractVector{<:Real})
+    /(unwrap(x1), unwrap(x2))
+end
+
 Base.conj(x::Num) = x
 Base.transpose(x::Num) = x