Specialized * methods for dot

* Now certain forms of rowvector*vector multiplications are forwarded to
  `dot`, so that BLAS can be used.
* `ConjArray` is defined before `RowVector`. In theory, this could be moved
  outside of `LinAlg` and directly into `Base`, but the operation is
  mostly a linear algebra related concept (as opposed to `conj.(array)`
  which is an elementwise concept).

Author: Andy Ferris

base/linalg/conjarray.jl

@@ -40,7 +40,6 @@ linearindexing{CA <: ConjArray}(::Type{CA}) = linearindexing(parent_type(CA))
 
 Returns a `ConjArray` lazy view of the input, where each element is conjugated.
 """
-@inline conj(rv::RowVector) = RowVector(_conj(parent(rv)))
 @inline conj(a::ConjArray) = parent(a)
 
 @inline _conj(a::AbstractArray) = ConjArray(a)

base/linalg/linalg.jl

@@ -240,9 +240,9 @@ end
 copy_oftype{T,N}(A::AbstractArray{T,N}, ::Type{T}) = copy(A)
 copy_oftype{T,N,S}(A::AbstractArray{T,N}, ::Type{S}) = convert(AbstractArray{S,N}, A)
 
+include("conjarray.jl")
 include("transpose.jl")
 include("rowvector.jl")
-include("conjarray.jl")
 
 include("exceptions.jl")
 include("generic.jl")

base/linalg/rowvector.jl

@@ -21,10 +21,11 @@ immutable RowVector{T,V<:AbstractVector} <: AbstractMatrix{T}
     end
 end
 
-
 @inline check_types{T1,T2}(::Type{T1},::AbstractVector{T2}) = check_types(T1, T2)
 @pure check_types{T1,T2}(::Type{T1},::Type{T2}) = T1 === transpose_type(T2) ? nothing : error("Element type mismatch. Tried to create a `RowVector{$T1}` from an `AbstractVector{$T2}`")
 
+typealias ConjRowVector{T, CV <: ConjVector} RowVector{T, CV}
+
 # The element type may be transformed as transpose is recursive
 @inline transpose_type{T}(::Type{T}) = promote_op(transpose, T)
 
@@ -138,6 +139,11 @@ end
 
 # Multiplication #
 
+# inner product -> dot product specializations
+@inline *{T<:Real}(rowvec::RowVector{T}, vec::AbstractVector{T}) = dot(parent(rowvec), vec)
+@inline *(rowvec::ConjRowVector, vec::AbstractVector) = dot(rowvec', vec)
+
+# Generic behavior
 @inline function *(rowvec::RowVector, vec::AbstractVector)
     if length(rowvec) != length(vec)
         throw(DimensionMismatch("A has dimensions $(size(rowvec)) but B has dimensions $(size(vec))"))