# Symbolic product in Sage?

Suppose I'd like to compute

```
prod(1/x^4, x, 1, oo)
```

How can this be done?

I found an old thread, but with no answers.

3

Take the natural logarithm of your product and you get a sum which can be evaluated:

$$\ln\left( \prod_{x=1}^k \frac{1}{x^4} \right) = \sum_{x=1}^k \ln\left(\frac{1}{x^4}\right)$$

... now take the limit as $k \to \infty$:

```
sage: sum(ln(1/x^4), x, 1, oo)
-Infinity
sage: e^sum(ln(1/x^4), x, 1, oo)
0
```

0

I found symbolic sum but not symbolic product in the reference files. I need to be able to classify a function of a erratic x which involve several symbolic foodstuffs from 1 to n or whatever. I then want to be able to do a derivative and a limit of this. I am trying out Sage because Mathematical doesn't seem to be able to handle this stuff exactly. I can define the function just fine but when I try to take the limit Mathematical can't seem to handle it.

0

I have the same problem. If someone know how to do

Asked: **
2012-06-08 07:13:32 -0500
**

Seen: **1,222 times**

Last updated: **Sep 04 '12**

Equality test of symbolic expressions

Numerical values VS symbolic values ?

Is there an easy way to get the matrix of coefficients from a product of a matrix and a vector?

Multiplying an inequality by -1.

Members of a Polynomial Ring don't respond to solve

How to make "zip" work faster?

How to do mul(function, i=1..n); like in Maple?

substitute algebraic numbers into a symbolic expression

How to properly declare indeterminates so that they exist in the coefficient ring.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.