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:  sage8.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 followup: ↓ 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.