Normed vector types, infinite norm, norm equivalence thm, continuity … #5098
| Job | Run time |
|---|---|
| 1m 1s | |
| 52s | |
| 1m 3s | |
| 55s | |
| 50s | |
| 56s | |
| 57s | |
| 53s | |
| 55s | |
| 18m 53s | |
| 3m 9s | |
| 2m 17s | |
| 16m 19s | |
| 2m 0s | |
| 1m 36s | |
| 17m 31s | |
| 1h 10m 7s |
| Job | Run time |
|---|---|
| 1m 1s | |
| 52s | |
| 1m 3s | |
| 55s | |
| 50s | |
| 56s | |
| 57s | |
| 53s | |
| 55s | |
| 18m 53s | |
| 3m 9s | |
| 2m 17s | |
| 16m 19s | |
| 2m 0s | |
| 1m 36s | |
| 17m 31s | |
| 1h 10m 7s |