fixed SegreMap
fixed multigrading in GradedHom and TensorProduct