Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • Shop

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 0416 Details

Help Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges

This page provides all information on Problem Report 0416.

Report 0416 Actions

    Problem Report Number 0416
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0035
    Raised 1993-09-10 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.2.4
    Test Identification XOPEN.os/MATHS/y0 1
    Problem Summary PG4R.035 The following function in y0.c is incorrect. double t2f(x) double x; { double y; y = 4.0/x; y = y*yn(2,x); return(y - yn(3,x)); } The correct implementation should be double t2f(x) double x; { double ...
    Problem Text

    The following function in y0.c is incorrect.

    double t2f(x) double x;
    {
    double y;

    y = 4.0/x;
    y = y*yn(2,x);

    return(y - yn(3,x));
    }

    The correct implementation should be

    double t2f(x) double x;
    {
    double y;

    y = 4.0/x;
    y = y*yn(2,x);

    return(y - yn(1,x));
    }

    According to equation 54:5:2 on page 536 of

    An Atlas of Functions
    Jerome Spanier and Keith B. Oldham
    Hemisphere Publishing Corporaton
    Copyright 1987

    the y bessel function obey the relation

    2*n
    y(n+1,x) = --- * y(n, x) - y(n-1, x)
    x

    For the case n = 2 we get

    4
    y(3,x) = --- * y(2, x) - y(1, x)
    x


    Therefore, we request waiver to be granted.




    Test Output

    /tset/XOPEN.os/maths/y0/T.y0 11 Failed

    Test Description:
    When the result would overflow (due to the argument being too small),
    yn() returns either -HUGE_VAL or zero, and may set errno to ERANGE.
    This test is not executed in XPG3 mode.

    Test Strategy:
    If not in XPG 3 mode parent process will
    CREATE [child process|process pair]
    CHILD process will
    INITIALISE variables using mlsetglobals() - (tsetlib)
    CALCULATE the value yn(3, mindble)
    OBTAIN results of tests using mlresults() - (tsetlib)
    VERIFY that the return value is either 0 and errno ERANGE or 0
    OR return value is -HUGE_VAL and errno ERANGE or 0

    Test Information:
    RETURN VALUES: expected: 2.38724e-314, observed: 2.86112e+307
    Bit Representation: expected value: \050\372\377\037\001\000\000\000
    Bit Representation: observed value: \203\310\311\155\060\137\304\177
    ERRNO VALUES: expected: 34 (ERANGE), observed: 0 (NO ERROR)

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    Please quote TSD4.070.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This interpretation request is refused, please refer to TSD4.070.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority