Changes between Initial Version and Version 1 of Ticket #21262, comment 3


Ignore:
Timestamp:
08/17/16 12:51:49 (3 years ago)
Author:
caruso
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21262, comment 3

    initial v1  
    11The methods `is_central` and `optimal_bound` make sense for skew polynomials over any ring, right? So it is a bit weird (according to me) to define them only in the class `SkewPolynomial_finite_field_dense` (through *I* very probably do this first).
    22
    3 Similarly the reduced norm makes sense as soon as the twist map has finite order (and in addition I am very interested in using it over a finite extension of Qp). So, I would suggest to move it to the class `SkewPolynomial_generic_dense` and to raise `ValueError` or `TypeError` where the twist map has not finite order.
     3Similarly the reduced norm makes sense as soon as the twist map has finite order (and in addition I am very interested in using it over a finite extension of Qp). So, I would suggest to move it to the class `SkewPolynomial_generic_dense` and to raise `ValueError` or `TypeError` when the twist map has not finite order.