sage implementations of embedding and isomorphism