Полез быхгагтер в сеть в поисках информации, что же такое линеал, и с чем его едят.) Читаю: "Линеа́л (сокращение «Линейная алгебра») — база знаний по линейной алгебре, созданная под руководством В. В. Воеводина." Так вот ты какая, "Глаубштерн"!