CoCalc Public Filessupport / 2016-01-19-141325-galois-group.sagewsOpen in with one click!
Authors: Harald Schilly, ℏal Snyder, William A. Stein
Description: Jupyter notebook support/2015-06-04-141749-bokeh.ipynb
x = polygen(QQ,'x') f = x^4 + 3*x^2 + 1 G = f.galois_group() G
Transitive group number 2 of degree 4
G.gens()
[(1,2)(3,4), (1,4)(2,3)]
G.order()
4
show(f.roots(ring=SR))
[(12532\displaystyle -\sqrt{\frac{1}{2} \, \sqrt{5} - \frac{3}{2}}, 1\displaystyle 1), (12532\displaystyle \sqrt{\frac{1}{2} \, \sqrt{5} - \frac{3}{2}}, 1\displaystyle 1), (12532\displaystyle -\sqrt{-\frac{1}{2} \, \sqrt{5} - \frac{3}{2}}, 1\displaystyle 1), (12532\displaystyle \sqrt{-\frac{1}{2} \, \sqrt{5} - \frac{3}{2}}, 1\displaystyle 1)]