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

# type different from c_int or void). We consider the all the functions

# returning a sollya_obj_t as returning an int.

try:

except :

    sys.stderr.write("\nOne of the Python-Sollya return type setting command \n")

    sys.stderr.write("has failed.\n\n")

    #sollya_lib_autoprint.argtypes            = [c_ulong]

    sollya_lib_build_function_add.argtypes   = [c_int, c_int]

    sollya_lib_chebyshevform.argtypes        = [c_ulong, c_ulong]

    sollya_lib_constant.argtypes             = [c_ulong]

    sollya_lib_constant_from_int64.argtypes  = [c_long]

    sollya_lib_constant_from_mpq.argtypes    = [c_ulong]

    sollya_lib_dirtyinfnorm.argstypes        = [c_ulong, c_ulong]

    sollya_lib_end_elliptic_list.argtypes    = [c_ulong, c_int]

    sollya_lib_get_constant.argtypes         = [c_ulong, c_ulong]

            POINTER(c_int), POINTER(c_int)]

    sollya_lib_guessdegree.argtypes          = [c_ulong, c_ulong, c_ulong, \

            c_ulong, c_ulong]

    sollya_lib_name_free_variable.argtypes   = [POINTER(c_char)]

    sollya_lib_prepend.argstypes             = [c_ulong, c_ulong]

    sollya_lib_range.argtypes                = [c_ulong, c_ulong]

    sollya_lib_range_from_bounds.argtypes    = [c_ulong, c_ulong]

    sollya_lib_range_from_interval.argtypes  = [c_ulong]

    sollya_lib_supnorm.argtypes              = \

          [c_ulong, c_ulong, c_ulong, c_ulong, c_ulong]

    sollya_lib_supnorm.restype               = c_ulong

except :

    sys.stderr.write("has failed.\n\n")

    sys.exit(1)

#