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.
unitspace
1 parent bfcacdf commit e53d9c4Copy full SHA for e53d9c4
src/spaces/gradedspace.jl
@@ -170,6 +170,13 @@ function rightunitspace(S::GradedSpace{I}) where {I<:Sector}
170
end
171
172
173
+"""
174
+ unitspace(S::GradedSpace{I}) where {I<:Sector} -> GradedSpace{I}
175
+
176
+Return the corresponding vector space of type `GradedSpace{I}` that represents the
177
+ space consisting of the unit(s) of the objects in `Sector` `I`. For `I` with simple unit,
178
+this is a one-dimensional space.
179
180
function unitspace(S::Type{<:GradedSpace{I}}) where {I<:Sector}
181
return S(unit => 1 for unit in allunits(I))
182
0 commit comments