Opened 4 years ago
Closed 3 years ago
#24432 closed enhancement (fixed)
let category handles is_field/is_finite/cardinality for many rings
Reported by: | vdelecroix | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.7 |
Component: | algebra | Keywords: | |
Cc: | chapoton | Merged in: | |
Authors: | Vincent Delecroix, Frédéric Chapoton | Reviewers: | Vincent Delecroix |
Report Upstream: | N/A | Work issues: | |
Branch: | e9a6e2b (Commits, GitHub, GitLab) | Commit: | e9a6e2bf9ddd1af73bfd768eabc2562c624ef9e1 |
Dependencies: | Stopgaps: |
Description (last modified by )
Change History (22)
comment:1 Changed 4 years ago by
- Description modified (diff)
- Summary changed from let category handles is_finite/cardinality for rings to let category handles is_field/is_finite/cardinality for many rings
comment:2 Changed 4 years ago by
- Branch set to u/vdelecroix/24432
- Commit set to 1dca25bf8309a1c90a38d4e48e4ecbee9f885cc6
- Status changed from new to needs_review
comment:3 Changed 4 years ago by
- Commit changed from 1dca25bf8309a1c90a38d4e48e4ecbee9f885cc6 to fe161a625ee45847f5c9387b7a6cbf287312222a
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
fe161a6 | 24432: is_field/is_finite/cardinality
|
comment:4 Changed 4 years ago by
- Dependencies set to #24413
comment:5 Changed 4 years ago by
- Status changed from needs_review to needs_work
comment:6 Changed 4 years ago by
- Description modified (diff)
comment:7 Changed 4 years ago by
- Commit changed from fe161a625ee45847f5c9387b7a6cbf287312222a to 16ab37b31fb0b10fb25eb13781bd48a76718fdfb
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
f95f61e | 24413: make polynomial rings know that they are infinite
|
c905ee9 | 24413: base ring = 0
|
365ede1 | trac 24413 doc details
|
984e2df | 24432: is_field/is_finite/cardinality
|
16ab37b | 24432: number fields not infinite by default
|
comment:8 Changed 4 years ago by
see #23418
comment:9 Changed 4 years ago by
- Dependencies changed from #24413 to #24413, #23418
- Description modified (diff)
comment:10 Changed 4 years ago by
- Branch changed from u/vdelecroix/24432 to u/saraedum/24432
comment:11 Changed 4 years ago by
- Commit changed from 16ab37b31fb0b10fb25eb13781bd48a76718fdfb to ccd834e454490cc30c59fe2e571f4d7a1a429c0b
- Status changed from needs_work to needs_info
I tried to rebase this on top of develop. I hope I didn't screw up in some way.
What's the status of this now? Does this essentially need review?
New commits:
ccd834e | Merge develop and 24432
|
comment:12 Changed 4 years ago by
Some update is needed. For example the following make no sense
-_NumberFields = NumberFields() +# even though number fields are infinite, it seems delicate +# to have it automatically understood by the category +# see https://groups.google.com/forum/#!topic/sage-devel/-ZtXuXan6cg +_NumberFields = NumberFields().Infinite()
as
sage: NumberFields() is NumberFields().Infinite() True
comment:13 Changed 3 years ago by
- Branch changed from u/saraedum/24432 to public/ticket/24432
- Commit changed from ccd834e454490cc30c59fe2e571f4d7a1a429c0b to 16a1674d8e6bbf127656aab04788bb87a0460f9e
- Dependencies #24413, #23418 deleted
comment:14 Changed 3 years ago by
- Milestone changed from sage-8.2 to sage-8.7
comment:15 Changed 3 years ago by
- Commit changed from 16a1674d8e6bbf127656aab04788bb87a0460f9e to 1d0f9d3be6f7a9223f68cf613139c68d81477dee
Branch pushed to git repo; I updated commit sha1. New commits:
1d0f9d3 | trac 24432 tiny fix
|
comment:16 Changed 3 years ago by
- Commit changed from 1d0f9d3be6f7a9223f68cf613139c68d81477dee to aca09f85623b99c8e071264907a6ee4531e2a899
Branch pushed to git repo; I updated commit sha1. New commits:
aca09f8 | trac 24432 another tiny fix
|
comment:17 Changed 3 years ago by
- Status changed from needs_info to needs_review
comment:18 Changed 3 years ago by
- Commit changed from aca09f85623b99c8e071264907a6ee4531e2a899 to e7d82f0f10de342ec232c48ebe38624cdd57c609
Branch pushed to git repo; I updated commit sha1. New commits:
e7d82f0 | trac 24432 removed unused import
|
comment:19 Changed 3 years ago by
- Commit changed from e7d82f0f10de342ec232c48ebe38624cdd57c609 to e9a6e2bf9ddd1af73bfd768eabc2562c624ef9e1
Branch pushed to git repo; I updated commit sha1. New commits:
e9a6e2b | trac 24432 fix one doctest
|
comment:20 Changed 3 years ago by
This should be ready to go. Can somebody else please confirm ?
comment:21 Changed 3 years ago by
- Reviewers set to Vincent Delecroix
- Status changed from needs_review to positive_review
This is ok. Thank you.
comment:22 Changed 3 years ago by
- Branch changed from public/ticket/24432 to e9a6e2bf9ddd1af73bfd768eabc2562c624ef9e1
- Resolution set to fixed
- Status changed from positive_review to closed
New commits:
24432: is_field/is_finite/cardinality