Dear Forum, I am trying to understand the factorisation of polynomials in ALNUTH. Consider the following example:

*gap> pol := UnivariatePolynomial(Rationals,[6,0,-5,0,1]);x_1^4-5*x_1^2+6gap> L := SplittingField(pol);<algebraic extension over the Rationals of degree 4>gap> FactorsPolynomialAlgExt(L,pol); [ x_1+(-1/20*a^3+9/10*a), x_1+(-1/40*a^3+19/20*a), x_1+(1/40*a^3-19/20*a), x_1+(1/20*a^3-9/10*a) ]* How should we interpret the symbol 'a' here? In other words, is there is a way to realise the constant terms in these these symbolic expressions (involving a) in the factors as (plus or minus) Sqrt{2} and Sqrt{3}. Maybe it is too much to ask, but in general, can GAP display these real roots as a list of radicals (for example Sqrt{2}, Sqrt{3} etc.), as it does while displaying characters. Sincerely, Kashyap -- Kashyap Rajeevsarathy Assistant Professor, Indian Institute of Science Education and Research (IISER) Bhopal, Indore By-pass Road, Bhauri, Bhopal - 462066, Madhya Pradesh, India. Phone: +91-755-669-2364 Website: https://home.iiserb.ac.in/~kashyap _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum