Starting with polynomial:
P : t^4 - 6*t^2 + 3
Extension levels are: 4
-------------------------------------------------
Ending with final polynomial:
P : t^4 - 6*t^2 + 3
-------------------------------------------------
Computing nodes and weights
  current precision for roots: 53
  current precision for roots: 106
  current precision for roots: 212
 current precision for weights: 53
Linear system for weights solvable: 1
  current precision for roots: 106
  current precision for roots: 212
  current precision for roots: 424
 current precision for weights: 106
Linear system for weights solvable: 1
Sufficient bits for target precision reached
Positive weights:   4 out of 4
Indefinite weights: 0 out of 4
Negative weights:   0 out of 4
Extension rule has valid weights: 1
-------------------------------------------------
The nodes are:
| (2.3344142183389772393 + 1.2347491373534061824e-141j)  +/-  (5.82e-127, 5.82e-127j)
| (-2.3344142183389772393 - 1.6124904798656661429e-173j)  +/-  (5.82e-127, 5.82e-127j)
| (-0.74196378430272585765 + 9.8493333116648348876e-210j)  +/-  (2.4e-127, 2.4e-127j)
| (0.74196378430272585765 + 7.4984840694781547741e-242j)  +/-  (2.4e-127, 2.4e-127j)
-------------------------------------------------
The weights are:
| (0.045875854768068491817 - 6.6116647575509126775e-143j)  +/-  (3.15e-31, 6.02e-127j)
| (0.045875854768068491817 + 1.2132630887702497852e-143j)  +/-  (1.99e-31, 3.6e-127j)
| (0.45412414523193150818 - 5.7931985781696107534e-143j)  +/-  (1.78e-30, 2.66e-126j)
| (0.45412414523193150818 + 1.1191600246950273646e-142j)  +/-  (1.27e-30, 1.85e-126j)
