#8335: Finite Field lattices
-------------------------------+--------------------------------------------
       Reporter:  roed         |         Owner:  AlexGhitza
           Type:  enhancement  |        Status:  needs_info
       Priority:  major        |     Milestone:  sage-5.8  
      Component:  algebra      |    Resolution:            
       Keywords:               |   Work issues:            
Report Upstream:  N/A          |     Reviewers:            
        Authors:  David Roe    |     Merged in:            
   Dependencies:               |      Stopgaps:            
-------------------------------+--------------------------------------------

Comment (by jpflori):

 This is caused by the "fix" I proposed before to return IntegerMod(1) for
 algebraic extension of IntegerMod(1), because now I feel a common parent
 is chosen as IntegerMod(1), but this is a prime field and the element from
 the extension field "cannot" be cast there.

 A proper solution could be to investigate the infinite loop we get when
 the ArithmeticError is replaced with returning a unit when computing 0^0.
 Another solution might be to forbid extension of IntegerMod(1) so that we
 don't get crappy common parents.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8335#comment:26>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to