MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 title fix

is Is there a good computer package for working with complexes over non-commutative rings?
show/hide this revision's text 1

is there a good computer package for working with complexes over non-commutative rings

I'm interested in doing computations with certain non-commutative rings, most of which involve taking derived tensor products. Does anyone know of a computer algebra package which will find projective resolutions of complexes of modules over a finite-dimensional non-commutative ring, tensor with a bimodule, and do it all over again?