# 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.

4

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
```

2

In Sage, `sum`

serves both for Python sums and for symbolic sums,
but for products we have `prod`

and `product`

.

```
sage: product(1/x^4, x, 1, oo)
0
```

This should be better documented... See

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,476 times**

Last updated: **Apr 16**

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

Differentiating Complex Conjugated Functions

bool returns false with arcsin(x) and 2*arctan(x/(1+sqrt(1-x^2)))

check if symbolic expression contains a variable

Sage symbolic math simplification error

Categorical product of simplicial complexes

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.