Basic abstractions and methods for computations in terms of group algebra Z[G] and automatic construction of cocycle translations for computation of cup-product.