[back] [prev] [next] [index] [root]
v := LatEnumRefVec(Lambda [,v]);
vector | v |
|
lattice | Lambda |
kash> Lambda := Lat(MatId(Z, 2));; kash> LatEnumRefVec(Lambda, LatElt(Lambda, [1.7, 3.4])); [1.7 3.4] kash> LatShortestElt(Lambda); > [ [ 2 3 ] ]
<- back[back] [prev] [next] [index] [root]