Changes between Version 13 and Version 14 of Ticket #29866


Ignore:
Timestamp:
06/16/20 13:34:54 (9 months ago)
Author:
dimpase
Comment:

The containment is "broken", as the 1x2 matrix coef*bMat fails to be coersed to a vector. Namely, with the example in the

sage: vector(coef)*bMat in L
True
sage: vector(coef*bMat) in L
True
sage: coef*bMat in L
False
sage: M=matrix([1,1])
sage: M*bMat in L
False

so this is not really a bug, it's just a conversion issue, absence of automatic conversion.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29866

    • Property Summary changed from closest_vector for IntegerLattice and membership test are broken to closest_vector for IntegerLattice is broken
  • Ticket #29866 – Description

    v13 v14  
    2121A simplified version of Taylor Huang's example posted on sage-devel (https://groups.google.com/g/sage-devel/c/CtPAbZPjoeU/m/qj2IH7LxBAAJ)
    2222
    23 Membership test is broken, too (same thread)
     23Membership test was reported broken, too (same thread)
    2424{{{
    2525from sage.modules.free_module_integer import IntegerLattice
     
    3434vector(sol.sage())*bMat==vector(coef*bMat) # sanity check - prints True
    3535}}}
     36
     37but this is merely a type "error", in the sense that `coef` is not a vector, but a 1x2 matrix (a different type, and automatic conversion does not happen here). Not sure whether the latter warrants a fix.