public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
From: Scott Robert Ladd <scott.ladd@coyotegulch.com>
To: espie@nerim.net
Cc: Georg Bauhaus <bauhaus@futureapps.de>,
	 Marc Espie <espie@quatramaran.ens.fr>,
	gcc@gcc.gnu.org
Subject: Re: Sine and Cosine Accuracy
Date: Mon, 30 May 2005 17:26:00 -0000	[thread overview]
Message-ID: <429A398B.60809@coyotegulch.com> (raw)
In-Reply-To: <20050529192354.GA21142@lain.home>

Marc Espie wrote:
> Heck, I can plot trajectories on a sphere that do not follow great circles,
> and that extend over 360 degrees in longitude.  I don't see why I should be
> restricted from doing that.

Can you show me a circumstance where sin(x - 2 * pi) and sin(x + 2 * pi)
are not equal to sin(x)?

Using an earlier example in these threads, do you deny that
sin(pow(2.0,90.0)) == sin(5.15314063427653548) ==
sin(-1.130044672903051) -- assuming no use of
-funsafe-math-optimizations, of course?

Shall we mark all potentially troublesome optimizations as "unsafe", and
chastise those who use them? Quite a few combinations of options can
cause specific applications to fail, and other programs to work very
well. Under such logic, we should replace -O3 with -Ounsafe, because
some programs break when compiled with -O3.

Since that's patently silly, perhaps we should be more concerned with
making useful choices and improvements to GCC.

> You can decide to restrict this stuff to plain old 2D geometry, and this would
> be fine for teaching in elementary school, but this makes absolutely 
> no sense with respect to any kind of modern mathematics.

The fact that trigonometric functions can extended beyond 2D geometry in
no way invalidates their use in their original domain. I've written many
2D and 3D applications over the years without need for a sine outside
the range [0, 2*PI] (or [-PI, PI] in some cases). Some people live and
die by one of those programs, and no one's died yet because I used
-ffast-math in compiling it.

(I expect Gabriel dos Rios to respond with something pithy here; please
don't disappoint me!)

I keep saying that GCC can and should support the different needs of
different applications. What is wrong with that?

..Scott

  reply	other threads:[~2005-05-30 15:48 UTC|newest]

Thread overview: 86+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-05-26 16:05 Scott Robert Ladd
2005-05-26 16:09 ` Andrew Haley
2005-05-26 16:33   ` Scott Robert Ladd
2005-05-26 17:14     ` Andrew Haley
2005-05-26 17:01   ` Paolo Carlini
2005-05-26 17:23 ` Richard Henderson
2005-05-26 17:24   ` Scott Robert Ladd
2005-05-26 17:27     ` Paul Koning
2005-05-26 17:27       ` Scott Robert Ladd
2005-05-26 17:29         ` Dave Korn
2005-05-26 17:37           ` David Daney
2005-05-26 17:56             ` Dave Korn
2005-05-26 17:40           ` Scott Robert Ladd
2005-05-26 18:12             ` Paul Koning
2005-05-26 18:32               ` Scott Robert Ladd
2005-05-26 18:50                 ` Paul Koning
2005-05-26 19:14                   ` Andrew Pinski
2005-05-26 19:35                     ` Scott Robert Ladd
2005-05-29  6:22                   ` Geoffrey Keating
2005-05-31 14:34                     ` Paul Koning
2005-05-31 22:58                       ` Geoff Keating
2005-05-29 12:07                 ` Roger Sayle
2005-05-30 15:34                   ` Vincent Lefevre
2005-05-29  2:22         ` Kai Henningsen
2005-05-29 18:16         ` Marc Espie
2005-05-29 20:58           ` Georg Bauhaus
2005-05-30 15:19             ` Gabriel Dos Reis
2005-05-30 15:19             ` Marc Espie
2005-05-30 17:26               ` Scott Robert Ladd [this message]
2005-05-30 17:18                 ` Marc Espie
2005-05-30 18:11                   ` Scott Robert Ladd
2005-05-30 17:31               ` Scott Robert Ladd
2005-05-31  3:10                 ` chris jefferson
2005-05-31 12:17                   ` Andrew Haley
2005-05-31 12:46                   ` Scott Robert Ladd
2005-05-31 13:02                     ` Andrew Haley
2005-05-31 13:34                 ` Vincent Lefevre
2005-05-30 15:35             ` Bernhard R. Link
2005-05-30 18:59               ` Scott Robert Ladd
2005-05-30 19:16               ` Georg Bauhaus
2005-05-30 19:17                 ` Bernhard R. Link
2005-05-30 19:54                   ` Georg Bauhaus
2005-05-30 20:04                     ` Gabriel Dos Reis
2005-05-26 17:35       ` Kevin Handy
2005-05-26 17:41         ` Paul Koning
2005-05-26 20:26           ` Joseph S. Myers
2005-05-26 21:15     ` Gabriel Dos Reis
2005-05-26 21:17       ` Scott Robert Ladd
2005-05-26 23:25         ` Gabriel Dos Reis
2005-05-27  0:18           ` Scott Robert Ladd
2005-05-27  0:54             ` Gabriel Dos Reis
2005-05-27 11:29           ` Marcin Dalecki
2005-05-27  9:36         ` Marcin Dalecki
2005-05-27 10:48       ` Marcin Dalecki
2005-05-26 21:33     ` Richard Henderson
2005-05-27  0:05       ` Scott Robert Ladd
2005-05-27  0:43         ` Gabriel Dos Reis
2005-05-27  0:54           ` Scott Robert Ladd
2005-05-28 11:26             ` Russ Allbery
2005-05-27 13:56     ` Vincent Lefevre
2005-05-29  3:36   ` Kai Henningsen
2005-05-26 17:53 Morten Welinder
2005-05-26 18:10 ` Scott Robert Ladd
2005-05-26 18:22   ` Dave Korn
2005-05-26 18:49     ` Scott Robert Ladd
2005-05-26 19:28       ` Dave Korn
2005-05-26 18:38 Morten Welinder
2005-05-26 20:58 ` Andrew Haley
2005-05-26 23:31 Uros Bizjak
2005-05-26 23:52 ` Paul Koning
2005-05-26 23:56 ` Gabriel Dos Reis
2005-05-26 23:57   ` Steven Bosscher
2005-05-27 15:09   ` Olivier Galibert
2005-05-27 15:28     ` Vincent Lefevre
2005-05-27 18:27     ` Marcin Dalecki
2005-05-26 23:59 Menezes, Evandro
2005-05-27 15:19 ` Vincent Lefevre
2005-05-27  0:39 Menezes, Evandro
2005-05-27  0:54 ` Scott Robert Ladd
2005-05-27  0:54 Menezes, Evandro
2005-05-27  0:54 ` Scott Robert Ladd
2005-05-27 12:42 ` Scott Robert Ladd
2005-05-28  4:32 Menezes, Evandro
2005-05-28  5:02 ` Scott Robert Ladd
2005-05-28 10:44 ` Gary Funck
2005-05-28  6:42 Menezes, Evandro

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=429A398B.60809@coyotegulch.com \
    --to=scott.ladd@coyotegulch.com \
    --cc=bauhaus@futureapps.de \
    --cc=espie@nerim.net \
    --cc=espie@quatramaran.ens.fr \
    --cc=gcc@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).