From: gtrwst9@gmail.com   
      
   Actually I'm wrng and Sage uses GMP there as well. S it just is a CPU   
   difference, presumably (mine is a i7-6700).   
      
   On Friday, June 22, 2018 at 10:45:23 AM UTC+2, j4n bur53 wrote:   
   > Can I download Sage to my machine for testing?   
   > What options do I need to set, that it uses FLINT?   
   >   
   > I would like to compare to the newest version of SWI:   
   >   
   >    Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.16)   
   >    SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.   
   >   
   >    ?- time((_ is 9^(9^9))).   
   >    % 3 inferences, 7.328 CPU in 7.873 seconds (93% CPU, 0 Lips)   
   >    true.   
   >   
   > They use GMP, not sure which version of GMP.   
   >   
   > Ralf Stephan schrieb:   
   > > This is using FLINT:   
   > >   
   > > sage: %time _=9^9^9   
   > > CPU times: user 4.52 s, sys: 355 ms, total: 4.88 s   
   > > Wall time: 4.88 s   
   > >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)