factorization in trivial extensions
add _vector_ for function fields
test Stefans example in mac_lane_step()