Opened 5 years ago
Last modified 4 years ago
#22150 needs_work enhancement
Set embedding of extension in QQ[2^(1/3)] — at Version 9
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, GitHub, GitLab) | 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 (9)
comment:1 Changed 5 years ago by
- Branch set to u/vdelecroix/22150
- Commit set to 3360768681a2d913a9ec7987aa423278aca15cf5
- Status changed from new to needs_review
comment:2 Changed 5 years ago by
- Status changed from needs_review to needs_work
- Work issues set to see patchbot report
comment:3 Changed 4 years ago by
Needs rebase.
Moreover, there is a problem coming from
sage: sqrt(-3).is_real() True
comment:4 Changed 4 years ago by
Whoops, I had forgotten about this ticket, but see #23117.
comment:5 Changed 4 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 4 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 4 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 4 years ago by
What do you mean ? The ticket description is no longer valid...
comment:9 Changed 4 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.
Note: See
TracTickets for help on using
tickets.
New commits:
22150 set embedding appropriately in QQ[2^(1/3)]