// Actually a degree4-result is sufficient (and we want to make our users
 // benefit from this fact, so we define a Polynomial4-mod-method)...
 public Polynomial4 mod(Polynomial4 other)
 {
     return(new Polynomial4(mod(toArray(), degree(), other.toArray(), other
                                .degree())));
 }