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,bb74e99e3f6fa100,start X-Google-Attributes: gid103376,public X-Google-Thread: 10f372,652739104f4654b2 X-Google-Attributes: gid10f372,public X-Google-ArrivalTime: 2001-11-28 03:11:11 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!wuff.zikzak.de!news.iks-jena.de!lutz From: lutz@iks-jena.de (Lutz Donnerhacke) Newsgroups: de.comp.lang.misc,comp.lang.ada Subject: Computing with SI-units Followup-To: comp.lang.ada Date: Wed, 28 Nov 2001 11:11:10 +0000 (UTC) Organization: IKS GmbH Jena Message-ID: References: <89a37cb2.0111120637.5e815871@posting.google.com> <9tvng3$r7m$1@mvmap66.ciw.uni-karlsruhe.de> <9u13th$k5$1@mvmap66.ciw.uni-karlsruhe.de> NNTP-Posting-Host: taranis.iks-jena.de X-Trace: branwen.iks-jena.de 1006945870 10638 217.17.192.37 (28 Nov 2001 11:11:10 GMT) X-Complaints-To: usenet@iks-jena.de NNTP-Posting-Date: Wed, 28 Nov 2001 11:11:10 +0000 (UTC) User-Agent: slrn/0.9.6.3 (Linux) Xref: archiver1.google.com de.comp.lang.misc:2776 comp.lang.ada:17093 Date: 2001-11-28T11:11:10+00:00 List-Id: http://www.iks-jena.de/mitarb/lutz/ada/units/ Rechnen mit SI-Einheiten unter Beachtung der Einheitendimensionen. Es existieren zwei Varianten: Die einfache Typendefinition, die explizite Konvertierungen zwischen Multiplikationen und Additionen verlangt und die Verwendung von tagged Typen, die einige dieser Konvertierungen ersparen. Computing on SI-units respecting the unit dimensions. There are two different implementations: One that uses simple types and so requires explicit convertion between multiplication and addition, while the tagged variant reduces a substantial amount of such typing. The problem is known in cla as the "matrix operations with compile time discriminat checking" problem. A solution to the matrix-problem allows a very efficient implementation to the SI-problem, too. So this SI-solution might be also valueable for the matrix people. F'up: comp.lang.ada (For German discussions please use de.comp.lang.misc where the problem occurs upthread)