Changes between Initial Version and Version 1 of Ticket #21262, comment 3
 Timestamp:
 08/17/16 12:51:49 (3 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #21262, comment 3
initial v1 1 1 The 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). 2 2 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` whe rethe twist map has not finite order.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` when the twist map has not finite order.