small fix in the backward rule of norm (#131)
#234
| Job | Run time |
|---|---|
| 1h 19m 47s | |
| 2h 32m 20s | |
| 1h 39m 7s | |
| 59m 21s | |
| 2h 6m 26s | |
| 1h 11m 31s | |
| 1h 12m 14s | |
| 1h 45m 45s | |
| 1h 18m 6s | |
| 14h 4m 37s |
norm (#131)
#234
| Job | Run time |
|---|---|
| 1h 19m 47s | |
| 2h 32m 20s | |
| 1h 39m 7s | |
| 59m 21s | |
| 2h 6m 26s | |
| 1h 11m 31s | |
| 1h 12m 14s | |
| 1h 45m 45s | |
| 1h 18m 6s | |
| 14h 4m 37s |