flint implementation of embedding and isomorphism (1st algo only so far).