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 8,515 of 10,432   
   Nasser M. Abbasi to All   
   Re: when is sqrt(a/b) not the same as sq   
   01 Mar 14 15:28:12   
   
   From: nma@12000.org   
      
   On 3/1/2014 3:19 PM, Nasser M. Abbasi wrote:   
      
   Opss, sorry, forgot to put the sqrt(1) in there in all   
   the examples!  I was just using (1).   
      
   Let me try again. Please ignore the first post. Here it is again:   
      
   was looking at a thread in Maple group. I was surprised that Maple   
   does not consider Sqrt[1/Sin[a]] the same as  Sqrt[1]/Sqrt[Sin[a]]]   
   for all a.   
      
   I have always thought that sqrt(a/b) and sqrt(a)/sqrt(b) are   
   exactly the same   
      
   Mathematica simplifies this to zero with no assumptions:   
      
   Simplify[Sqrt[1/Sin[a]] - Sqrt[1]/Sqrt[Sin[a]]]   
     (*  0  *)   
      
   Maxima:   
      
   (%i6) fullratsimp( sqrt(1/sin(a)) - sqrt(1)/sqrt(sin(a)));   
   (%o6)                                  0   
      
   While Maple will not   
      
   simplify(sqrt(1/sin(alpha))-sqrt(1)/sqrt(sin(alpha)));   
      
   The above returns unevaluated.  But when telling Maple to   
   assume  sin(alpha)>0 (thanks to the hint on the Maple group)   
   only then it returns zero:   
      
   simplify(sqrt(1/sin(alpha))-sqrt(1)/sqrt(sin(alpha))) assuming sin(alpha)>0;   
   (* 0 *)   
      
   Is Mathematica and Maxima wrong here? or is Maple wrong?   
      
   --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