Sophie
-- -*- M2-comint -*- {* hash: 1068681748 *} i1 : R = QQ[a..d]; i2 : degree(b, a*b^5+b^7-3*a^10-3) o2 = 7 i3 :