Estoy interesado en hacer los cálculos con ciertos no-conmutativa de los anillos, la mayoría de las cuales implican tomar derivada del tensor de productos. ¿Alguien sabe de un equipo de paquetes de álgebra que encontrará las resoluciones de los complejos de los módulos a través de un número finito de dimensiones no-conmutativa anillo tensor con una bimodule, y hacerlo todo de nuevo?
Respuesta
¿Demasiados anuncios?
No sé si el Magma puede manejar todo lo que piden, pero si recuerdo que mi codificación para el Magma correctamente, al menos, la proyectiva resoluciones de los módulos a través de un no-conmutativa anillo debe ser cubierto por la que - por lo suficientemente bueno no conmutativa anillos. Todo ha sido desarrollado como parte de Jon F. Carlson, la labor del grupo de informática de cohomology de los anillos.
Si hay un sistema que hace todo lo que piden, y lo hace de manera eficiente, es probable que se haya escrito en relación a un grupo cohomology de cálculo de esfuerzo - que estrecha los candidatos de manera significativa: el Magma y la BRECHA de hacer grupo cohomology de los anillos, y SAGE ahora con el trabajo de Simon King y David Green.
En contraste, estoy razonablemente seguro de que Macaulay, sólo que no conmutativa cosas, y Singular no tiene resoluciones que ocurren naturalmente objeto en absoluto.
Bergman podría ser capaz de lidiar con lo que pides, aunque.
Para concluir: yo te recomiendo echar un vistazo a el álgebra homológica módulos en el Magma, la BRECHA, la SALVIA y Bergman - yo estaría muy sorprendido de ver cualquier otra paquetes de acuerdo con el caso que usted describe, y no estoy totalmente convencido de que cualquiera de estos hazlo bien.
