use max-norm in check_fx()
new check_vfvx()