Convert from local coordinates to non-local

[fincardona]

Hi, there! I would need to convert from (local) horizontal coordinates (Altitude, Azimuth) to non-local coordinates, such as ICRSCoords, given a Julian Date and the exact location on the Earth. Is it currently possible?

[kbarbary]

There aren't any local coordinate systems implemented here yet. You could use astropy.coordinates through PyCall as an interim solution.