Suite: compositum of relative extensions
compositum of degrees 2 and 3 over quadratic field: 1
compositum of degrees 2 and 4 over quadratic field: 1
compositum of degrees 5 and 7 over quadratic field: 1
compositum of degrees 2 and 3 over degree 5 field: 1
compositum of degrees 2 and 4 over degree 5 field: 1
compositum of degrees 5 and 4 over degree 5 field: 1
[x^10 + Mod(-5/2*y + 5/2, y^2 - 5)*x^9 + Mod(-5*y + 20, y^2 - 5)*x^8 + Mod(-
20*y + 30, y^2 - 5)*x^7 + Mod(-45/2*y + 145/2, y^2 - 5)*x^6 + Mod(-71/2*y + 
121/2, y^2 - 5)*x^5 + Mod(-20*y + 60, y^2 - 5)*x^4 + Mod(-25*y + 5, y^2 - 5)
*x^3 + 45*x^2 + Mod(-5*y + 15, y^2 - 5)*x + Mod(-2*y + 6, y^2 - 5), x^10 + M
od(5/2*y + 5/2, y^2 - 5)*x^9 + Mod(5*y + 20, y^2 - 5)*x^8 + Mod(20*y + 30, y
^2 - 5)*x^7 + Mod(45/2*y + 145/2, y^2 - 5)*x^6 + Mod(79/2*y + 121/2, y^2 - 5
)*x^5 + Mod(25*y + 85, y^2 - 5)*x^4 + Mod(15*y + 55, y^2 - 5)*x^3 + Mod(10*y
 - 5, y^2 - 5)*x^2 - 10*x + Mod(-2*y + 6, y^2 - 5)]
