That's from here, and I don't think it can be used to go from a private key to a public key.