[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]