[x^10 + Mod(-5/2*y + 5/2, y^2 - 5)*x^9 + Mod(-5*y + 20, y^2 - 5)*x^8 + Mod(-
20*y + 30, y^2 - 5)*x^7 + Mod(-45/2*y + 145/2, y^2 - 5)*x^6 + Mod(-71/2*y + 
121/2, y^2 - 5)*x^5 + Mod(-20*y + 60, y^2 - 5)*x^4 + Mod(-25*y + 5, y^2 - 5)
*x^3 + 45*x^2 + Mod(-5*y + 15, y^2 - 5)*x + Mod(-2*y + 6, y^2 - 5), Mod(Mod(
26/2945*y - 653/5890, y^2 - 5)*x^9 + Mod(1633/5890*y - 869/2945, y^2 - 5)*x^
8 + Mod(2951/5890*y - 5939/2945, y^2 - 5)*x^7 + Mod(21757/11780*y - 29451/11
780, y^2 - 5)*x^6 + Mod(18733/11780*y - 69587/11780, y^2 - 5)*x^5 + Mod(1445
/589*y - 9436/2945, y^2 - 5)*x^4 + Mod(7893/11780*y - 34679/11780, y^2 - 5)*
x^3 + Mod(9461/5890*y + 3919/2945, y^2 - 5)*x^2 + Mod(-8383/11780*y - 54699/
11780, y^2 - 5)*x + Mod(261/589*y - 2467/2945, y^2 - 5), x^10 + Mod(-5/2*y +
 5/2, y^2 - 5)*x^9 + Mod(-5*y + 20, y^2 - 5)*x^8 + Mod(-20*y + 30, y^2 - 5)*
x^7 + Mod(-45/2*y + 145/2, y^2 - 5)*x^6 + Mod(-71/2*y + 121/2, y^2 - 5)*x^5 
+ Mod(-20*y + 60, y^2 - 5)*x^4 + Mod(-25*y + 5, y^2 - 5)*x^3 + 45*x^2 + Mod(
-5*y + 15, y^2 - 5)*x + Mod(-2*y + 6, y^2 - 5)), Mod(Mod(26/2945*y - 653/589
0, y^2 - 5)*x^9 + Mod(1633/5890*y - 869/2945, y^2 - 5)*x^8 + Mod(2951/5890*y
 - 5939/2945, y^2 - 5)*x^7 + Mod(21757/11780*y - 29451/11780, y^2 - 5)*x^6 +
 Mod(18733/11780*y - 69587/11780, y^2 - 5)*x^5 + Mod(1445/589*y - 9436/2945,
 y^2 - 5)*x^4 + Mod(7893/11780*y - 34679/11780, y^2 - 5)*x^3 + Mod(9461/5890
*y + 3919/2945, y^2 - 5)*x^2 + Mod(-8383/11780*y - 42919/11780, y^2 - 5)*x +
 Mod(261/589*y - 2467/2945, y^2 - 5), x^10 + Mod(-5/2*y + 5/2, y^2 - 5)*x^9 
+ Mod(-5*y + 20, y^2 - 5)*x^8 + Mod(-20*y + 30, y^2 - 5)*x^7 + Mod(-45/2*y +
 145/2, y^2 - 5)*x^6 + Mod(-71/2*y + 121/2, y^2 - 5)*x^5 + Mod(-20*y + 60, y
^2 - 5)*x^4 + Mod(-25*y + 5, y^2 - 5)*x^3 + 45*x^2 + Mod(-5*y + 15, y^2 - 5)
*x + Mod(-2*y + 6, y^2 - 5)), -1]
Mod(0, x^10 + Mod(-5/2*y + 5/2, y^2 - 5)*x^9 + Mod(-5*y + 20, y^2 - 5)*x^8 +
 Mod(-20*y + 30, y^2 - 5)*x^7 + Mod(-45/2*y + 145/2, y^2 - 5)*x^6 + Mod(-71/
2*y + 121/2, y^2 - 5)*x^5 + Mod(-20*y + 60, y^2 - 5)*x^4 + Mod(-25*y + 5, y^
2 - 5)*x^3 + 45*x^2 + Mod(-5*y + 15, y^2 - 5)*x + Mod(-2*y + 6, y^2 - 5))
1
[x^5 + Mod(y, y^2 - 5), x^10 + Mod(77*y - 275, y^2 - 5)*x^5 + Mod(-41525*y +
 96630, y^2 - 5), x^10 + Mod(77*y + 275, y^2 - 5)*x^5 + Mod(41525*y + 96630,
 y^2 - 5)]
x^25 + Mod(155*y, y^2 - 5)*x^20 + 148050*x^15 + Mod(-7810450*y, y^2 - 5)*x^1
0 + 675940125*x^5 + Mod(715728775*y, y^2 - 5)
x^10 + 5*x^9 + 15*x^8 + 30*x^7 + 45*x^6 + Mod(2*y + 51, y^2 - 5)*x^5 + Mod(5
*y + 45, y^2 - 5)*x^4 + Mod(-10*y + 30, y^2 - 5)*x^3 + Mod(-20*y + 15, y^2 -
 5)*x^2 + Mod(-5*y + 5, y^2 - 5)*x + Mod(y + 6, y^2 - 5)
