ยง Cayley hamilton for 2x2 matrices in sage via AG