Ticket #7695 (needs_review defect)

Opened 4 years ago

Last modified 18 months ago

naming of the variable in subfields of cyclotomic fields

Reported by: wuthrich Owned by: davidloeffler
Priority: trivial Milestone: sage-5.11
Component: number fields Keywords: cyclotomic fields, subfields
Cc: Work issues:
Report Upstream: N/A Reviewers:
Authors: Chris Wuthrich Merged in:
Dependencies: #9407 Stopgaps:

Description 

sage: F = CyclotomicField(7)
sage: K = F.subfields(3)[0][0]
sage: K
Number Field in zeta70 with defining polynomial x^3 + x^2 - 2*x - 1

I think this convention of adding a 0 to the variable name, as nice and practicle as it is in general, is not good in this case. The resulting algebraic element is not a 70th root of unity as the name would suggest.

Attachments

trac_7695.patch Download (1.4 KB) - added by wuthrich 3 years ago.
exported against 4.5.2.alpha1; but must be applied after #9407

Change History

Changed 3 years ago by wuthrich

exported against 4.5.2.alpha1; but must be applied after #9407

comment:1 Changed 3 years ago by wuthrich

  • Status changed from new to needs_review
  • Authors set to Chris Wuthrich

This is ready for review but depends on #9407.

Of course, this is not the only solution, but it eliminates the cases that bother me.

comment:2 Changed 18 months ago by saraedum

  • Reviewers set to #9407

comment:3 Changed 18 months ago by saraedum

  • Reviewers #9407 deleted
  • Dependencies set to #9407
Note: See TracTickets for help on using tickets.