Révision 201

pobysoPythonSage/src/sollya_lib.sage (revision 201)
3 3 
from sage.rings.real_mpfr import *
4 4 
#
5 5 
try:
6 
    sollya=CDLL("/usr/local/lib/libsollya.so")
6 
    #sollya=CDLL("/usr/local/lib/libsollya.so")
7 
    sollya=CDLL("/warehouse/storres/root/lib/libsollya.so")
7 8 
except :
8 9 
    print "\nCould not find nor load the Sollya library.\n"
9 10 
    sys.exit(1)
......
11 12 
try:
12 13 
    # Export the functions with their name in the library (so we can
13 14 
    # use them without the "sollya." prefix).
15 
        sollya_lib_add = sollya.sollya_lib_add
14 16 
        sollya_lib_abs = sollya.sollya_lib_abs
15 17 
        sollya_lib_absolute = sollya.sollya_lib_absolute
16 18 
        sollya_lib_autoprint = sollya.sollya_lib_autoprint
......
29 31 
        sollya_lib_constant = sollya.sollya_lib_constant
30 32 
        sollya_lib_constant_from_int = sollya.sollya_lib_constant_from_int
31 33 
        sollya_lib_constant_from_int64 = sollya.sollya_lib_constant_from_int64
34 
        sollya_lib_constant_from_mpq = sollya.sollya_lib_constant_from_mpq
35 
        sollya_lib_constant_from_mpz = sollya.sollya_lib_constant_from_mpz
32 36 
        sollya_lib_constant_from_uint64 = \
33 37 
            sollya.sollya_lib_constant_from_uint64
34 38 
        sollya_lib_copy_obj = sollya.sollya_lib_copy_obj
......
40 44 
        sollya_lib_get_constant = sollya.sollya_lib_get_constant
41 45 
        sollya_lib_get_constant_as_int = \
42 46 
            sollya.sollya_lib_get_constant_as_int
47 
        sollya_lib_get_constant_as_int64 = \
48 
            sollya.sollya_lib_get_constant_as_int64
43 49 
        sollya_lib_get_constant_as_uint64 = \
44 50 
            sollya.sollya_lib_get_constant_as_uint64
45 51 
        sollya_lib_get_free_variable_name = \
......
78 84 
        sollya_lib_off = sollya.sollya_lib_off
79 85 
        sollya_lib_on = sollya.sollya_lib_on
80 86 
        sollya_lib_parse_string = sollya.sollya_lib_parse_string
87 
        sollya_lib_precision = sollya.sollya_lib_precision
81 88 
        sollya_lib_range = sollya.sollya_lib_range
82 89 
        sollya_lib_range_from_bounds = sollya.sollya_lib_range_from_bounds
83 90 
        sollya_lib_range_from_interval = \
......
105 112 
          failed.\n"
106 113 
    sys.exit(1)
107 114 
#
108 
# Set the argument type of several functions.
115 
# Set the argument type of several functions. Default arguments are int.
109 116 
#
110 117 
try:
118 
    sollya_lib_add.argtypes                  = [c_ulong, c_ulong]
111 119 
    sollya_lib_autoprint.argtypes            = [c_ulong]
120 
    sollya_lib_build_function_add.argtypes   = [c_int, c_int]
112 121 
    sollya_lib_constant.argtypes             = [c_ulong]
122 
    sollya_lib_constant_from_int64.argtypes  = [c_long]
123 
    sollya_lib_constant_from_mpq.argtypes    = [c_ulong]
113 124 
    sollya_lib_constant.restype              = c_ulong
114 125 
    sollya_lib_get_constant.argtypes         = [c_ulong, c_ulong]
115 126 
    sollya_lib_get_constant_as_int.argtypes  = [POINTER(c_int), c_int]
127 
    sollya_lib_get_constant_as_int64.argtypes= [POINTER(c_long), c_int]
116 128 
    sollya_lib_get_function_arity.argtypes   = [POINTER(c_int), c_int]
117 129 
    sollya_lib_get_head_function.argtypes    = [POINTER(c_int), c_int]
118 130 
    sollya_lib_get_interval_from_range.argtypes = [c_ulong, c_ulong]

Formats disponibles : Unified diff