#14990: Implement algebraic closures of finite fields
-------------------------------------+-------------------------------------
       Reporter:  pbruin             |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.2
      Component:  algebra            |   Resolution:
       Keywords:  finite field       |    Merged in:
  algebraic closure                  |    Reviewers:
        Authors:  Peter Bruin        |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:  u/pbruin/14990     |  33f982f1acbf61cf08897e6a46ee23bb14e78e1e
   Dependencies:  #14958, #13214     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by pbruin):

 Hello Vincent,
 > I do not like
 > {{{
 > sage: GF(5).algebraic_closure() is GF(5).algebraic_closure()
 > False
 > }}}
 Would you be happier if `FiniteField.algebraic_closure()` were a
 `cached_method`?

 I see your point, but I really don't like the idea that constructing two
 algebraic closures of the same field can be expected to give identical
 objects.  (Except if there are "trivial" reasons why it should, like
 caching the result in the above example, or if you use a mathematically
 well-defined construction like (non-pseudo) Conway polynomials.)

--
Ticket URL: <http://trac.sagemath.org/ticket/14990#comment:63>
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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to