Miscellany
public text v1 · immutable [ 1 0 0 ] [ a b 0 ] [ 1 0 0 ] [ a b 0 ]
T = [ 0 1 0 ] * [ c d 0 ] * [ 0 1 0 ] = [ c d 0 ]
[ -x -(h-y) 1 ] [ 0 0 1 ] [ x h-y 1 ] [ -ax - c(h-y) + x -bx - d(h-y) + h-y 1 ]