ยง
Cayley hamilton for 2x2 matrices in sage via AG
I want to 'implement' the zariski based proof for cayley hamilton in SAGE and show
that it works by checking the computations scheme-theoretically.