rename): coeff_rename (#4203)

Commit

5 years ago

feat(data/mv_polynomial/rename): coeff_rename (#4203) Also, use the opportunity to use R as variable for the coefficient ring throughout the file.

References

Author

jcommelin

Parents