BasisLieHighestWeight: Replace GAP uses by Oscar functionality #17408
| Job | Run time |
|---|---|
| 27m 36s | |
| 28m 52s | |
| 1h 29m 38s | |
| 25m 50s | |
| 1h 4m 21s | |
| 26m 45s | |
| 1h 7m 47s | |
| 13m 43s | |
| 44m 56s | |
| 1h 20m 36s | |
| 53m 56s | |
| 1h 23m 43s | |
| 54m 48s | |
| 1h 9m 33s | |
| 46m 5s | |
| 7m 51s | |
| 12m 39s | |
| 2h 30m 19s | |
| 1h 5m 36s | |
| 16h 54m 34s |