Nasser M. Abbasi  wrote:   
   > On 3/6/2018 1:11 PM, clicliclic@freenet.de wrote:   
   >   
   > >   
   > > How could three independent developers commit the same blunder?   
   > >   
   > > Martin.   
   > >   
   >   
   > I tried an example in FriCAS. But I am newbie in it, so there   
   > might be different way. Only way I know to tell Fricas   
   > that n is integer (or positive integer) is this syntax:   
   >   
   > n : PositiveInteger   
   >   
   > But now FriCAS will not integrate!   
   >   
   > integrate(exp(n*%i*x), x=0..2*%pi)   
   >   
   >    n is declared as being in PositiveInteger but has not been given a   
   >       value.   
   >   
   > So I do not know how to tell Fricas to "assume" n is   
   > a positive integer? Does FriCAS has assumptions other than   
   > just saying  n: Integer or n: PositiveInteger and so on?   
   >   
   > I googled and not able to find this information about FriCAS.   
   >   
   > CAS will be limited if one can not use assumptions?   
   >   
   > The above integrate will only work if   
   >   
   > n : Symbol   
   >   
   > May be a FriCAS expert knows how to do this in Fricas.   
      
   ATM there is _no_ support for user specified assumptions in FriCAS.   
   In particular "n: Integer" is a type declaration as you know it   
   from programming laguages and is a promise that at any point   
   when value of n is evaluated it will be an Integer (and in   
   particular there will be a value).   
      
   Is FriCAS limited due to lack of assumptions?  To some degree.   
   But most computations in FriCAS happens inside domais and each   
   domain encapsulates appropriate mathematical properties.   
   So once you choose types this automatically gives you some   
   assumptions.   
      
   As noted in this thread using assuptions for this problem is   
   somewhat fragile, depending how you state the problem you   
   get different answer.  Since you can not use assumptions   
   in FriCAS, in FriCAS it is clear that there is trouble...   
      
   --   
                                 Waldek Hebisch   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)