Changes between Version 92 and Version 97 of Ticket #8335


Ignore:
Timestamp:
07/23/13 15:12:35 (8 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8335

    • Property Cc mraum fstromberg JCooley davidloeffler dfesti added
    • Property Dependencies changed from #13894 to #14958
  • Ticket #8335 – Description

    v92 v97  
    1212This 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.
    1313
    14 Finite fields no longer require an explicit variable name (though they still accept one).  If a variable name is given, then outside the range of the Conway polynomial database a random or sparse polynomial is used for speed reasons; if no variable name is given then either a Conway polynomial or pseudo-Conway polynomial is used.
    15 
    16 Also adds methods `any_root` and `squarefree_decomposition` to polynomials over finite fields.
    17 
    18 Depends on #8218, #8332, #7880, #7883, #8333, #8334.
    19 
    20 __APPLY__
    21 
    22 1. [attachment:trac_8335-pseudo_conway-5.10.b3.patch]
    23 1. [attachment:trac_8335-finite_field_coerce-5.8.b0.patch]
    24 1. [attachment:trac_8335-fixes-5.11.b3.patch]
     14For the time being, finite fields still require an explicit variable name (so the above code snippet won't work exactly as shown); in the future, a variant is planned that no longer requires a variable name.