On Fri, Jun 17, 2022 at 11:41 AM John Cremona <john.c...@gmail.com> wrote:
>
> Works for me --with MPIR and MPFR already installed, and also using
Do you still use MPIR rather than GMP?
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq0HgPR_wz1QHfc6b6gUtRxYw%2BLWCxHH5BpY0bY_2zsM2g%40mail.gmail.com.
On Sat, Jun 18, 2022 at 9:40 AM John Cremona <john.c...@gmail.com> wrote:
>
>
>
> On Sat, 18 Jun 2022, 08:33 Dima Pasechnik, <dim...@gmail.com> wrote:
>>
>> On Fri, Jun 17, 2022 at 11:41 AM John Cremona <john.c...@gmail.com> wrote:
>> >
>> > Works for me --with MPIR and MPFR already installed, and also using
>> Do you still use MPIR rather than GMP?
>
>
> Yes but it's a pain in the neck having libgmp.so files around which are not genuine GMP. It's hard to uninstall ( I don't think that I ever succeeded). If you try to uninstall and reinstall GMP all hell breaks loose.
>
> This is on Ubuntu by the way.
>
I don't understand - according to
https://repology.org/project/mpir/versions neither Ubuntu nor Debian
have a system MPIR package.
So this seems to be a hell of your own making.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3R6HPXHCUccUqxk1s0FRz94ib9N7127X9k5tLW8Os1SA%40mail.gmail.com.