Opened 4 years ago
Closed 4 years ago
#23329 closed enhancement (fixed)
Implement characteristic() for ring of coordinate functions
Reported by: | jdemeyer | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.0 |
Component: | commutative algebra | Keywords: | |
Cc: | egourgoulhon, tscrim, mbejger | Merged in: | |
Authors: | Frédéric Chapoton | Reviewers: | David Roe |
Report Upstream: | N/A | Work issues: | |
Branch: | 86d0ef3 (Commits, GitHub, GitLab) | Commit: | 86d0ef324bf5527442247f5c840f6d26957358e7 |
Dependencies: | Stopgaps: |
Description
Change History (10)
comment:1 Changed 4 years ago by
- Summary changed from Implement characteristic for ring of coordinate functions to Implement characteristic() for ring of coordinate functions
comment:2 follow-up: ↓ 3 Changed 4 years ago by
Thinking more about it, this could be handled in the category of Algebras
.
comment:3 in reply to: ↑ 2 Changed 4 years ago by
Replying to jdemeyer:
Thinking more about it, this could be handled in the category of
Algebras
.
Not really, since you cannot in general know the base ring of an element of Algebras
.
comment:4 Changed 4 years ago by
- Branch set to u/chapoton/23329
- Commit set to 86d0ef324bf5527442247f5c840f6d26957358e7
- Status changed from new to needs_review
New commits:
86d0ef3 | trac 23329 characteristic of coordinate chart function ring
|
comment:5 Changed 4 years ago by
green bot, please review
comment:7 Changed 4 years ago by
so is this a positive review ?
comment:8 Changed 4 years ago by
- Status changed from needs_review to positive_review
Oops, forgot to modify the ticket.
comment:9 Changed 4 years ago by
comment:10 Changed 4 years ago by
- Branch changed from u/chapoton/23329 to 86d0ef324bf5527442247f5c840f6d26957358e7
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
The characteristic should be the characteristic of the
K
from this documentation:Now please tell me: how does one retrieve the
K
from the coordinate ring?On the other hand, the focus on symbolics might imply that the characteristic is always zero, but it would be good if somebody could confirm this.