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

import sys

from ctypes import *

from sage.rings.real_mpfr import *

try:

    sollya=CDLL("/warehouse/storres/root/lib/libsollya.so")

except :

    print "\nCould not find nor load the Sollya library.\n"

    sys.exit(1)

try:

    # Export the functions with their name in the library (so we can

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

        sollya_lib_is_absolute = sollya.sollya_lib_is_absolute

        sollya_lib_obj_is_function = sollya.sollya_lib_obj_is_function

        sollya_lib_obj_is_list = sollya.sollya_lib_obj_is_list

        sollya_lib_obj_is_range = sollya.sollya_lib_obj_is_range

        sollya_lib_obj_is_structure = sollya.sollya_lib_obj_is_structure

        sollya_lib_off = sollya.sollya_lib_off

        sollya_lib_remez = sollya.sollya_lib_remez

        sollya_lib_set_canonical = sollya.sollya_lib_set_canonical

        sollya_lib_set_prec = sollya.sollya_lib_set_prec

        sollya_lib_taylor = sollya.sollya_lib_taylor

        sollya_lib_taylorform = sollya.sollya_lib_taylorform

except :

    print "\nCould not rename one of the functions.\n"

    sys.exit(1)

#

# Give it a try!

#

print "Sollya library tests"

print sollya.sollya_lib_get_free_variable_name()

sollyaExp = sollya_lib_parse_string("exp(x)")

sollya_lib_get_constant_as_int(byref(a), retc)

print "Precision : ", a.value

print "Address of a.value ", addressof(a)

#b = RealNumber()

#print cast(retc, POINTER(c_int)).contents

#retc = cast(retc, POINTER(c_int)).contents