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 87f55d4 commit cad4fbeCopy full SHA for cad4fbe
src/spaces/vectorspaces.jl
@@ -154,8 +154,8 @@ const oplus = ⊕
154
⊖(V::ElementarySpace, W::ElementarySpace) -> X::ElementarySpace
155
ominus(V::ElementarySpace, W::ElementarySpace) -> X::ElementarySpace
156
157
-Return the set difference of two elementary spaces, i.e. an instance `X::ElementarySpace`
158
-such that `V = W ⊕ X`.
+Return a space that is equivalent to the orthogonal complement of `W` in `V`,
+i.e. an instance `X::ElementarySpace` such that `V = W ⊕ X`.
159
"""
160
⊖(V₁::S, V₂::S) where {S<:ElementarySpace}
161
⊖(V₁::VectorSpace, V₂::VectorSpace) = ⊖(promote(V₁, V₂)...)
0 commit comments