4 | | sage: R.<y> = QQ[] |

5 | | ....: v1 = AA.polynomial_root(AA.common_polynomial(y^2 - 3), RIF(RR(1.7320508075 |

6 | | ....: 688772), RR(1.7320508075688774))) |

7 | | ....: v2 = QQbar.polynomial_root(AA.common_polynomial(y^4 - y^2 + 1), CIF(RIF(RR |

8 | | ....: (0.8660254037844386), RR(0.86602540378443871)), RIF(-RR(0.5000000000000001 |

9 | | ....: 1), -RR(0.49999999999999994)))) |

10 | | ....: my_vectors = (vector(AA, [-v1, -1, 1]), vector(AA, [0, 2, 1]), vector(AA, |

11 | | ....: [v1, -1, 1]), vector(AA, [1, 0, 0]), vector(AA, [1/2, AA(-1/2*v2^3 + v2), |

12 | | ....: 0]), vector(AA, [-1/2, AA(-1/2*v2^3 + v2), 0])) |

13 | | ....: |

| 4 | R.<y> = QQ[] |

| 5 | v1 = AA.polynomial_root(AA.common_polynomial(y^2 - 3), RIF(RR(1.7320508075688772), RR(1.7320508075688774))) |

| 6 | v2 = QQbar.polynomial_root(AA.common_polynomial(y^4 - y^2 + 1), CIF(RIF(RR(0.8660254037844386), RR(0.86602540378443871)), RIF(-RR(0.50000000000000011), -RR(0.49999999999999994)))) |

| 7 | my_vectors = (vector(AA, [-v1, -1, 1]), vector(AA, [0, 2, 1]), vector(AA,[v1, -1, 1]), vector(AA, [1, 0, 0]), vector(AA, [1/2, AA(-1/2*v2^3 + v2),0]), vector(AA, [-1/2, AA(-1/2*v2^3 + v2), 0])) |

| 8 | |

| 9 | |