Is there a generic way to do this? The official Ed25519 code (in python) has a function for this but it depends on some constants and I can't infer what they are doing. In particular, I'd like to recover x from y with Ed448.