pock: Use `MPMul' so that we can avoid `reduce'.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 22 Oct 2019 11:14:10 +0000 (12:14 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 25 Nov 2019 17:43:08 +0000 (17:43 +0000)
commiteec2dab4abbe647fa3cfb38b9c3295fc64481cef
tree37f21877968a64fa097c614551898d9249e31de3
parentfd44d2751b040e68ca01c642e33e083e90f5f55d
pock: Use `MPMul' so that we can avoid `reduce'.

For some reason, Python 3 hides `reduce' away in some library module.
Anyway, we have a very efficient mass-multiplier so we might as well use
it.
pock