Changes between Version 32 and Version 33 of Ticket #8335


Ignore:
Timestamp:
02/22/13 10:54:33 (9 years ago)
Author:
jpflori
Comment:

The patches should be quite ok now. This needs 5.8.beta0, or at least > 5.7.beta4. I've made quite a bit of changes to all the coercion stuff, so that definitely needs review. With a minimal set of changes to sources files you can now create algebraic extensions of the Integers(1) and let it be considered as a quotient of a univariate poly ring, etc. and everything that came up when I was trying to rebase the patches. In particular, now the modulus var of an AlgebraicExtensionFunctor? is always a polynomial, but I've added an additional optional field named conway to encode the fact we're dealing with pseudo-conway extensions of ff.

Please test, rant, whatever!

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8335

    • Property Status changed from needs_info to needs_review
    • Property Work issues changed from coercion madness to
  • Ticket #8335 – Description

    v32 v33  
    2020__APPLY__
    2121
    22 *[attachment:trac_8335-pseudo_conway-5.7.b4.patch]
     22*[attachment:trac_8335-pseudo_conway-5.8.b0.patch]
    2323
    24 *[attachment:trac_8335-finite_field_coerce-5.7.b4.patch]
     24*[attachment:trac_8335-finite_field_coerce-5.8.b0.patch]
    2525
    26 *[attachment:trac_8335-doc-5.7.b4.patch]
     26*[attachment:trac_8335-fixes-5.8.b0.patch]