libgiac giac
