Skip to main content

triangle_kernel_output_cols

xlog_logic::wcoj_var_ordering

Function triangle_kernel_output_cols 

Source 
pub fn triangle_kernel_output_cols(leader_idx: u8) -> Vec<ProjectExpr>
Expand description

Promoter helper: triangle canonical head-projection table.

Maps the kernel-direct output (in leader’s (a, b, c) order) back to the canonical head order (X, Y, Z).

Canonical semantics:

  • 0 (e_xy default) — identity [Column(0), Column(1), Column(2)].
  • 1 (e_yz) — [Column(2), Column(0), Column(1)] because kernel-direct = (Y, Z, X).
  • 2 (e_xz) — [Column(0), Column(2), Column(1)] because kernel-direct = (X, Z, Y).