What coordinate system applies to mars and is it supported by postgis? They said there is plenty of Linux on board the rover - is there some Pg on it also?...
Oh, a couple of years ago we fixed a bug in PostGIS geography datatype that was about using martian SRID and it had "radius" out of bounds