More functionality for Weyl groups #12676

Job	Run time
doctest (1.9, ubuntu-latest)	21m 5s
doctest (1.10, ubuntu-latest)	21m 38s
doctest (nightly, ubuntu-latest)	23m 56s
doctest (1.10, ubuntu-latest, depwarn=error)	21m 25s
doctest (1.10, macOS-latest)	27m 43s
test (1.6, short, ubuntu-latest)	55m 37s
test (1.6, long, ubuntu-latest)	37m 23s
test (1.9, short, ubuntu-latest)	58m 22s
test (1.9, long, ubuntu-latest)	33m 25s
test (1.10, short, ubuntu-latest)	47m 46s
test (1.10, long, ubuntu-latest)	29m 39s
test (nightly, short, ubuntu-latest)	58m 10s
test (nightly, long, ubuntu-latest)	36m 25s
test (1.10, short, ubuntu-latest, depwarn=error)	52m 39s
test (1.10, long, ubuntu-latest, depwarn=error)	29m 23s
test (1.10, short, macOS-latest)	56m 42s
test (1.10, long, macOS-latest)	43m 22s
test (nightly, short, macOS-latest)	1h 17m 32s
test (nightly, long, macOS-latest)	57m 15s
	13h 9m 27s

Provide feedback