Changes between Version 105 and Version 112 of Ticket #8335


Ignore:
Timestamp:
08/02/13 11:06:44 (8 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8335

    • Property Status changed from needs_work to needs_review
    • Property Summary changed from Finite Field lattices for (pseudo-)Conway polynomials to Finite field lattices via Conway polynomials
    • Property Work issues changed from store ref to PCL in finite field (or implement another way of weak caching) to
  • Ticket #8335 – Description

    v105 v112  
    1 Implements coercion within lattices of finite fields lying above the same prime when implemented with (pseudo-)Conway polynomials.
     1Implements coercion within lattices of finite fields lying above the same prime when implemented with Conway polynomials.
    22
    33{{{
     
    1010}}}
    1111
    12 This feature is implemented for fields outside the range of the Conway polynomial database by the implementation of a function for finding pseudo-Conway polynomials: polynomials that satisfy all of the algebraic constraints on Conway polynomials without the lexicographic constraint that imposes uniqueness.
    13 
    1412When using the `conway` and `prefix` parameters, one does not need to specify an explicit variable name; if no variable name is given, it is constructed from the `prefix` and the degree (as in the above code snippet).
    1513
    16 In the future, the functionality of this ticket will be incorporated into that for algebraic closures of finite fields.
     14In the future, the functionality of this ticket will be incorporated into that for algebraic closures of finite fields.  It will then be possible to construct compatible systems of finite fields outside the range of the Conway polynomial database using the pseudo-Conway polynomials from #14958: polynomials that satisfy all of the algebraic constraints on Conway polynomials without the lexicographic constraint that imposes uniqueness.
    1715
    1816Apply:
    1917* [attachment:trac_8335-finite_field_coerce-5.11.b3-14888.patch]
    20 * [attachment:trac_8335-rebase_14958.patch]
     18* [attachment:trac_8335-no_pseudo.patch]