small fix in the backward rule of norm
#233
| Job | Run time |
|---|---|
| 1h 20m 39s | |
| 2h 31m 11s | |
| 1h 41m 15s | |
| 1h 2m 21s | |
| 2h 22m 37s | |
| 1h 9m 9s | |
| 1h 14m 45s | |
| 1h 52m 11s | |
| 1h 17m 44s | |
| 14h 31m 52s |
norm
#233
| Job | Run time |
|---|---|
| 1h 20m 39s | |
| 2h 31m 11s | |
| 1h 41m 15s | |
| 1h 2m 21s | |
| 2h 22m 37s | |
| 1h 9m 9s | |
| 1h 14m 45s | |
| 1h 52m 11s | |
| 1h 17m 44s | |
| 14h 31m 52s |