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,794 of 10,432   
   Nasser M. Abbasi to All   
   why is 1/2*1/(1+x)^2*sqrt(2) not same as   
   28 Jan 18 14:18:12   
   
   From: nma@12000.org   
      
   This is a little baffling to me.   
      
   Why does Fricas accepts integrand like (1/2)*sqrt(2)*1/(1+x)^2   
   but rejects (1/2)*1/(1+x)^2*sqrt(2) ? Why does the order matter?   
      
      
   (7772) -> (1/2)*sqrt(2)*1/(1+x)^2   -- OK no error   
                                      Type: Fraction(Polynomial(AlgebraicNumber))   
   (7773) -> (1/2)*1/(1+x)^2*sqrt(2)  --- Error   
       There are 34 exposed and 34 unexposed library operations named *   
          having 2 argument(s) but none was determined to be applicable.   
          Use HyperDoc Browse, or issue   
                                    )display op *   
          to learn more about the available operations. Perhaps   
          package-calling the operation or using coercions on the arguments   
          will allow you to apply the operation.   
      
       Cannot find a definition or applicable library operation named *   
          with argument type(s)   
                       Fraction(Polynomial(Fraction(Integer)))   
                                   AlgebraicNumber   
      
   Can't one multiply Polynomial by sqrt(2) ?   
      
   Maple have no problem with the order:   
      
   ----------------   
   integrand1:=1/2*1/(1+x)^2*sqrt(2);   
   integrand2:=1/2*sqrt(2)*1/(1+x)^2;   
   evalb(integrand1=integrand2);   
   ----------------   
      
   I know FriCAS is more strongly typed. But I do not understand   
   the message above. May be its precedence rules are different.   
      
   I running the CAS integrattion on Fricas when I found this   
   problem in one input file.  I think I have to change the   
   order on this one for now, to make Fricas happy.   
      
   Fricas 1.3.2   
      
   Thanks   
   --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