Opened 10 years ago

Closed 10 years ago

#12176 closed defect (fixed)

Compute Minkowski bound for relative number fields

Reported by: mkosters Owned by: davidloeffler
Priority: minor Milestone: sage-4.8
Component: number fields Keywords:
Cc: Merged in: sage-4.8.alpha5
Authors: Michiel Kosters Reviewers: Monique van Beek
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mkosters)

sage: K.<y,z>=NumberField([x^2-2,x^2-3])
sage: K.minkowski_bound()  
...
NotImplementedError: For a relative number field you must use relative_degree or absolute_degree as appropriate

Apply 12176_3.patch

Attachments (4)

12176.patch (2.2 KB) - added by mkosters 10 years ago.
12176_2.patch (2.5 KB) - added by mkosters 10 years ago.
12176_3.2.patch (2.5 KB) - added by mkosters 10 years ago.
12176_3.patch (2.4 KB) - added by mkosters 10 years ago.

Download all attachments as: .zip

Change History (11)

Changed 10 years ago by mkosters

comment:1 Changed 10 years ago by mkosters

  • Status changed from new to needs_review

comment:2 Changed 10 years ago by johanbosman

  • Status changed from needs_review to needs_work

There are some style issues with respect to whitespace (explained to the author in person). Furthermore, the documentation of absolute_discriminant speaks of a "relative discriminant". Speaking of this, you could also define the relative_discriminant of QQ.

Changed 10 years ago by mkosters

Changed 10 years ago by mkosters

comment:3 Changed 10 years ago by mkosters

  • Description modified (diff)
  • Status changed from needs_work to needs_review

Fixed the whitespace and

comment:4 Changed 10 years ago by mkosters

  • Description modified (diff)

Changed 10 years ago by mkosters

comment:5 Changed 10 years ago by MvanBeek

  • Authors set to Michiel Kosters
  • Priority changed from major to minor
  • Reviewers set to Monique van Beek
  • Status changed from needs_review to positive_review

Patch also works in following case:

sage: K.<a,b,c>=NumberField([x^2-3,x^2-7,x^3-2]) 
sage: K.minkowski_bound() 
2641100/pi^4^^

comment:6 Changed 10 years ago by jdemeyer

  • Summary changed from Compute Minkowsky bound for relative number fields to Compute Minkowski bound for relative number fields

comment:7 Changed 10 years ago by jdemeyer

  • Merged in set to sage-4.8.alpha5
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.