Part of #417 (rule-contract effort), second domain. Extract the construction folds of the t2s functions (trace/det/norm/dot/dot_product) from tensor_to_scalar_functions.cpp into named, group-tagged try_* rules under the uniform contract, declared in a catalog header and defined in a .cpp (operator ADL, same split as scalar_function_rules). Close the safe transpose gaps: trace(trans A) -> trace(A), norm(trans A) -> norm(A) (both transpose-invariant). Defer reordering rules (trace(AB)=trace(BA), non-confluent) to an opt-in pass. The det terminal PD/PSD annotation stays in det() (not a fold).
Signed-off-by: Peter Lenz peterlenz89.pl@gmail.com
Part of #417 (rule-contract effort), second domain. Extract the construction folds of the t2s functions (trace/det/norm/dot/dot_product) from tensor_to_scalar_functions.cpp into named, group-tagged
try_*rules under the uniform contract, declared in a catalog header and defined in a .cpp (operator ADL, same split as scalar_function_rules). Close the safe transpose gaps:trace(trans A) -> trace(A),norm(trans A) -> norm(A)(both transpose-invariant). Defer reordering rules (trace(AB)=trace(BA), non-confluent) to an opt-in pass. The det terminal PD/PSD annotation stays in det() (not a fold).Signed-off-by: Peter Lenz peterlenz89.pl@gmail.com