2-B.Operations
val apply_affine_map : (Impl.field array array * Impl.field array) -> Impl.field array -> Impl.field array