Add gr_poly_scalar_mul

[rburing]

Also implement GR_METHOD_OTHER_MUL for gr_poly.

I was thinking of adding gr_poly_mul_other as mentioned in #2159 (comment) but I'm not sure how it should be done (or how useful it would be), since it would not have the polynomial ring context as input but only the base ring context. For example if the other is also a polynomial then it would not be possible to check if the variable names match (a check which is currently done in the methods gr_mul_other and gr_other_mul implemented for gr_poly).

• Closes gr_poly_scalar_mul ? #2159

[fredrik-johansson]

Looks good!

I was thinking of adding gr_poly_mul_other as mentioned in #2159 (comment) but I'm not sure how it should be done (or how useful it would be), since it would not have the polynomial ring context as input but only the base ring context. For example if the other is also a polynomial then it would not be possible to check if the variable names match (a check which is currently done in the methods gr_mul_other and gr_other_mul implemented for gr_poly).

Yes, good point. I think it would be reasonable for set_other, mul_other (etc.) methods here to accept any univariate polynomial type and ignore the variable name.

Maybe later a basic interface for working with gr_poly_t wrt. a polynomial ring context object rather than a scalar context object should be moved to the gr_poly module and made public.