Import GMP library    
   I have already installed the GMP library, Now i want to import this library to sage project i tried to put :
  import libgmpxx.so.4
  libgmpxx.so.4.path.append('usr/local/lib/')
 but it does'nt work unfortunately, how can i do that. regards