Opened 12 months ago
Closed 8 months ago
#25276 closed defect (fixed)
Bugs with GradedCommutativeAlgebra
Reported by:  jhpalmieri  Owned by:  

Priority:  major  Milestone:  sage8.4 
Component:  algebra  Keywords:  
Cc:  mmarco, tscrim  Merged in:  
Authors:  John Palmieri  Reviewers:  Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  2bf55eb (Commits)  Commit:  2bf55eb6742f5d0183b3a6f771ea702d012c063e 
Dependencies:  Stopgaps: 
Description
Two bugs with GradedCommutativeAlgebra
:
GradedCommutativeAlgebra(QQ, 'x')
does not work: it seems to not work with only one generator.
 As reported on ask.sagemath.org, homomorphisms don't work.
Change History (11)
comment:1 Changed 11 months ago by
comment:2 Changed 9 months ago by
 Milestone changed from sage8.3 to sage8.4
update milestone 8.3 > 8.4
comment:3 Changed 8 months ago by
 Branch set to u/jhpalmieri/singlygenerateddga
comment:4 Changed 8 months ago by
 Commit set to 79bb0c2ab64477dbe483ed500b276e3d32f18ee5
Here is a branch dealing with the singly generated case. I will move the morphism issue to a separate ticket.
New commits:
79bb0c2  trac 25276: implement singly generated differental graded commutative algebras

comment:5 Changed 8 months ago by
 Status changed from new to needs_review
comment:6 Changed 8 months ago by
See #26027 for morphisms.
comment:7 Changed 8 months ago by
 Reviewers set to Travis Scrimshaw
Can you also add an example for when the generator is even? Otherwise LGTM.
comment:8 Changed 8 months ago by
 Commit changed from 79bb0c2ab64477dbe483ed500b276e3d32f18ee5 to 2bf55eb6742f5d0183b3a6f771ea702d012c063e
Branch pushed to git repo; I updated commit sha1. New commits:
2bf55eb  trac 25276: add one more example

comment:9 Changed 8 months ago by
Good idea.
comment:11 Changed 8 months ago by
 Branch changed from u/jhpalmieri/singlygenerateddga to 2bf55eb6742f5d0183b3a6f771ea702d012c063e
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
The first problem is a bug in the construction of
g_algebra
:Looks like a special case with 1 variable is not handled properly on Sage's side, but I am not sure.
The second problem comes from this:
So IMO that is not strictly a bug, but a missing feature.