converting public keys to addresses (idk if its featured and I just don't know it, or if it should be added)

[dalydir]

I have public keys in the form of 2 integers being x,y, in normal integer format. I don't see how to convert that to use public_key.address() or the other commands. public_key.to_hex() seems to be something that would work, but it doesn't specify what format the public_key needs to be in (assuming I'm even knowledgeable enough to convert my x,y coordinates into what it requires). Am I merely ignorant about the existence of this feature, or am I asking for it to be added? Idk

[KiudLyrl]

public key = '04' + x + y

• is for string concatenation