LogoClawIndex
案例技能关于
LogoClawIndex

lattices - 格与二次型工具

用于处理格、二次型或欧几里得空间的离散子群

标签

更新于: 2026-03-19
数学格代数二次型双线性形式

能力

典型输入

典型输出

该技能可以做什么

  • 定义双线性形式
  • 定义内积
  • 定义二次型
  • 计算格拉姆矩阵
  • 计算嘉当矩阵
  • 分析正交性
  • 分类符号
  • 计算域扩张
  • 执行精确运算
  • 确定最小域

输入

  • 基向量
  • 嘉当矩阵
  • 考克斯特矩阵
  • 格拉姆矩阵
  • 域扩张参数
  • 群类型参数

输出

  • 形式分类
  • 嘉当矩阵
  • 格拉姆矩阵
  • 特征值不变量
  • 符号分类
  • 域扩张结果

要求

  • 符号计算环境
  • 精确运算支持
  • LaTeX 符号支持

来源

  • 规范: SKILL.md

ClawIndex

OpenClaw Skills 与 Use Case 索引

ClawIndex 是一个生态驱动的 OpenClaw Skills 与真实 Use Case 索引站。

索引

Skills·
Cases

Meta

关于·
声明·
邮箱·
GitHub
© 2026 ClawIndex 保留所有权利。
定义双线性形式
定义内积
定义二次型
计算格拉姆矩阵
基向量
嘉当矩阵
考克斯特矩阵
形式分类
嘉当矩阵
格拉姆矩阵