Implicitization of parametric curves and surfaces by using symmetric functions Rethinking low genus hyperelliptic Jacobian arithmetic over binary fields: Interplay of field arithmetic and explicit formulæ 