StandardCocycle(R,f,n):: FreeRes, List, Int --> Function
StandardCocycle(R,f,n,q):: FreeRes, List, Int --> Function

Inputs a free \mathbb ZG-resolution R (with contracting homotopy), a positive integer n and an integer vector f representing an n-cocycle R_n \rightarrow \mathbb Z_q=\mathbb Z/q\mathbb Z where G acts trivially on \mathbb Z_q. It is assumed q=0 unless a value for q is entered. The command returns a function F(g_1, ..., g_n) which is the standard cocycle G^n \rightarrow \mathbb Z_q corresponding to f. At present the command is implemented only for n=2 or 3.