14 | | this is the same vector as computed by Sage code in the ticket description, oops. So the bug may be narrowed to fp(y)lll. |
| 14 | ~~this is the same vector as computed by Sage code in the ticket description, oops. So the bug may be narrowed to fp(y)lll.~~ |
| 15 | |
| 16 | This vector is different from what Sage outputs, namely |
| 17 | {{{ |
| 18 | (-423434671769860, -18882583298608161305225815339) |
| 19 | }}} |
| 20 | and may be verified to be in L by calling libgap, say, or just |
| 21 | directly: |
| 22 | {{{ |
| 23 | sage: vector((-423434681577544, -18882583298608161305224294058)) in L |
| 24 | True |
| 25 | }}} |