Open 9d1e8f33-9c5a-487d-bc38-8944bef1a4ae opened 11 years ago
In order to get cohomology (deRham, Ext, Tor all things that M2 does well) in sage we need to get basic classes for graded rings and modules. We should also implement Proj(S) like Spec for commutative rings.
CC: @sagetrac-sage-combinat @jhpalmieri
Component: commutative algebra
Issue created by migration from https://trac.sagemath.org/ticket/14062
See also Ticket #11688 and Ticket #9280
In order to get cohomology (deRham, Ext, Tor all things that M2 does well) in sage we need to get basic classes for graded rings and modules. We should also implement Proj(S) like Spec for commutative rings.
CC: @sagetrac-sage-combinat @jhpalmieri
Component: commutative algebra
Issue created by migration from https://trac.sagemath.org/ticket/14062