[Axiom-mail] Symbolic calculation with symbols

[Hans Peter Würmli]

I am still struggling with the basics of Axion. 

E.g. I am trying to create formulae for products with, say, p sub k as 
symbols. These are the results from two, at least naively identical formulae:

(5) -> (1+p[1])*(1+p[2])

   (5)  (p  + 1)p  + p  + 1
          1      2    1
                                                     Type: Polynomial Integer
(6) -> product(1+p[k],k=1..2)

          2
   (6)  p   + 2p  + 1
         k      k
                                                     Type: Expression Integer

How could one use "product" (or "sum" for that reason) and an indexed way to 
denote variables?


Cheers, H.P.