Also, I'd recommend taking a look at Magma: http://en.wikipedia.org/wiki/Magma_computer_algebra_system
Also, I'd recommend taking a look at Magma: http://en.wikipedia.org/wiki/Magma_computer_algebra_system