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 | |