File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change 33 HomSpace(codomain::CompositeSpace{S}, domain::CompositeSpace{S}) where {S<:ElementarySpace}
44
55Represents the linear space of morphisms with codomain of type `P1` and domain of type `P2`.
6- Note that `HomSpace`` is not a subtype of [`VectorSpace`](@ref), i.e. we restrict the latter
6+ Note that `HomSpace` is not a subtype of [`VectorSpace`](@ref), i.e. we restrict the latter
77to denote categories and their objects, and keep `HomSpace` distinct.
88"""
99struct HomSpace{S <: ElementarySpace , P1 <: CompositeSpace{S} , P2 <: CompositeSpace{S} }
Original file line number Diff line number Diff line change 22 struct ProductSpace{S<:ElementarySpace, N} <: CompositeSpace{S}
33 ProductSpace(spaces::NTuple{N, S}) where {S<:ElementarySpace, N}
44
5- A `ProductSpace` is a tensor product space of `N` vector spaces of type `S<: ElementarySpace`.
5+ A `ProductSpace` is a tensor product space of `N` vector spaces of type `S <: ElementarySpace`.
66Only tensor products between [`ElementarySpace`](@ref) objects of the same type are allowed.
77"""
88struct ProductSpace{S <: ElementarySpace , N} <: CompositeSpace{S}
You can’t perform that action at this time.
0 commit comments