Difference (from prior major revision)
(no other diffs)
Removed: 1d0
Added: 19a19,22
Here we are skipping over details about the model of computation, including how to compute with numbers and vectors in polynomial time, when the number of bits needed to represent the numbers is an issue.