Infrastructure for manipulation polynomial matrices
