五月-B

#完成事项

• LMCAS
  • 假设系统
  • 加入线性替换、三角组合及有理分解策略
  • 三次多项式、四次多项式、五次及以上多项式求解
  • 超越方程求解（Lambert W、Newton-Raphson）
  • 参数线性方程组求解、参数多项式方程组求解、不等式求解
  • 改用 lmmc_real_t、移除 HashData struct
  • 覆盖幂操作边缘情况和多项式运算修复
  • 舍入错误修复、NumberNode 正数判断修复
  • 重写注释，采用 Doxygen
• LMMC
  • 新增优化模块、FFT 实现
  • 添加特征值分解、插值、数值积分、随机数生成模块
  • 添加 Lambert W 函数实现及相关数学宏定义
  • 修复内存分配状态可能导致段错误的问题
  • 重写注释，采用 Doxygen
• LAMMP
  • 因子累乘函数原地构造新因子数组，减少内存占用
  • binvert_3_ 函数改为 192 位宽，不再使用完整 128 位乘入 256 位
  • 修复错误的不平衡乘法调用
  • 对于汇编函数，使用 .def 文件导出符号
  • 统一类型；修改余数掩码表命名
  • 对自定义 abort 函数使用原子变量，保证线程逻辑一致
  • 重命名不同范围底数的幂计算函数
  • 加入 Doxygen 文档
  • 新增简单函数的内部内联头文件（inlines.h）
  • 内联 lmmp_mul_n_ 和 lmmp_sqr_
  • 使用结构体传参；添加 restrict 限定
  • 修改部分调优参数
  • 删除栈式分配器接口；新增临时缓冲池设计
  • 将 lmmp_sqr_ 移至 mul.c 并删除 sqr.c
  • 新增无试除法的素性检验接口

#计划事项

• LMCAS
  • 假设推理引擎扩展（除法/减法符号推断、复合域推断、单调性/周期性推断、循环检测与深度限制）
  • 假设查询接口扩展与缓存机制
  • 假设条件假设与 with_assumptions 函数模板
  • 假设序列化/反序列化
  • 假设自动传播规则与冲突诊断
  • 假设集成（积分器、极限、级数展开、ODE 求解器、匹配器/重写引擎）
• LMMC
  • 复数模块（类型、四则运算、超越函数、复向量/矩阵容器）
  • 逐元素向量/矩阵乘法、除法、幂运算（Hadamard）
  • 逐元素向量比较运算
  • 向量叉积
  • 矩阵整数幂（二进制快速幂）
  • 矩阵右除法
  • 矩阵 1-范数与无穷范数
  • 矩阵数值秩
  • 向量化超越函数（apply 模式及便捷包装）
  • 标量反三角函数（asin、acos、atan）
  • 标量双曲函数（sinh、cosh、tanh、asinh、acosh、atanh）
  • 标量幂与舍入函数（pow、ceil、floor、round、trunc）
• LAMMP
  • 使用整数计算代替浮点计算的缓冲区估算（主要涉及 pow 和部分数论函数）
  • 重构哈夫曼乘法树，精心构造乘法步骤，避免所有拷贝与临时内存，使结果恰好落在目标内存块
  • 完整实现 B^n 逆元（目前仅完成平衡情况）
  • 基于 B^n 逆元实现精确除法
  • 对二项式系数的不平衡情况使用精确除法
• LMVM
  • 略
• Lamina
  • 略

#订阅

RSS
| Discord