Linear algebra capability references Documentation home · Tool surface Exact rational linear-system evidence