Opened 12 years ago

Closed 12 years ago

## #9414 closed defect (duplicate)

# make the rational number field consistent with other number fields

Reported by: | Radoslav Kirov | Owned by: | David Loeffler |
---|---|---|---|

Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |

Component: | number fields | Keywords: | number field, rationals |

Cc: | Merged in: | ||

Authors: | Reviewers: | Maarten Derickx | |

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | Stopgaps: |

### Description

Currently QQ behaves different than a generic number field. This forces number theory functions to treat QQ separately, which is inconvenient.

K = QQ I = K.ideal(7)

This creates ideal that does not have the functions I.denominator, I.numerator, I.prime_ideals() ... which a fractional ideal in a number field should have

K.<a> = NumberField(x^2+2) I = K.ideal(7)

Similarly, QQ.places() is not implemented; it should return the one infinite place for Q. Although there seems to be QQ.embeddings().

QQ.places()

### Change History (5)

### comment:1 Changed 12 years ago by

Summary: | make the rational number field, consistent with other number fields → make the rational number field consistent with other number fields |
---|

### comment:2 Changed 12 years ago by

Status: | new → needs_review |
---|

### comment:3 Changed 12 years ago by

Status: | needs_review → positive_review |
---|

### comment:4 Changed 12 years ago by

Milestone: | sage-5.0 → sage-duplicate/invalid/wontfix |
---|

### comment:5 Changed 12 years ago by

Resolution: | → duplicate |
---|---|

Reviewers: | → Maarten Derickx |

Status: | positive_review → closed |

**Note:**See TracTickets for help on using tickets.

This is a duplicate of #7596. I'm putting it as positive review so that someone with the right abilities will see it an close this as duplicate ticket.