\b[A single header with `index == n`, and with both `next` and `prev` pointing to itself, represents the entirely zero vector.] It has no data nodes. The ignored header value can be `0.0`. The vector dimension remains $n$, even though the number of stored nonzero entries is zero.


Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2022 / Imperative programming (resit) / 4 / b / ii / Solution

 Solution (source code)