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