View c2.sage
These functions are meant to be used with SageMath or SageMathCloud.
They were written for the paper "On the integral Tate conjecture for
finite fields and representation theory" by Benjamin Antieau.
To use them, simply copy and paste them into a Sage file or a Sage notebook cell.
Examples are included below.
sage: load("~/src/c2.sage")