完成事项
- LMCAS
- 扩展 LSR 表达式接口，增加关系表达式、符号绑定与顺序替换
- 统一使用大写
I 表示虚数单位，小写 i 可作为普通符号使用
- 完善量纲与单位换算，支持传入已解析的单位定义
- 重构精确计算的结果与错误处理，增加证明信息与残差检查，完善极限、RootOf 和符号矩阵接口
- 调整多元因式分解与混合超越方程求解，区分完整结果和未决的部分结果
- 修复模幂计算中的模数处理与负指数溢出问题
- 调整跨平台构建与 CI 配置，补充相关检查
- LMMC
- 拆分矩阵、特征值、ODE、统计分布与 LSR 标准库代码
- 统一虚数单位接口，移除小写
i 的旧接口
- 修复矩阵转置与矩阵—向量乘法中的存储重叠和地址溢出问题
- 改进洗牌、均匀整数与二项分布采样，修复整数边界处理
- 新增 ODE 时间偏导回调，完善误差控制与容差检查
- 调整独立与嵌入构建，修复依赖选项和产物目录设置
- LMMP
- 项目名已正式更改为LMMP
- 重构了benchmark和test，新增多项测试
- 新增调优程序并以此更新了多项调优数值
- 将nasm汇编迁移至GAS或者llvm汇编器；并新增了arm64汇编
- 优化了多个X64汇编函数的性能
- 增加了对Linux和macOS的兼容性；同时移除了对msvc编译器的支持
- Lamina1 同步了 LAMMP 依赖中的修复，包括 Lehmer GCD 截断前缀顺序反转时的边界情况
- 修复嵌入构建中测试头文件的路径错误
- LMVM
- 增加元组、集合、区间、复数及数值容器等运行时类型支持
- 增加随机上下文、物理量、稀疏矩阵、张量与假设上下文支持
- 调整符号表达式编译，改用运行时接口直接构造表达式，减少字符串重建与解析
- 改进 VM 错误处理，增加函数回调与回调失败后的状态恢复
- Lamina
- 新增单位声明、带量纲类型与显式单位换算，增加编译期量纲检查
- 完善集合类型推断，新增并集、交集、差集、对称差和子集运算
- 新增函数重载、
raise 与 never 支持
- 扩展数值标准库，接入线性代数、统计、随机数、稀疏矩阵、张量、插值、积分、优化与方程求解等接口
- 增加积分及部分求解接口的 Lamina 函数回调支持
- 扩展 CAS 标准库，增加高层与 raw 两层接口，统一数学错误处理
- 完善方程、极限与矩阵相关接口，符号 LU 分解增加置换矩阵返回值
- 修复集合缺少右花括号时解析器卡住的问题，以及词法器行列位置错误
- 补充量纲、集合、重载与数学回调等测试，更新相关示例
计划事项
- LMCAS
- LMMC
- LMMP
- LMVM
- Lamina
订阅
RSS | Discord