marqdo

07-线性代数ok

features/07-线性代数.mq.md

Structure

importla:ext/linalg/线性代数.mq.md
fn · h1用 ext/linalg 写公式文档
comment

可选扩展（非 stdlib）。安装：marqdo ext add linalg（中文 id：线性代数）。

comment

思想： .mq.md 能跑通且断言的规范形一致，则在库规则下该恒等式成立。代数叙述像讲义；分解 / 最小二乘 / 绘图 才是显式计算步骤。

fn · h1main
comment

用表声明符号，再乘与转置 — 转置文本 一步展示（默认化简）。

bind `形状` = [{名: A, 行: 2, 列: 3}, {名: B, 行: 3, 列: 2}]
bind `环境` = > la.声明 表=`形状`
bind `A` = [A](`环境`)
bind `B` = [B](`环境`)
bind `P` = `A` * `B`
bind `t` = > `P`.转置文本
call> 打印 内容=`t`
branch
arm`t` == B^T*A^T
call> 打印 内容=formula-doc-ok
armelse
call> 打印 内容=formula-doc-fail
call> 打印 内容=see-examples-linalg-transpose
Functions
Variables
  • A 矩阵
    _type矩阵
    asciiA
    cols3
    kindsymbol
    latexA
    nameA
    …
  • B 矩阵
    _type矩阵
    asciiB
    cols2
    kindsymbol
    latexB
    nameB
    …
  • P 矩阵
    _type矩阵
    asciiA*B
    factorsList(2)
    kindmul
    latexAB
    shapeList(2)
  • t text
    B^T*A^T
  • 形状 list · 2
    #名行列
    1A23
    2B32
  • 环境 matrix_env
    AMap(8)
    BMap(8)
    _typematrix_env

Execution

B^T*A^T formula-doc-ok see-examples-linalg-transpose

Source

---
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](环境)**
**`B` = [B](环境)**
**`P` = `A` * `B`**
**`t` = > `P`.转置文本**
> 打印 内容=`t`
1. `t` == "B^T*A^T"
  > 打印 内容=formula-doc-ok
2. *
  > 打印 内容=formula-doc-fail

> 打印 内容=see-examples-linalg-transpose

Variable