Fix another issue with component evaluation where indices are explici…

…tly fixed to an integer value.

core/algorithms/evaluate.cc

@@ -308,8 +308,11 @@ Ex::iterator evaluate::handle_factor(sibling_iterator sib, const index_map_t& fu
 
 	// Attempt to apply each component substitution rule on this term.
 	Ex repl("\\components");
-	for(auto& ind: ind_free)
-		repl.append_child(repl.begin(), ind.second);
+	// Add the names of the free indices (if they are truly free, not integers).
+	for(auto& ind: ind_free) {
+		if(ind.second->is_integer()==false)
+			repl.append_child(repl.begin(), ind.second);
+		}
 	// If there are no free indices, add an empty first child anyway,
 	// otherwise we need special cases in various other places.
 	auto vl = repl.append_child(repl.begin(), str_node("\\comma"));

tests/components.cdb

@@ -836,3 +836,18 @@ def test41():
     print("Test 41 passed")
 
 test41()
+
+def test42():
+    __cdbkernel__=create_scope()
+    {k,l,m,n}::Indices(rotation, values={1..3}).
+    \epsilon{#}::EpsilonTensor.
+    ex := (K_{1})_{m n} e_{1}_{n} = \epsilon_{1 m n} e_{1}_{n};
+    evaluate(ex, $e_{1}_{1} = 1, e_{1}_{2} = a, e_{1}_{3} = b$, rhsonly=True);
+    ex = rhs(ex)
+    tst:= \components_{m}{\comma{\comma{2}=b}{\comma{3}=-a}} - @(ex);
+    collect_components(tst)
+    assert(tst==0)
+    print("Test 42 passed")
+
+test42()
+