Added manipulation::degree, but needs refinement