Revision #2027 → #2413 · back to history
f1e5afc8ccee| Field | From #2027 | To #2413 |
|---|---|---|
| anchor.snippet | is an extension field of | also clearly a simple extension. The degree is 2 |
| note | Quadratic extensions like ℚ(√d) are realized via `Zsqrtd` and number-field machinery, with general adjoin available. | Quadratic extensions like ℚ(√d) are realized via `Zsqrtd` and number-field machinery, with general adjoin available. (Anchor tightened — original 'is an extension field of' was ambiguous within the Examples section.) |
| provenance | ai | ai-moderated |
7089073575c5274ae3c887ea