Abstract polynomial algorithms are of no use either, eg, translation may require galactic constants or high powers that are still intractable.
We only compute with two kinds of things:
- small data; or,
- extremely lower power and coefficient algorithms
We lack the power to, eg, use a quintic algorithm in anything but nearly trivial cases.