Opened 11 years ago

Closed 11 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 11 years ago.
12176_2.patch (2.5 KB) - added by mkosters 11 years ago.
12176_3.2.patch (2.5 KB) - added by mkosters 11 years ago.
12176_3.patch (2.4 KB) - added by mkosters 11 years ago.

Download all attachments as: .zip

Change History (11)

Changed 11 years ago by mkosters

Attachment: 12176.patch added

comment:1 Changed 11 years ago by mkosters

Status: newneeds_review

comment:2 Changed 11 years ago by johanbosman

Status: needs_reviewneeds_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 11 years ago by mkosters

Attachment: 12176_2.patch added

Changed 11 years ago by mkosters

Attachment: 12176_3.2.patch added

comment:3 Changed 11 years ago by mkosters

Description: modified (diff)
Status: needs_workneeds_review

Fixed the whitespace and

comment:4 Changed 11 years ago by mkosters

Description: modified (diff)

Changed 11 years ago by mkosters

Attachment: 12176_3.patch added

comment:5 Changed 11 years ago by MvanBeek

Authors: Michiel Kosters
Priority: majorminor
Reviewers: Monique van Beek
Status: needs_reviewpositive_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 11 years ago by jdemeyer

Summary: Compute Minkowsky bound for relative number fieldsCompute Minkowski bound for relative number fields

comment:7 Changed 11 years ago by jdemeyer

Merged in: sage-4.8.alpha5
Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.