linalg.lib: format, error messages
opt: primdec.lib::reconvList