In Hall-Heroult process, the following is used for reducing \( \mathrm{Al_2O_3} \) :
Magnesium
\( \mathrm{CaF_2} \)
Graphite
\( \mathrm{Na_3AlF_6} \)