#Output From Maple V, version 3 (on a Gateway2000 PC, G6-300 ) > read inG: AreaFormula, true, .170 Brianchon, true, 1.420 Butterfly, true, .830 CentroidExists, true, .050 Ceva, true, .060 Desargues, true, .160 EulerLineExists, true, .219 Warning: new definition for norm Warning: new definition for trace EulerTetrahedronVolumeFormula, true, .170 EulerTriangleFormula, true, .330 Feuerbach, true, .551 FoxTalbot, true, 29.820 Herron, true, .060 IncenterExists, true, .109 Johnson, true, .320 4 4 3 3 2 2 2 2 (m - n) (m + n) (m n - 4 m n - m + 5 m n - 4 m n - n ) Lehmus, - 4 -------------------------------------------------------------, 2 2 2 2 (- n + n m - 2 m) (- m + m n - 2 n) .390 Menelaus, true, 3.071 Morley, true, 2.480 Napoleon, true, .270 NinePointCircleExists, true, 15.820 OrthocenterExists, true, .109 Pappus, true, .931 Pascal, true, .719 Ptolemy, true, 2.471 Simson, true, .440 Soddy, true, 6.260 > quit