LAMINA SYSTEM

欢迎!

Lamina 是一个面向数学、科学计算与系统编程的可编程数学环境。

Lamina Logo

Lamina 是什么?

Lamina 把符号数学、数值计算与通用编程放进同一套语言与工具链中,让表达式、矩阵、容器和程序逻辑能够自然地一起工作。

马上行动!

下载 Lamina,阅读文档,尝试语言特性,或者直接加入社区、报告问题并参与项目开发。

快速体验

从表达式到矩阵推导,保持数学形式与程序结构的一致。

script.lm
let c = 5
sym x
let res = c * x
sym x, y
let equation = x^2 + 1 + y*2
let val1 = equation => (x => 3, y => 4)

let squares = vec[x^2 for x in range(1, 10) if x % 2 == 0]
let abs_set = {abs(x) for x in vec[-1, 1, 2, -2]}
let M = mat[i * j for i in range(1,3); for j in range(1,3)]
let A = mat[1,2,3;4,5,6;7,8,9]
let v = vec[1,2,3]

项目

Lamina 由语言核心、数值计算、计算机代数、高精度算术与规范体系等多个项目共同构成。

Lamina

语言与核心运行环境,提供统一的语法、类型和执行模型。

查看源码

LMMC

Lamina 数值计算库,提供矩阵、稀疏线性代数、迭代求解、ODE、统计与 FFT 等能力。

查看源码

LMCAS

Lamina 计算机代数系统,负责符号表达式、化简、求导、积分、方程与符号矩阵计算。

查看源码

LMMP

Lamina 高精度计算库,为任意精度整数、数论运算与底层高性能算子提供基础能力。

查看源码

LSR

Lamina Standard Recommendation,保存语言、运行时、标准库及相关组件的规范草案。

阅读规范

最新动态

来自 Lamina 开发与社区的最新文章。

全部文章 →

十月-下

#完成事项 LMCAS 统一了精确符号数的表示,重构了内建积分流程 调整了数学接口,多步计算共用步数限制,并保留原始错误信息 闭式积分结果增加了残差验证,记录了结果的精确或近似来源 修复了极端尺度下的方程求解和 ODE …

十月-上

#完成事项 LMCAS 新增了复数主值幂求值 修复了四次方程结果验证和十进制字面量解析中的错误 调整了计算步数检查,减少了多项式卷积中的重复计算 修复了 macOS 构建和安装测试中的问题,改为共用内部测试库和测试框架 …

九月-下

#完成事项 LMCAS 拆分了符号计算代码,调整了计算结果和错误的返回方式 新增了表达式序列化,修复了一些边界情况 补充了代码检查和安装测试 LMMC 拆分了矩阵、特征值、SVD、插值、迭代求解、ODE 与积分等代码 按…

赞助

SignPath SignPath.io 提供免费代码签名服务,证书由 SignPath 基金会 颁发。
SignPath 初七云 提供优秀的云服务。 给予 Lamina 网络服务强劲动力。