  
  [1X13 [33X[0;0YCohomology ring structure[133X[101X
  
      │                                     [10XIntegralCupProduct(R,u,v,p,q) [110X [10X IntegralCupProduct(R,u,v,p,q,P,Q,N) [110X                                    
      │                                                         [10XIntegralRingGenerators(R,n) [110X                                                        
      │                                         [10XModPCohomologyGenerators(G,n) [110X [10XModPCohomologyGenerators(R) [110X                                         
      │                  [10XModPCohomologyRing(G,n) [110X [10XModPCohomologyRing(G,n,level) [110X [10XModPCohomologyRing(R) [110X [10XModPCohomologyRing(R,level)[110X                 
      │                                                            [10XModPRingGenerators(A) [110X                                                           
      │ [10XMod2CohomologyRingPresentation(G) [110X [10XMod2CohomologyRingPresentation(G,n) [110X [10XMod2CohomologyRingPresentation(A) [110X [10XMod2CohomologyRingPresentation(R)[110X
  
