Zero if wedge result degree > dim

Author: Michael Jung

src/sage/manifolds/differentiable/diff_form.py

@@ -530,12 +530,13 @@ def wedge(self, other):
         dest_map_resu = dest_map.restrict(dom_resu,
                                           subcodomain=ambient_dom_resu)
         ###
-        # Facilitate computations in case self or other is zero:
+        # Facilitate computations involving zero:
+        if resu_degree > ambient_dom_resu._dim:
+            return dom_resu.diff_form_module(resu_degree,
+                                             dest_map=dest_map_resu).zero()
         if self._is_zero or other._is_zero:
             return dom_resu.diff_form_module(resu_degree,
                                              dest_map=dest_map_resu).zero()
-        ###
-        # In case self is other and tensor rank is odd:
         if self is other and (self._tensor_rank % 2) == 1:
             return dom_resu.diff_form_module(resu_degree,
                                              dest_map=dest_map_resu).zero()

src/sage/tensor/modules/free_module_alt_form.py

@@ -614,10 +614,16 @@ def wedge(self, other):
             return self * other
         fmodule = self._fmodule
         rank_r = self._tensor_rank + other._tensor_rank
+        ###
+        # Facilitate computations involving zero:
+        if rank_r > fmodule._rank:
+            return fmodule.dual_exterior_power(rank_r).zero()
         if self._is_zero or other._is_zero:
             return fmodule.dual_exterior_power(rank_r).zero()
         if self is other and (self._tensor_rank % 2) == 1:
             return fmodule.dual_exterior_power(rank_r).zero()
+        ###
+        # Generic case:
         basis = self.common_basis(other)
         if basis is None:
             raise ValueError("no common basis for the exterior product")