Changes between Initial Version and Version 6 of Ticket #21262


Ignore:
Timestamp:
08/25/16 22:03:51 (3 years ago)
Author:
caruso
Comment:

As I said before, the features provided by this ticket do not only make sense for finite fields but more generally for fields on which the twisting endomorphism has finite order. I then renamed the class SkewPolynomial_finite_field_dense and called it SkewPolynomial_finite_order_dense. Moreover, I polished the code and made all methods work (e.g. some imports were missing).

Ticket ready for review.


New commits:

891ccfaMerge branch 't/21262/centering_methods_skew_polynomials' into integration
dd53bd1Remove inplace methods and Karatsuba
a29393aReplace "finite fields" by "fields with automorphism of finite order"
35f44cbAdded a method reduced_trace

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21262

    • Property Status changed from new to needs_review
    • Property Authors changed from to Xavier Caruso
    • Property Dependencies changed from #13215, #21088, #21259 to #13215
    • Property Branch changed from to u/caruso/centering_methods_skew_polynomials
    • Property Commit changed from to 35f44cbe04b0e3b9def006660283aea5b93ee28e
  • Ticket #21262 – Description

    initial v6  
    775. def center in `class SkewPolynomialRing_general`
    88
    9 6. Following methods to the class `SkewPolynomial_finite_field_dense`:
    10 - def reduced_norm
    11 - def reduced_norm_factor
    12 - def is_central
    13 - def optimal_bound
     9In addition, we designed a special class `SkewPolynomial_finite_order_dense` for dense skew polynomial over fields when the twisting endomorphism has finite order (in which case the centre has finite index). It include the following methods:
     10- reduced_trace
     11- reduced_norm
     12- is_central
     13- bound
     14- optimal_bound
    1415
    1516
    16 Note: The original ticket #13215 first introduced this functionality. That was subsequently modified to support the basic implementation of skew polynomials and the center based methods from that ticket that were removed are being reintroduced here.
     17Note: The original ticket #13215 first introduced this functionality (only for finite fields). That was subsequently modified to support the basic implementation of skew polynomials and the center based methods from that ticket that were removed are being reintroduced here.