From 164857aea7bc05b91ad32f7a0f69156e93ec2dd6 Mon Sep 17 00:00:00 2001
From: szdytom <szdytom@qq.com>
Date: Sat, 12 Jul 2025 00:20:39 +0800
Subject: [PATCH] Fix alignment with list(workaround)

Signed-off-by: szdytom <szdytom@qq.com>
---
 math.typ        | 3 ++-
 sections/1B.typ | 6 +++---
 sections/2B.typ | 4 ++--
 3 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/math.typ b/math.typ
index 82c4a95..1651609 100644
--- a/math.typ
+++ b/math.typ
@@ -1,4 +1,5 @@
 #let ee = "e"
 #let ii = "i"
 #let span = $op("span")$
-#let Poly = math.cal("P")
\ No newline at end of file
+#let Poly = math.cal("P")
+#let complexification(vv) = $vv_upright(C)$
diff --git a/sections/1B.typ b/sections/1B.typ
index fac87e7..4a17f93 100644
--- a/sections/1B.typ
+++ b/sections/1B.typ
@@ -1,5 +1,5 @@
 #import "../styles.typ": exercise_sol, note, tab
-#import "../math.typ": ii
+#import "../math.typ": ii, complexification
 
 #exercise_sol(type: "proof")[
 	证明：$-(-v)=v$ 对任一 $v in V$ 都成立。
@@ -143,15 +143,15 @@
 	#tab 综上所述，$V^S$ 满足向量空间的所有要求，因此 $V^S$ 是 $FF$ 上的向量空间。
 ]
 
-#let complexification(vv) = $vv_upright(C)$
-
 #exercise_sol(type: "proof")[
 	设 $V$ 是实向量空间。
 	
 	- $V$ 的*复化（complexification）*记为 $complexification(V)$，等于 $V times V$。$complexification(V)$ 中的所有元素为有序对 $(u,v)$，其中 $u,v in V$，不过我们将其记作 $u + ii v$。
+
 	- $complexification(V)$ 上的加法定义为
 		$ (u_1 + ii v_1) + (u_2 + ii v_2) = (u_1 + u_2) + ii (v_1 + v_2) $
 		对所有 $u_1,v_1,u_2,v_2 in V$ 都成立。
+
 	- $complexification(V)$ 上的标量乘法定义为
 		$ (a + b ii)(u + ii v) = (a u - b v) + ii (a v + b u) $
 		对所有 $a,b in RR$ 和所有 $u,v in V$ 都成立。
diff --git a/sections/2B.typ b/sections/2B.typ
index 11b0de8..4976b13 100644
--- a/sections/2B.typ
+++ b/sections/2B.typ
@@ -117,7 +117,7 @@
 #note[对于 (g)，值得一提的是，上面证明的核心部分表明，多项式的系数是唯一的。这个巧妙的证明来自原书第三版的正文（定理4.7），然而在第四版中被删除了，取而代之的是不那么直接的原书定理4.8。]
 
 #exercise_sol(type: "answer")[
-	+ 设 $U$ 为 $RR^5$ 的子空间，定义为
+	+ 设 $U$ 为 $RR^5$ 的子空间，定义为#h(1fr) //https://github.com/typst/typst/issues/529
 		$ U = {(x_1, x_2, x_3, x_4, x_5) in RR^5 : x_1 = 3x_2 and x_3 = 7x_4} $
 		求 $U$ 的一个基；
 
@@ -185,7 +185,7 @@
 ]
 
 #exercise_sol(type: "answer")[
-	+ 设 $U$ 为 $CC^5$ 的子空间，定义为
+	+ 设 $U$ 为 $CC^5$ 的子空间，定义为#h(1fr) //https://github.com/typst/typst/issues/529
 		$ U = {(z_1, z_2, z_3, z_4, z_5) in CC^5 : 6z_1 = z_2 and z_3 + 2z_4 + 3z_5 = 0} $
 		求 $U$ 的一个基；