Changes between Version 105 and Version 112 of Ticket #8335
 Timestamp:
 08/02/13 11:06:44 (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #8335

Property
Status
changed from
needs_work
toneeds_review

Property
Summary
changed from
Finite Field lattices for (pseudo)Conway polynomials
toFinite 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

Property
Status
changed from

Ticket #8335 – Description
v105 v112 1 Implements coercion within lattices of finite fields lying above the same prime when implemented with (pseudo)Conway polynomials.1 Implements coercion within lattices of finite fields lying above the same prime when implemented with Conway polynomials. 2 2 3 3 {{{ … … 10 10 }}} 11 11 12 This feature is implemented for fields outside the range of the Conway polynomial database by the implementation of a function for finding pseudoConway polynomials: polynomials that satisfy all of the algebraic constraints on Conway polynomials without the lexicographic constraint that imposes uniqueness.13 14 12 When 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). 15 13 16 In the future, the functionality of this ticket will be incorporated into that for algebraic closures of finite fields. 14 In 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 pseudoConway polynomials from #14958: polynomials that satisfy all of the algebraic constraints on Conway polynomials without the lexicographic constraint that imposes uniqueness. 17 15 18 16 Apply: 19 17 * [attachment:trac_8335finite_field_coerce5.11.b314888.patch] 20 * [attachment:trac_8335 rebase_14958.patch]18 * [attachment:trac_8335no_pseudo.patch]