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 扩展 LSR 表达式接口,增加关系表达式、符号绑定与顺序替换 统一使用大写 I 表示虚数单位,小写 i 可作为普通符号使用 完善量纲与单位换算,支持传入已解析的单位定义 重构精确计算的结果与错误处…

八月-上

#完成事项 LMCAS 略 LMMC 略 LAMMP 重构了平方根与立方根计算,删除了部分老旧的平方根、立方根函数 修复了多处错误,包括一处内存泄露 新增了带有缓存功能的FFT乘法;以此提升了不平衡除法性能 增加了对Li…

七月-下

#完成事项 LMCAS 新增 LSR 表达式与标准库适配层,接入数学函数、复数、随机数、统计、线性代数、单位与常量等接口 暴露 LSR 表达式门面的集合结果、根式、方程组求解、复数部件、特征值分解与 SVD 等能力 增加…

赞助

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