xTras Package Symbol

MakeContractionAnsatz

MakeContractionAnsatz[expr]
makes an Ansatz with all possible contractions of expr.

MakeContractionAnsatz[expr, frees]
makes an Ansatz with all possible contractions of expr that have frees as free indices.

MakeContractionAnsatz[expr, frees, sym]
makes an Ansatz with all possible contractions of expr with the symmetry sym imposed on the free indices frees.

MORE INFORMATION

MakeContractionAnsatz is a convenience wrapper for AllContractions and MakeAnsatz.

MakeContractionAnsatz takes the same options as AllContractions and MakeAnsatz.

MakeContractionAnsatz uses AllContractions internally, hence its conditions on the input expression also apply to MakeContractionAnsatz.