文档中的步骤
结构步骤（非实际执行时序）
如何写线性代数公式文档ok
文档
la:ext/linalg/线性代数.mq.md
可选扩展（非 stdlib）。安装：marqdo ext add linalg（中文 id：线性代数）。
思想： .mq.md 能跑通且断言的规范形一致，则在库规则下该恒等式成立。代数叙述像讲义；分解 / 最小二乘 / 绘图 才是显式计算步骤。
用表声明符号，再乘与转置 — 转置文本 一步展示（默认化简）。
形状 =
| @ | 名 | 行 | 列 |
|---|---|---|---|
| 1 | A | 2 | 3 |
| 2 | B | 3 | 2 |
`环境` = > la.声明 表=`形状`
A =A
access(环境, "A")B =B
access(环境, "B")`P` = `A` * `B`
`t` = > `P`.转置文本
> 打印 内容=t
- t == "B^T*A^T"> 打印 内容=formula-doc-ok
- else> 打印 内容=formula-doc-fail
> 打印 内容=see-examples-linalg-transpose
Functions
Variables
-
A 矩阵
_type 矩阵 ascii A cols 3 kind symbol latex A name A … key value _type 矩阵 ascii A cols 3 kind symbol latex A name A rows 2 shape # value 1 2 2 3 -
B 矩阵
_type 矩阵 ascii B cols 2 kind symbol latex B name B … key value _type 矩阵 ascii B cols 2 kind symbol latex B name B rows 3 shape # value 1 3 2 2 -
P 矩阵
_type 矩阵 ascii A*B factors List(2) kind mul latex AB shape List(2) key value _type 矩阵 ascii A*B factors # _type ascii cols kind latex name rows shape 1 matrix A 3 symbol A A 2 # value 1 2 2 3 2 matrix B 2 symbol B B 3 # value 1 3 2 2 kind mul latex AB shape # value 1 2 2 2 -
description textext/linalg 公式文档面 — 声明、中缀、跑通即正确ext/linalg 公式文档面 — 声明、中缀、跑通即正确
-
markup textocclusionocclusion
-
t textB^T*A^TB^T*A^T
-
title text如何写线性代数公式文档如何写线性代数公式文档
-
形状 list · 2
# 名 行 列 1 A 2 3 2 B 3 2 # 名 行 列 1 A 2 3 2 B 3 2 -
环境 matrix_env
A Map(8) B Map(8) _type matrix_env key value A key value _type 矩阵 ascii A cols 3 kind symbol latex A name A rows 2 shape # value 1 2 2 3 B key value _type 矩阵 ascii B cols 2 kind symbol latex B name B rows 3 shape # value 1 3 2 2 _type matrix_env
可执行知识（辅助）
运行与结果
B^T*A^T
formula-doc-ok
see-examples-linalg-transpose
完整源码
--- markup: occlusion title: 如何写线性代数公式文档 description: ext/linalg 公式文档面 — 声明、中缀、跑通即正确 导入: la: ext/linalg/线性代数.mq.md --- # 用 ext/linalg 写公式文档 可选扩展（非 stdlib）。安装：`marqdo ext add linalg`（中文 id：`线性代数`）。 *思想：* `.mq.md` 能跑通且断言的规范形一致，则在库规则下该恒等式成立。代数叙述像讲义；`分解` / `最小二乘` / `绘图` 才是显式计算步骤。 # main 用表声明符号，再乘与转置 — `转置文本` 一步展示（默认化简）。 `形状` = | @ | 名 | 行 | 列 | |---|----|----|----| | 1 | A | 2 | 3 | | 2 | B | 3 | 2 | **`环境` = > la.声明 表=`形状`** **`A` = [A](access(环境, "A"))** **`B` = [B](access(环境, "B"))** **`P` = `A` * `B`** **`t` = > `P`.转置文本** > 打印 内容=`t` 1. `t` == "B^T*A^T" > 打印 内容=formula-doc-ok 2. * > 打印 内容=formula-doc-fail > 打印 内容=see-examples-linalg-transpose