Module optimath::templatemetamath

build calculations in the type system, for better locality of operations

instead of calculating the whole result for each step of the operation calculate all steps of the operation for each element of the result.

this might lead to less memory bandwidth used, as data gets worked on in one go. might also lead to less cache locality tough, as elements from all inputs are used instead of all elements from one (two). cache locality will be slightly mitigated, as operations will (soon (TM)) run on multiple data at once.

Structs

VAdd