"theory of a linear isometry k^2 -> k^3 and an input-output pair for it" .... ???? why not reduce to just the isometry and the input ??? ..... recover the output by evaluation ..... ??????? ........

?? "evaluation" here as maybe tricky ??? .... ?? involving conjugation by and thus inversion of quaternion ... ??? ...