+/** Contraction of epsilon tensor with something else. */
+bool tensepsilon::contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const
+{
+ GINAC_ASSERT(is_a<indexed>(*self));
+ GINAC_ASSERT(is_a<indexed>(*other));
+ GINAC_ASSERT(is_a<tensepsilon>(self->op(0)));
+ unsigned num = self->nops() - 1;
+
+ if (is_ex_exactly_of_type(other->op(0), tensepsilon) && num+1 == other->nops()) {
+
+ // Contraction of two epsilon tensors is a determinant
+ ex dim = ex_to<idx>(self->op(1)).get_dim();
+ matrix M(num, num);
+ for (int i=0; i<num; i++) {
+ for (int j=0; j<num; j++) {
+ if (minkowski)
+ M(i, j) = lorentz_g(self->op(i+1), other->op(j+1), pos_sig);
+ else
+ M(i, j) = metric_tensor(self->op(i+1), other->op(j+1));
+ }
+ }
+ int sign = minkowski ? -1 : 1;
+ *self = sign * M.determinant().simplify_indexed();
+ *other = _ex1;
+ return true;
+ }
+
+ return false;
+}
+