hlml:向量化高级数学库