#9894: Group cohomology spkg, version 2.1
----------------------------------------------------------------------------+
   Reporter:  SimonKing                                                     |   
    Owner:  tbd                                
       Type:  enhancement                                                   |   
   Status:  needs_review                       
   Priority:  major                                                         |   
Milestone:  sage-4.6                           
  Component:  optional packages                                             |   
 Keywords:  modular group cohomology solaris t2
     Author:  Simon King                                                    |   
 Upstream:  N/A                                
   Reviewer:                                                                |   
   Merged:                                     
Work_issues:  Is the code independent of the computer's newline character?  |  
----------------------------------------------------------------------------+

Comment(by kcrisman):

 Replying to [comment:11 SimonKing]:
 > Hi Karl-Dieter,
 >
 > There is also another way to potentially get more insight: Could you try
 the computation in protocol mode, i.e., {{{H =
 CohomologyRing(G,prime=2,GroupName='A8',options='prot')}}}? The last few
 protocol lines before the error will probably help to locate the problem.

 Cool documentation of what is going on!   I removed the db stuff (but not
 the folder) again, and got this before the same error (I assume that up to
 here it is the same for you):
 {{{

 There is no new generator of H^*(SmallGroup(192,1493); GF(2)) in degree 7
   Degree 7 of the visible ring structure of H^*(SmallGroup(192,1493);
 GF(2)) is computed!
   Saving H^*(SmallGroup(192,1493); GF(2))
   We expect that the Hilbert-Poincare criterion will not apply before
 degree 11
   Start computation in Degree 8
   All stable cocycles are decomposable
   Determine degree 8 standard monomials of H^*(SmallGroup(192,1493);
 GF(2))
   Express 48 standard monomials as cocycles
   > Interreduction
   > Determining decomposable subspace
   > Extracting relations
   There is no new relation in degree 8
 There is no new generator of H^*(SmallGroup(192,1493); GF(2)) in degree 8
   Try to lift 1st power of 0th Dickson invariant
   Determine degree 8 standard monomials of H^*(SmallGroup(192,1493);
 GF(2))
   Express 48 standard monomials as cocycles
   > Interreduction
   > Determining decomposable subspace
   > Extracting decomposable cocycles and relations
 ---------------------------------------------------------------------------
 IndexError                                Traceback (most recent call
 last)
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9894#comment:19>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to