---------------------------------------- |context> => |context: permutation table> supported-ops |X> => |op: Pab> + |op: Pac> + |op: Pbc> Pab |X> => |0> Pac |X> => |0> Pbc |X> => |0> supported-ops |*> => |op: Pba> + |op: Pca> + |op: Pcb> + |op: Pabc> + |op: Pacb> Pba |*> #=> Pab |_self> Pca |*> #=> Pac |_self> Pcb |*> #=> Pbc |_self> Pabc |*> #=> Pac Pab |_self> Pacb |*> #=> Pbc Pab |_self> supported-ops |Y> => |op: Pab> + |op: Pac> + |op: Pbc> Pab |Y> => |Y> Pac |Y> => |Y> Pbc |Y> => |Y> supported-ops |X1> => |op: Pab> + |op: Pac> + |op: Pbc> Pab |X1> => |0> Pac |X1> => -1.0|X3> Pbc |X1> => |X2> supported-ops |X2> => |op: Pab> + |op: Pac> + |op: Pbc> Pab |X2> => |X3> Pac |X2> => |0> Pbc |X2> => |X1> supported-ops |X3> => |op: Pab> + |op: Pac> + |op: Pbc> Pab |X3> => |X2> Pac |X3> => -1.0|X1> Pbc |X3> => |0> supported-ops |Y1> => |op: Pac> + |op: Pab> + |op: Pbc> Pac |Y1> => |Y3> Pab |Y1> => |Y1> Pbc |Y1> => |Y2> supported-ops |Y2> => |op: Pac> + |op: Pab> + |op: Pbc> Pac |Y2> => |Y2> Pab |Y2> => |Y3> Pbc |Y2> => |Y1> supported-ops |Y3> => |op: Pac> + |op: Pab> + |op: Pbc> Pac |Y3> => |Y1> Pab |Y3> => |Y2> Pbc |Y3> => |Y3> supported-ops |0> => |op: Pac> + |op: Pab> + |op: Pbc> Pac |0> => |0> Pab |0> => |0> Pbc |0> => |0> ----------------------------------------