¿existe un buen paquete informático para trabajar con bicomplejos?

Question

Estoy interesado en trabajar con bicomplejos de módulos sobre anillos polinómicos, concretamente en tensarlos juntos, y en la operación de tomar la cohomología en una dirección, y luego en la otra. ¿Existe algún paquete de álgebra computacional que haga esto eficientemente?

Answer 1

¿Has probado GAP ?

Answer 2

Puede utilizar el paquete Homalg para GAP4 (consultar su manual, ver capítulo 13) http://www-gap.dcs.st-and.ac.uk/Manuals/pkg/homalg/doc/manual.pdf

Answer 3

Hay dos capítulos relevantes en Cálculos en geometría algebraica con Macaulay 2 : "Resoluciones y cohonología sobre intersecciones completas", y "Algoritmos de gavillas usando álgebra exterior".

Los cálculos en Farkas G.; Syzygies de curvas y el cono efectivo de M _g . Se hicieron con Macaulay 2, e involucran bicomplejos y tensores.

Answer 4

No soy un experto en este campo, pero tal vez Kenzo es lo que usted necesita? Puede hacer tensores y homologías, etc.

http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/

Answer 5

Consulte magma también