slightly generalize fct_prodR and some other functions in functions.v #379
| Job | Run time |
|---|---|
| 1m 0s | |
| 1m 1s | |
| 16m 51s | |
| 3m 5s | |
| 2m 25s | |
| 3m 27s | |
| 15m 46s | |
| 2m 55s | |
| 1m 57s | |
| 7m 21s | |
| 55m 48s |
| Job | Run time |
|---|---|
| 1m 0s | |
| 1m 1s | |
| 16m 51s | |
| 3m 5s | |
| 2m 25s | |
| 3m 27s | |
| 15m 46s | |
| 2m 55s | |
| 1m 57s | |
| 7m 21s | |
| 55m 48s |