no base extension defined
Define a coercion homomorphism from Symbolic Ring to Cyclotomic Field of order 23 and degree 22
1/3*t^5 - 220 is NOT decomposable over integers!
Cannot decompose -t^4 - 12*t^2 - 4*t - 6: no polynomial of matching degree in basis!
[t^5 + 2, 13*t - 5, 6*t^2 + 2*t + 3]
[3, 1, -2]
(1,)
[ 0 1 0 0 0 0 0 0 0 0]
[ 0 0 1 0 0 0 0 0 0 0]
[ 0 0 0 1 0 0 0 0 0 0]
[ 0 0 0 0 1 0 0 0 0 0]
[ 0 0 0 0 0 1 0 0 0 0]
[ 0 0 0 0 0 0 1 0 0 0]
[ 0 0 0 0 0 0 0 1 0 0]
[ 0 0 0 0 0 0 0 0 1 0]
[ 0 0 0 0 0 0 0 0 0 1]
[-1 -1 -1 -1 -1 -1 -1 -1 -1 -1]
(, , , , , , , , , , , , , , , , , , , , , )
[47, t + 30, t^2 + 40, t^3 + 22, t^4 + 45, t^5 + 13, t^6 + 33, t^7 + 44, t^8 + 43, t^9 + 26, t^10 + 19, t^11 + 41, t^12 + 39, t^13 + 5, t^14 + 38, t^15 + 35, t^16 + 31, t^17 + 10, t^18 + 29, t^19 + 23, t^20 + 15, t^21 + 20]
[47, t + 44, t^2 + 38, t^3 + 20, t^4 + 13, t^5 + 39, t^6 + 23, t^7 + 22, t^8 + 19, t^9 + 10, t^10 + 30, t^11 + 43, t^12 + 35, t^13 + 11, t^14 + 33, t^15 + 5, t^16 + 15, t^17 + 45, t^18 + 41, t^19 + 29, t^20 + 40, t^21 + 26]
[1, t, t^2, t^3, t^4, t^5, t^6, t^7, t^8, t^9, t^10, t^11, t^12, t^13, t^14, t^15, t^16, t^17, t^18, t^19, t^20, t^21]
Class group of order 8 with structure C2 x C2 x C2 of Cyclotomic Field of order 29 and degree 28
(Fractional ideal class (59, t - 26), Fractional ideal class (59, t - 20), Fractional ideal class (59, t - 7))