From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-19 15:10:25 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1!bredband!uio.no!ntnu.no!not-for-mail From: Preben Randhol Newsgroups: comp.lang.ada Subject: Re: Logic Errors and Ada (Was: A big hairy thread on Ada, Quality, and Drivers) Followup-To: comp.lang.ada Date: Mon, 19 May 2003 22:10:24 +0000 (UTC) Organization: Norwegian university of science and technology Message-ID: References: <9fa75d42.0304230424.10612b1a@posting.google.com> <9fa75d42.0305130543.60381450@posting.google.com> <254c16a.0305140549.3a87281b@posting.google.com> <9fa75d42.0305141747.5680c577@posting.google.com> <1053027582.984315@master.nyc.kbcfp.com> <3ec4b5c5$1@news.wineasy.se> <254c16a.0305160930.40bb42f9@posting.google.com> <9fa75d42.0305181502.53703035@posting.google.com> NNTP-Posting-Host: kiuk0152.chembio.ntnu.no X-Trace: tyfon.itea.ntnu.no 1053382224 402 129.241.83.78 (19 May 2003 22:10:24 GMT) X-Complaints-To: usenet@itea.ntnu.no NNTP-Posting-Date: Mon, 19 May 2003 22:10:24 +0000 (UTC) User-Agent: slrn/0.9.7.4 (Linux) Xref: archiver1.google.com comp.lang.ada:37537 Date: 2003-05-19T22:10:24+00:00 List-Id: Dr Chaos wrote: > On 19 May 2003 20:42:42 +0100, Simon Wright wrote: >> type Position is record >> Lat : Latitude; >> Long : Longitude; >> end record; >> >> and inspect the low-level support subprograms. > > What is the right way to do spherical geometry with separate > latitude and longitude types? > > The problem mathematically that I see is that SO(3) > transformations will yield arithmetic combinations of these, > which would require lots of I would guess conversions to > some kind of default float. Maybe so (I don't know), but would it not be a bigger chance of catch lunatic calculations when you try to do a conversion back to Latitude and Longitude? I mean if the values are outside the bounds of the Latitude and Longitude types? > On the other hand, if Latitude and Longitude were variables > whose values would be displayed to humans or perhaps stored > in some database, then the separate typing may work. Huh? -- Preben Randhol http://www.pvv.org/~randhol/