1 * Add the rest of the edge incidence tests. Make sure it works across
4 * Update the test suite to use the test-framework package.
6 * Add the section (2.9) tests.
8 * Figure out why TC.prop_c0120_identity4 and friends are failing.
10 * Figure out why the section (2.5) c_ijk1 identity is failing.