Try adding import sage.all
to the top of /home/finotti/src/sage-10.0/src/sage/repl/ipython_kernel/__main__.py Isuru On Wed, May 31, 2023 at 5:23 PM Luis Finotti <luis.fino...@gmail.com> wrote: > > On Wednesday, May 31, 2023 at 6:10:42 PM UTC-4 Isuru Fernando wrote: > > Which givaro library is loaded when you do `export LD_DEBUG=libs` and run > sage from the command line? > > > I get: > > 1028008: find library=libgivaro.so.9 [0]; searching > 1028008: search path=/home/finotti/src/sage-10.0/local/lib > (RUNPATH from file > /home/finotti/src/sage-10.0/local/var/lib/sage/venv-python3.11/lib/python3.11/site-packages/cysignals/ > signals.cpython-311-x86_64-linux-gnu.so) > 1028008: trying > file=/home/finotti/src/sage-10.0/local/lib/libgivaro.so.9 > 1028008: > 1028008: find library=libgmpxx.so.4 [0]; searching > 1028008: search path=/home/finotti/src/sage-10.0/local/lib > (RUNPATH from file > /home/finotti/src/sage-10.0/local/var/lib/sage/venv-python3.11/lib/python3.11/site-packages/cysignals/ > signals.cpython-311-x86_64-linux-gnu.so) > 1028008: trying > file=/home/finotti/src/sage-10.0/local/lib/libgmpxx.so.4 > 1028008: search cache=/etc/ld.so.cache > 1028008: trying file=/lib/x86_64-linux-gnu/libgmpxx.so.4 > 1028008: > 1028008: > 1028008: calling init: /lib/x86_64-linux-gnu/libgmpxx.so.4 > 1028008: > 1028008: > 1028008: calling init: > /home/finotti/src/sage-10.0/local/lib/libgivaro.so.9 > 1028008: > 1028008: > 1028008: calling init: > /home/finotti/src/sage-10.0/src/sage/rings/finite_rings/ > element_givaro.cpython-311-x86_64-linux-gnu.so > [snip] > 1028008: calling fini: > /home/finotti/src/sage-10.0/src/sage/rings/finite_rings/ > element_givaro.cpython-311-x86_64-linux-gnu.so [0 > 1028008: > 1028008: > 1028008: calling fini: > /home/finotti/src/sage-10.0/local/lib/libgivaro.so.9 [0] > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-support/fced99e3-52f7-43c4-b0c6-1c45f72a01ebn%40googlegroups.com > <https://groups.google.com/d/msgid/sage-support/fced99e3-52f7-43c4-b0c6-1c45f72a01ebn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/CA%2B01voPxP4U7aau35xDMYRs6bnHgf3cVi4r1cwniCxLbWfdRgA%40mail.gmail.com.
