« some examples
default
nord
catppuccin
serena
Example.
splitting field of $x^{8} - 2 \in \mathbb{Q}[x]$
[2305C]
(D&F Example p.577-581)