OFFSET
1,5
CROSSREFS
KEYWORD
nonn,eigen
AUTHOR
STATUS
approved