I'm interested in working with bicomplexes of modules over polynomial rings, specifically tensoring them together, and the operation of taking cohomology in one direction, and then the other. Is there any computer algebra package which will do this efficiently?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
10
2
|
|
||
|
|
|
1
|
You can use the Homalg package for GAP4 (check their manual, see chapter 13) http://www-gap.dcs.st-and.ac.uk/Manuals/pkg/homalg/doc/manual.pdf |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
1
|
There are two relevant chapters in Computations in algebraic geometry with Macaulay 2: "Resolutions and cohonology over complete intersections", and "Sheaf algorithms using exterior algebra". The computations in Farkas G.; Syzygies of curves and the effective cone of Mg. They where done with Macaulay 2, and involve bi-complexes and tensors. |
||
|
|
|
0
|
I am not an expert in this field, but maybe Kenzo is what you need? It can do tensors and homologies and so on. |
||
|
|
|
0
|
Check magma also |
||
|
|
