Calculating Ext for comodules over a finite field

Abstract

We present a computer program which calculates Ext for k-comodules, where k is a finite field. Ext is an algebraic invariant used in algebraic topology to computer, for example, the stable homotopy groups of spheres.