An implementation of the morphisms $S{L}_2(\mathbb{F})\to S{L}_2(\mathsf{K})\to \mathsf{X}$

We briefly explain how to implement the morphisms in our paper ``Natural representations of black box groups encrypting $S{L}_2(\mathbb{F})$" and provide some examples.