Changes between Version 6 and Version 28 of Ticket #21262


Ignore:
Timestamp:
04/08/20 23:21:55 (6 months ago)
Author:
slelievre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21262

    • Property Dependencies changed from #13215 to #13215, #29452
    • Property Commit changed from 35f44cbe04b0e3b9def006660283aea5b93ee28e to dc6995c787caff6f2add2b73ab056da42c9f847e
    • Property Milestone changed from sage-7.4 to sage-9.2
  • Ticket #21262 – Description

    v6 v28  
    11We propose the addition of the following methods and classes to skew polynomials:
    2 1. class CenterSkewPolynomial_generic_dense
    3 2. class SectionSkewPolynomialCenterInjection
    4 3. class SkewPolynomialCenterInjection
    5 4. class CenterSkewPolynomialRing
     21. class `CenterSkewPolynomial_generic_dense`
     32. class `SectionSkewPolynomialCenterInjection`
     43. class `SkewPolynomialCenterInjection`
     54. class `CenterSkewPolynomialRing`
     65. def center in class `SkewPolynomialRing_general`
    67
    7 5. def center in `class SkewPolynomialRing_general`
    8 
    9 In 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
    15 
     8In 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 includes the following methods:
     9- `reduced_trace`
     10- `reduced_norm`
     11- `is_central`
     12- `bound`
     13- `optimal_bound`
    1614
    1715Note: 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.