We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 38f7d2e commit 6386d33Copy full SHA for 6386d33
src/spaces/productspace.jl
@@ -230,7 +230,6 @@ end
230
Return a tensor product of zero spaces of type `S`, i.e. this is the unit object under the
231
tensor product operation, such that `V ⊗ one(V) == V`.
232
"""
233
-#TODO: unit(V::S)?
234
Base.one(V::VectorSpace) = one(typeof(V))
235
Base.one(::Type{<:ProductSpace{S}}) where {S <: ElementarySpace} = ProductSpace{S, 0}(())
236
Base.one(::Type{S}) where {S <: ElementarySpace} = ProductSpace{S, 0}(())
0 commit comments