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.
left/rightoneunit
Sector
1 parent ae10a73 commit 7f01306Copy full SHA for 7f01306
test/spaces.jl
@@ -209,6 +209,8 @@ println("------------------------------------")
209
W = @constinferred GradedSpace(one(I) => 1)
210
@test W == GradedSpace(one(I) => 1, randsector(I) => 0)
211
@test @constinferred(oneunit(V)) == W == oneunit(typeof(V))
212
+ @test @constinferred(leftoneunit(V)) == oneunit(V) ==
213
+ @constinferred(rightoneunit(V))
214
@test @constinferred(zero(V)) == GradedSpace(one(I) => 0)
215
# randsector never returns trivial sector, so this cannot error
216
@test_throws ArgumentError GradedSpace(one(I) => 1, randsector(I) => 0, one(I) => 3)
0 commit comments