Specialise `GradedSpace` functions based on storage type - #511

Open

borisdevos wants to merge 12 commits into

mainfrom

bd/gradedspace-storage

Commits on Aug 11, 2026

specialise dim to storage type
borisdevos
committed
b30f205
oplus and ominus
borisdevos
committed
41f43fd
infimum and supremum
borisdevos
committed
619804d
fuse
borisdevos
committed
0967bd0
truncate_space
borisdevos
committed
60186d5
restore binary search for sectordicts
borisdevos
committed
8f90be2
refactor sorted merge procedure
borisdevos
committed
ae10f5b
speed up fuse slightly with sortperm
borisdevos
committed
47a5f34
import thing
borisdevos
committed
411dc44

Commits on Aug 12, 2026

splat with type annotation above Val
borisdevos
committed
0adec3b

Commits on Aug 21, 2026