home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 9,906 of 10,432   
   j4n bur53 to All   
   Re: How fast do CAS on the market comput   
   22 Jun 18 11:06:53   
   
   From: janburse@fastmail.fm   
      
   Can't verify on own machine so far:   
      
   ┌────────────────────   
   ─────────────────────   
   ────────────────────   
   ────┐   
   │ SageMath version 8.2, Release Date: 2018-05-05                     │   
   │ Type "notebook()" for the browser-based notebook interface.        │   
   │ Type "help()" for help.                                            │   
   └────────────────────   
   ─────────────────────   
   ────────────────────   
   ────┘   
      
   sage: %time _=9^(9^9)   
   CPU times: user 19.6 s, sys: 437 ms, total: 20 s   
   Wall time: 20 s   
      
   This is the same machine where I run SWI.   
      
   But I don't know whether it uses FLINT or not.   
      
   j4n bur53 schrieb:   
   > 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)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca