[?1034hComputing diffs
(took 20.467633).  Computing M
(took 9.42981).  Computing kernel
(took 49.518206).  Computing image
(took 3.681476).  Computing kernel/image
(took 57.51647).  Computing basis
(took 0.070581). Tracing basis back to diffs.keys elements
(took 0.098297).  Total time: 140.782473
HH^0 of the genus 2, spinc 0 algebra is rank 1
HH^1 of the genus 2, spinc 0 algebra is rank 4
HH^2 of the genus 2, spinc 0 algebra is rank 10
HH^3 of the genus 2, spinc 0 algebra is rank 1
is_one_plus_tau: false for Basis element of length 4 and degree [-4, 0, 0, 0, 0, 0, 0, 0] because theres a square in it
False
There are 32 squares in de3prime.
de3 can be lifted by one plus tau.
de5.is_one_plus_tau() returns true. So, d^6(1|1|1|1) does, indeed, vanish.
