Opened 3 years ago
Last modified 2 years ago
#22150 needs_work enhancement
Set embedding of extension in QQ[2^(1/3)]
Reported by: | vdelecroix | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.0 |
Component: | number fields | Keywords: | |
Cc: | Merged in: | ||
Authors: | Vincent Delecroix | Reviewers: | |
Report Upstream: | N/A | Work issues: | see patchbot report |
Branch: | u/vdelecroix/22150 (Commits) | Commit: | 3360768681a2d913a9ec7987aa423278aca15cf5 |
Dependencies: | Stopgaps: |
Description (last modified by )
Before
sage: QQ[2^(1/3)].coerce_embedding() Generic morphism: From: Number Field in a with defining polynomial x^3 - 2 To: Real Lazy Field Defn: a -> 1.259921049894873?
After
sage: QQ[2^(1/3)].coerce_embedding() Generic morphism: From: Number Field in a with defining polynomial x^3 - 2 To: Algebraic Real Field Defn: a -> 1.259921049894873?
Change History (10)
comment:1 Changed 3 years ago by
- Branch set to u/vdelecroix/22150
- Commit set to 3360768681a2d913a9ec7987aa423278aca15cf5
- Status changed from new to needs_review
comment:2 Changed 3 years ago by
- Status changed from needs_review to needs_work
- Work issues set to see patchbot report
comment:3 Changed 2 years ago by
Needs rebase.
Moreover, there is a problem coming from
sage: sqrt(-3).is_real() True
comment:4 Changed 2 years ago by
Whoops, I had forgotten about this ticket, but see #23117.
comment:5 Changed 2 years ago by
- Milestone changed from sage-7.5 to sage-duplicate/invalid/wontfix
- Status changed from needs_work to needs_review
so we can close this as duplicate, right ?
comment:6 Changed 2 years ago by
Hmm. currently we get:
Generic morphism: From: Number Field in a with defining polynomial x^3 - 2 To: Real Lazy Field Defn: a -> 1.259921049894873?
with target the real lazy field instead of AA.
comment:7 Changed 2 years ago by
- Milestone changed from sage-duplicate/invalid/wontfix to sage-8.0
- Status changed from needs_review to needs_work
It would have been better if you just have read the ticket description.
comment:8 Changed 2 years ago by
What do you mean ? The ticket description is no longer valid...
comment:9 follow-up: ↓ 10 Changed 2 years ago by
- Description modified (diff)
The branch is not either. I think that #23117 was actually a bad idea. Coercion should not go through the real lazy field.
comment:10 in reply to: ↑ 9 Changed 2 years ago by
Replying to vdelecroix:
The branch is not either. I think that #23117 was actually a bad idea. Coercion should not go through the real lazy field.
I agree that complex embeddings should go to QQbar
or something like that by default, but for me this is a separate issue, already tracked elsewhere.
However, having the K[α]
syntax create the “standard” embedding makes more sense to me (less confusing, probably breaks fewer existing things) than having it attempt to embed the number field in α
's parent or something like that—if that's what you have in mind.
New commits:
22150 set embedding appropriately in QQ[2^(1/3)]