Module extension

Module extension 

Source

Structsยง

FlatIter
FlatMatrixView
Flattens a matrix of extension field elements to one of base field elements. The flattening is done horizontally, resulting in a wider matrix.