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 10,210 of 10,432   
   Nasser M. Abbasi to All   
   fyi, sympy integrator now default for sa   
   04 Feb 22 02:42:46   
   
   From: nma@12000.org   
      
   Fyi;   
      
   I just installed sagemath new release 9.5 on archlinux to get ready   
   to run new build of CAS integration tests which will take long time.   
      
   I noticed now sympy seems to be the default integrator:   
      
   ==========================   
   >sage   
   ┌────────────────────   
   ─────────────────────   
   ────────────────────   
   ────┐   
   │ SageMath version 9.5, Release Date: 2022-01-30                     │   
   │ Using Python 3.10.2. Type "help()" for help.                       │   
   └────────────────────   
   ─────────────────────   
   ────────────────────   
   ────┘   
   sage: x = var("x")   
      
   sage: integrate(sqrt(1 + x ^ 3), x)   
   1/3*x*gamma(1/3)*hypergeometric((-1/2, 1/3), (4/3,), -x^3)/gamma(4/3)   
      
   But when I tried the 3 other CAS's I know about that can be used   
   from sagemath integrate command, they all did not solve the above   
      
   sage: integrate(sqrt(1 + x ^ 3), x, algorithm="fricas")   
   integral(sqrt(x^3 + 1), x)   
      
   sage: integrate(sqrt(1 + x ^ 3), x, algorithm="maxima")   
   integrate(sqrt(x^3 + 1), x)   
      
   sage: integrate(sqrt(1 + x ^ 3), x, algorithm="giac")   
   integrate(sqrt(x^3 + 1), x)   
      
   So I was wondering then how the first one obtained the answer.   
      
   Then I tried sympy and that gave the above answer   
      
   sage: integrate(sqrt(1 + x ^ 3), x, algorithm="sympy")   
   1/3*x*gamma(1/3)*hypergeometric((-1/2, 1/3), (4/3,), -x^3)/gamma(4/3)   
      
   =======================   
      
   Which tells me sympy is the default integrator. Unless sagemath 9.5   
   is now smart enough to try different cas integrator one at a time   
   behind the scene until it finds one which gives an answer?.   
      
   I am not sure.   
      
   In earlier versions of sagemath, maxima was the default integrator   
   as far as I know. This looks like a new change.   
      
   I am however still calling sympy 1.9 directly in Python   
   and not via sagemath for making CAS integration test as it is   
   more direct. This test has been completed. it took 5 weeks.   
   Also Mathemtica 13 testing is completed.   
      
   --Nasser   
      
   --- 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