Feature #304
Module ordering and grading (and shifts)
Status:
Closed
Priority:
High
Assignee:
Category:
New Function
Target version:
Description
Set the interface for ordering and grading (and then shifts)
Add tests and examples.
Port to CoCoA5
Related issues
History
#1 Updated by Anna Maria Bigatti about 11 years ago
Now the function NewFreeModule(R, n) calls NewGradedFreeModule(R, n) when R is a polynomial ring (more precisely a SparsePolyRing).
The only relevant function now (just to see it works ;-) is- IsHomog for a MODULEELEM (working only if Rn is a graded free module)
#2 Updated by Anna Maria Bigatti about 11 years ago
- Category set to New Function
- Status changed from New to In Progress
- Assignee set to Anna Maria Bigatti
- Priority changed from Normal to High
- % Done changed from 0 to 20
#3 Updated by Anna Maria Bigatti almost 11 years ago
major rewriting in progress
#4 Updated by Anna Maria Bigatti almost 11 years ago
compiles and runs: I'll check on Monday if it gives the correct result ;-)
#5 Updated by Anna Maria Bigatti almost 11 years ago
- % Done changed from 20 to 40
fixed bug on shifts
added test
CVS'ed
#6 Updated by Anna Maria Bigatti over 10 years ago
- Subject changed from Module ordering and grading to Module ordering and grading (and shifts)
- % Done changed from 40 to 60
#7 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99532
#8 Updated by Anna Maria Bigatti about 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#9 Updated by Anna Maria Bigatti about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#10 Updated by Anna Maria Bigatti almost 10 years ago
- % Done changed from 60 to 70
- Estimated time set to 15.00 h
I made some tests (and checked with Hilbert series) and it seems that shifts are done and OK. Added some documentation.
#11 Updated by Anna Maria Bigatti over 9 years ago
- Status changed from In Progress to Closed
- % Done changed from 70 to 100
I think it is all done (naive resolutions work).
If some wrong aspect arises it'll become a new specific issue.