[x^10 + 5*x^9 + 15*x^8 + 30*x^7 + 45*x^6 + Mod(2*y + 51, y^2 - 5)*x^5 + Mod(
5*y + 45, y^2 - 5)*x^4 + Mod(-10*y + 30, y^2 - 5)*x^3 + Mod(-20*y + 15, y^2 
- 5)*x^2 + Mod(-5*y + 5, y^2 - 5)*x + Mod(y + 6, y^2 - 5), Mod(-32280/622201
*x^9 + Mod(22275/622201*y - 145260/622201, y^2 - 5)*x^8 + Mod(89100/622201*y
 - 397350/622201, y^2 - 5)*x^7 + Mod(244100/622201*y - 22995/20071, y^2 - 5)
*x^6 + Mod(420450/622201*y - 918351/622201, y^2 - 5)*x^5 + Mod(510720/622201
*y - 852705/622201, y^2 - 5)*x^4 + Mod(424640/622201*y - 238275/622201, y^2 
- 5)*x^3 + Mod(871950/622201*y + 235710/622201, y^2 - 5)*x^2 + Mod(714855/62
2201*y - 1610346/622201, y^2 - 5)*x + Mod(-62626/622201*y - 860751/622201, y
^2 - 5), x^10 + 5*x^9 + 15*x^8 + 30*x^7 + 45*x^6 + Mod(2*y + 51, y^2 - 5)*x^
5 + Mod(5*y + 45, y^2 - 5)*x^4 + Mod(-10*y + 30, y^2 - 5)*x^3 + Mod(-20*y + 
15, y^2 - 5)*x^2 + Mod(-5*y + 5, y^2 - 5)*x + Mod(y + 6, y^2 - 5)), Mod(-322
80/622201*x^9 + Mod(22275/622201*y - 145260/622201, y^2 - 5)*x^8 + Mod(89100
/622201*y - 397350/622201, y^2 - 5)*x^7 + Mod(244100/622201*y - 22995/20071,
 y^2 - 5)*x^6 + Mod(420450/622201*y - 918351/622201, y^2 - 5)*x^5 + Mod(5107
20/622201*y - 852705/622201, y^2 - 5)*x^4 + Mod(424640/622201*y - 238275/622
201, y^2 - 5)*x^3 + Mod(871950/622201*y + 235710/622201, y^2 - 5)*x^2 + Mod(
714855/622201*y - 988145/622201, y^2 - 5)*x + Mod(-62626/622201*y - 860751/6
22201, y^2 - 5), x^10 + 5*x^9 + 15*x^8 + 30*x^7 + 45*x^6 + Mod(2*y + 51, y^2
 - 5)*x^5 + Mod(5*y + 45, y^2 - 5)*x^4 + Mod(-10*y + 30, y^2 - 5)*x^3 + Mod(
-20*y + 15, y^2 - 5)*x^2 + Mod(-5*y + 5, y^2 - 5)*x + Mod(y + 6, y^2 - 5)), 
-1]
[x^2 + x + 1, Mod(0, x^2 + x + 1), Mod(x, x^2 + x + 1), -1]
[x^3 - 3*x^2 + 3*x + 1, x^6 + 3*x^5 + 6*x^4 + 11*x^3 + 12*x^2 - 3*x + 1]
[x^3 - 3*x^2 + 3*x + 1, x^6 + 3*x^5 + 6*x^4 + 11*x^3 + 12*x^2 - 3*x + 1]
0:[1, 1]
2:1
0:[1]
2:1
0:[1]
2:1
0:[1, 1]
2:1
  ***   at top-level: nfcompositum(nfinit(x),w^2+1,w^2+1)
  ***                 ^-----------------------------------
  *** nfcompositum: incorrect priority in polcompositum: variable x >= w
  ***   at top-level: nfcompositum(x,w^2+1,w^2+1)
  ***                 ^---------------------------
  *** nfcompositum: incorrect type in checknf [please apply nfinit()] (t_POL).
  ***   at top-level: nfcompositum(nfinit(x-1),x^3-2,x^3-1)
  ***                 ^-------------------------------------
  *** nfcompositum: incorrect priority in polcompositum: variable x >= x
  ***   at top-level: nfcompositum(nfinit(x^2+1),x^3-2,x^3-1)
  ***                 ^---------------------------------------
  *** nfcompositum: incorrect priority in polcompositum: variable x >= x
  ***   at top-level: nfcompositum(nfinit(x-1),y^3-2,y^3-1)
  ***                 ^-------------------------------------
  *** nfcompositum: incorrect priority in polcompositum: variable x >= y
  ***   at top-level: nfcompositum(bnfinit(x),x^3-2,x^3-1)
  ***                 ^------------------------------------
  *** nfcompositum: incorrect priority in polcompositum: variable x >= x
Total time spent: 602
