Changes between Version 2 and Version 6 of Ticket #29866


Ignore:
Timestamp:
06/16/20 08:48:00 (8 months ago)
Author:
dimpase
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29866

    • Property Priority changed from critical to blocker
    • Property Summary changed from closest_vector for IntegerLattice is broken to closest_vector for IntegerLattice and membership test are broken

  • Ticket #29866 – Description

    v2 v6  
    1010sage: print(v in L)
    1111False
     12sage: MGAP=libgap(M)
     13sage: vGAP=libgap(v)
     14sage: libgap.SolutionIntMat(MGAP,vGAP) # independent test that v is not in L
     15fail
    1216}}}
    1317A simplified version of Taylor Huang's example posted on sage-devel (https://groups.google.com/g/sage-devel/c/CtPAbZPjoeU/m/qj2IH7LxBAAJ)
     18
     19Membership test is broken, too (same thread)
     20{{{
     21from sage.modules.free_module_integer import IntegerLattice
     22coef = Matrix([-44429982080874270968379672793605458, 98931650854481334735580708522902113])
     23bMat = Matrix([[20957228, -4966110],[ 9411844, 19625639]])
     24L = IntegerLattice(bMat)
     25coef*bMat in L # prints false
     26bMatGAP=libgap(bMat)
     27v=libgap(coef*bMat)[0]
     28sol=libgap.SolutionIntMat(bMatGAP,v); sol # prints
     29# [ -423434671769860, -18882583298608161305225815339 ]
     30}}}