Add gr_derivative, with implementations for polynomial rings
#3635
| Job | Run time |
|---|---|
| 13m 7s | |
| 14m 40s | |
| 9m 36s | |
| 12m 30s | |
| 33m 25s | |
| 29m 27s | |
| 22m 21s | |
| 11m 56s | |
| 1m 9s | |
| 7m 53s | |
| 2h 36m 4s |