File tree Expand file tree Collapse file tree 1 file changed +2
-4
lines changed
Expand file tree Collapse file tree 1 file changed +2
-4
lines changed Original file line number Diff line number Diff line change 170170function infimum (V₁:: GradedSpace{I} , V₂:: GradedSpace{I} ) where {I<: Sector }
171171 if V₁. dual == V₂. dual
172172 typeof (V₁)(c => min (dim (V₁, c), dim (V₂, c))
173- for c in
174- union (sectors (V₁), sectors (V₂)), dual in V₁. dual)
173+ for c in union (sectors (V₁), sectors (V₂)); dual= V₁. dual)
175174 else
176175 throw (SpaceMismatch (" Infimum of space and dual space does not exist" ))
177176 end
180179function supremum (V₁:: GradedSpace{I} , V₂:: GradedSpace{I} ) where {I<: Sector }
181180 if V₁. dual == V₂. dual
182181 typeof (V₁)(c => max (dim (V₁, c), dim (V₂, c))
183- for c in
184- union (sectors (V₁), sectors (V₂)), dual in V₁. dual)
182+ for c in union (sectors (V₁), sectors (V₂)); dual= V₁. dual)
185183 else
186184 throw (SpaceMismatch (" Supremum of space and dual space does not exist" ))
187185 end
You can’t perform that action at this time.
0 commit comments