Laboratoire de l'Informatique et du Parallélisme » Pobyso

    sollya_lib_autoprint(arg, None)

    theRR  = RealField(prec)

    # Try convert the lower bound to a RealField element or fail.

        lowerBoundRF = theRR(lowerBound)

        try:

            lowerBoundRF = theRR(str(lowerBound))

        except TypeError:

            return None

    # Try convert the upper bound to a RealField element or fail.

    try:

        upperBoundRF = theRR(upperBound)

    except TypeError:

        try:

            upperBoundRF = theRR(str(upperBound))

        except TypeError:

            return None

    return theRIF(lowerBoundRF, upperBoundRF)

def pobyso_chebyshevform_sa_sa(funcSa, degreeSa, intervalSa):

    """

    An chebyshevnorm call with Sage arguments that returns Sage objects.

    To the moment only the polynomial and the delta are returned.

    """

    # Check that funcSa is a function.

    if not \

     sage.symbolic.callable.is_CallableSymbolicExpressionRing(parent(funcSa)):

        return None

    # Check that funcSa is an integer.

    try:

        if degreeSa != int(degreeSa):

            print "degreeSa is not a valid integer."

            return None

    except ValueError:

        print "degreeSa is not a number."

        return None 

    # Create the Sollya degree...

    degreeSo = pobyso_constant_from_int_sa_so(degreeSa)

    # ...and check it.

    if pobyso_is_error_so_sa(degreeSo):

        print "Could not correctly convert degreeSa to Sollya."

        return None

    # Check that intervalSa is an interval.

    try:

        intervalSa.upper()

    except AttributeError:

        print "intervalSa is not an interval."

        return None

    # Convert the Sage polynomial into a Sollya polynomial.

    # Convert the Sage function into a Sollya function.

    funcAsStringSa = funcSa._assume_str().replace('_SAGE_VAR_', '')

    funcSo = pobyso_parse_string_sa_so(funcAsStringSa)

    if not pobyso_obj_is_function_so_sa(funcSo):

        sollya_lib_clear_obj(funcSo)

        print "The Sollya object created from the function is not a function."

        return None

    #pobyso_autoprint(funcSo)

    # Convert the Sage interval into a Sollya range.

    rangeSo = pobyso_interval_to_range_sa_so(intervalSa)

    if not pobyso_is_range_so_sa(rangeSo):

        sollya_lib_clear_obj(funcSo)

        sollya_lib_clear_obj(rangeSo)

        print "The Sollya object created from the interval is not a range."

        return None

    #pobyso_autoprint(rangeSo)

    retValSo = sollya_lib_chebyshevform(funcSo,

                                        degreeSo,

                                        rangeSo, 

                                        None)

    sollya_lib_clear_obj(funcSo)

    sollya_lib_clear_obj(degreeSo)

    sollya_lib_clear_obj(rangeSo)

    if pobyso_is_error_so_sa(retValSo):

        sollya_lib_clear_obj(retValSo)

        print "Could not compute the Chebyshev form."

        return None

    #pobyso_autoprint(retValSo)

    ## Get the list of Sollya objects returned by sollya_lib_chebyshevform

    retValSa = pobyso_get_list_elements_so_so(retValSo)

    if retValSa[1] != 4:

        print "Invalid number of elements in the Chebyshev form."

        sollya_lib_clear_obj(retValSo)

        return None

    ## Convert all the element of the retValSa[0] array of Sollya objects 

    #  into their Sage counterparts.

    polySa = pobyso_float_poly_so_sa(retValSa[0][0])

    if not pobyso_is_poly_sa_sa(polySa):

        print "Conversion of the polynomial of the Chebyshev form failed."

        sollya_lib_clear_obj(retValSo)

        return None

    deltaSa  = pobyso_get_interval_from_range_so_sa(retValSa[0][2])

    if not pobyso_is_interval_sa_sa(deltaSa):

        print "Conversion of the delta interval of the Chebyshev form failed."

        sollya_lib_clear_obj(retValSo)

        return None

    sollya_lib_clear_obj(retValSo)

    return(polySa,deltaSa)

# End pobyso_chebyshevform_sa_sa.

    This method is wrapper around pobyso_clear_list_elements_sa_so.

    #polyCoeffsListSa = polynomialSa.coefficients()

    """

    print "Deprecated: use pobyso_float_poly_so_sa() instead."    

def pobyso_is_interval_sa_sa(objectSa):

    """

    Check that objectSa is an interval.

    """

    try:

        objectSa.upper()

    except AttributeError:

        return False

    return True

def pobyso_is_poly_sa_sa(objectSa):

    """

    Check if an object is a polynomial.

    """

    try:

        coefficientsListSa = objectSa

        if len(objectSa.coefficients()) < 0:

            return False

    except AttributeError:

        return False

    return True

# End pobyso_is_poly_sa_sa

                         accuracySa=RR(2**-40)):

## Commented out the below import since it apparently break the creation

#  of RealField elements from literals.

#from sage.rings.real_mpfr import *

    # call them without the "sollya." prefix).

    sollya_lib_chebyshevform.argtypes        = [c_ulong, c_ulong]

    sollya_lib_chebyshevform.restype         = c_ulong