Uploaded image for project: 'OASIS Open Document Format for Office Applications (OpenDocument) TC'
  1. OASIS Open Document Format for Office Applications (OpenDocument) TC
  2. OFFICE-2284

Invalid constraints

    XMLWordPrintable

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: ODF 1.2
    • Component/s: OpenFormula
    • 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.

      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.

      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.

        Attachments

          Activity

            People

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

              Dates

              • Created:
                Updated:
                Resolved: