module Ex_rat_poly: sig .. end
Provides some rat_poly values (polynomials in one variable and whose coefficients are
rational numbers).
val p1 : Rat_poly.rat_poly
3 X5 + X4 - 6 X2 + 5 X - 1
val p2 : Rat_poly.rat_poly
2 X3 - X + 1
val p3 : Rat_poly.rat_poly
X2 - 1
val p4 : Rat_poly.rat_poly
X - 1
val p5 : Rat_poly.rat_poly
X2 + 2 X + 1 has a double root (it is -1)
val p6 : Rat_poly.rat_poly
X3 - 2 X2 - X + 2
val p7 : Rat_poly.rat_poly
X7 - 1
val p8 : Rat_poly.rat_poly
7 X + 4
val p9 : Rat_poly.rat_poly
X2 + 1 has no real root
val p10 : Rat_poly.rat_poly
5 X2 - 3 X + 8 has no real root
val p11 : Rat_poly.rat_poly
X + 1
val p12 : Rat_poly.rat_poly
X7 + 2 X6 + 2 X5 + 2 X4 - 2 X3 - 2 X2 - 2 X - 2
val p13 : Rat_poly.rat_poly
- 1200/7 X20 + 1040/7 X19 - 456 X18 + 960/7 X17 - 404 X16 + 316 X15 - 2502/7 X14 - 4208/7 X13 + 14400/7 X12 - 22296/7 X11 + 2238 X10 + 2756/7 X9 - 21048/7 X8 + 25936/7 X7 - 15718/7 X6 + 12/7 X5 + 8948/7 X4 - 8492/7 X3 + 4146/7 X2 - 160 X + 128/7