Hi Rob,
On Wed, 2010-01-06 at 12:04 -0500, wrote:
> Is the objection over the reference to PI() rather than directly using the
> Greek letter Pi?
>
> Or is the choice of convention the problem?
>
> According to http://mathworld.wolfram.com/InverseCotangent.html there are
> two conventions: (0,Pi) or (-Pi/2, Pi/2). The former is continuous, while
> that later has a discontinuity at 0.
No, my problem is much more pedestrian:
If a constraint is violated the function should return an error. So how
can a constraint talk about the function result?
Suppose the return value is a number not in the range from 0 to PI(),
then by the return value must be an error, since the constraint is
violated. But if it is an error then it doesn't violate teh constriant
anymore....
I think that should not be a constraint.
(We might want to add to the semantics that we are returning the
principal value or the value derived from the branch through (1,PI()/4,
but that wasn't my problem.)
Andreas
> "Andreas J. Guelzow" <> wrote on 01/06/2010
> 11:15:44 AM:
>
> >
> > ACOT has the constraint "The result must be between 0 and PI()." This
> > doe snot look like a valid constraint to me.
> >
> > ANdreas
> > --
> > Andreas J. Guelzow, PhD, FTICA
> > Mathematical & Computing Sciences
> > Concordia University College of Alberta
> >
>
>
> ---------------------------------------------------------------------
> To unsubscribe from this mail list, you must leave the OASIS TC that
> generates this mail. Follow this link to all your TCs in OASIS at:
> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php
>
--
Andreas J. Guelzow, PhD, FTICA
Mathematical & Computing Sciences
Concordia University College of Alberta
