Closed EduardoRFS closed 3 months ago
Faster reduction and more mutation friendly.
Currently Teika expand head uses an eager version of shifting, while this works it is incredibly slow as it makes equality quadratic.
This makes Teika reduction 10x faster.
Goals
Faster reduction and more mutation friendly.
Context
Currently Teika expand head uses an eager version of shifting, while this works it is incredibly slow as it makes equality quadratic.
This makes Teika reduction 10x faster.
Related
199