Documents vecarith, vecreduc, and norms