# Invalid constraints

XMLWordPrintable

#### Details

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: None
• Fix Version/s:
• Component/s:
• Labels:
None
• Proposal:
Hide

For ACOT, ACOTH and ATAN: remove constraints on return values.

ACOT:

In Summary change
Return the arc cotangent of a number.
to
Returns the principal value of the arc cotangent of a number.

Returns a principal value 0 < result < π.

ACOTH:

Constraints: ABS(N) > 1

In math formula, replace x with N.

ATAN:

In Summary change
Return the arc tangent of a number.
to
Returns the principal value of the arc tangent of a number.

Returns a principal value -π/2 < result < π/2.

ACOS:

In Summary change
Return the arc cosine of a number.
to
Returns the principal value of the arc cosine of a number.

Change Semantics from
Note that the result is between 0.0 and PI(), inclusive.
to
Returns a principal value 0 ≤ result ≤ π.

ASIN:

In Summary change
Return the arc sine of a number.
to
Returns the principal value of the arc sine of a number.

Change Semantics from
The result must be between -PI()/2 and PI()/2.
to
Returns a principal value -π/2 ≤ result ≤ π/2.

Show
For ACOT, ACOTH and ATAN: remove constraints on return values. ACOT: In Summary change Return the arc cotangent of a number. to Returns the principal value of the arc cotangent of a number. Add to Semantics: Returns a principal value 0 < result < π. ACOTH: Constraints: ABS(N) > 1 In math formula, replace x with N. ATAN: In Summary change Return the arc tangent of a number. to Returns the principal value of the arc tangent of a number. Add to Semantics: Returns a principal value -π/2 < result < π/2. ACOS: In Summary change Return the arc cosine of a number. to Returns the principal value of the arc cosine of a number. Change Semantics from Note that the result is between 0.0 and PI(), inclusive. to Returns a principal value 0 ≤ result ≤ π. ASIN: In Summary change Return the arc sine of a number. to Returns the principal value of the arc sine of a number. Change Semantics from The result must be between -PI()/2 and PI()/2. to Returns a principal value -π/2 ≤ result ≤ π/2.
• Resolution:
Hide

See proposal.

Show
See proposal.

#### Description

We have in 5.2:
Constraints: A description of constraints, in addition to the constraints imposed by the
parameter types. If there are no additional constraints beyond those imposed by the
parameter types, this is "None". If a constraint is not met, the function/operator should return
an Error unless otherwise noted.

I always, perhaps incorrectly, read this as that the constraints limit the possible parameters (beyond what is implied by their type).

In the function descriptions we have:
ACOT Constraints: The result must be between 0 and PI().
ACOTH Constraints: Real result
ATAN Constraints: The result must be between -PI()/2.0 and PI()/2.0.

#### People

• Assignee:
Eike Rathke (Inactive)
Reporter:
Andreas Guelzow (Inactive)
• Watchers:
0 Start watching this issue

#### Dates

• Created:
Updated:
Resolved: