本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261026-r02-real-normed-vector-space-foundations · 2026-10-13 · 100 題
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-12,-8,-9,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-12, -8, -9, -2], l1, 31)
結構深度核對=([-12, -8, -9, -2], l1, 31)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-11,-7,-2,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-11, -7, -2, -1], l1, 21)
結構深度核對=([-11, -7, -2, -1], l1, 21)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-10,-4,5,0]}。請依 [vector,norm_name,value] 欄序回答。
([-10, -4, 5, 0], l1, 19)
結構深度核對=([-10, -4, 5, 0], l1, 19)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-9,1,-7,1]}。請依 [vector,norm_name,value] 欄序回答。
([-9, 1, -7, 1], l1, 18)
結構深度核對=([-9, 1, -7, 1], l1, 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-8,8,0,2]}。請依 [vector,norm_name,value] 欄序回答。
([-8, 8, 0, 2], l1, 18)
結構深度核對=([-8, 8, 0, 2], l1, 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-7,0,7,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-7, 0, 7, -2], l1, 16)
結構深度核對=([-7, 0, 7, -2], l1, 16)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-6,-6,-5,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-6, -6, -5, -1], l1, 18)
結構深度核對=([-6, -6, -5, -1], l1, 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-5,7,2,0]}。請依 [vector,norm_name,value] 欄序回答。
([-5, 7, 2, 0], l1, 14)
結構深度核對=([-5, 7, 2, 0], l1, 14)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-4,5,9,1]}。請依 [vector,norm_name,value] 欄序回答。
([-4, 5, 9, 1], l1, 19)
結構深度核對=([-4, 5, 9, 1], l1, 19)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-3,5,-3,2]}。請依 [vector,norm_name,value] 欄序回答。
([-3, 5, -3, 2], l1, 13)
結構深度核對=([-3, 5, -3, 2], l1, 13)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-2,7,4,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-2, 7, 4, -2], l1, 15)
結構深度核對=([-2, 7, 4, -2], l1, 15)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[-1,-6,-8,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-1, -6, -8, -1], l1, 16)
結構深度核對=([-1, -6, -8, -1], l1, 16)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[0,0,-1,0]}。請依 [vector,norm_name,value] 欄序回答。
([0, 0, -1, 0], l1, 1)
結構深度核對=([0, 0, -1, 0], l1, 1)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[1,8,6,1]}。請依 [vector,norm_name,value] 欄序回答。
([1, 8, 6, 1], l1, 16)
結構深度核對=([1, 8, 6, 1], l1, 16)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[2,1,-6,2]}。請依 [vector,norm_name,value] 欄序回答。
([2, 1, -6, 2], l1, 11)
結構深度核對=([2, 1, -6, 2], l1, 11)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[3,-4,1,-2]}。請依 [vector,norm_name,value] 欄序回答。
([3, -4, 1, -2], l1, 10)
結構深度核對=([3, -4, 1, -2], l1, 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[4,-7,8,-1]}。請依 [vector,norm_name,value] 欄序回答。
([4, -7, 8, -1], l1, 20)
結構深度核對=([4, -7, 8, -1], l1, 20)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[5,-8,-4,0]}。請依 [vector,norm_name,value] 欄序回答。
([5, -8, -4, 0], l1, 17)
結構深度核對=([5, -8, -4, 0], l1, 17)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[6,-7,3,1]}。請依 [vector,norm_name,value] 欄序回答。
([6, -7, 3, 1], l1, 17)
結構深度核對=([6, -7, 3, 1], l1, 17)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[7,-4,-9,2]}。請依 [vector,norm_name,value] 欄序回答。
([7, -4, -9, 2], l1, 22)
結構深度核對=([7, -4, -9, 2], l1, 22)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[8,1,-2,-2]}。請依 [vector,norm_name,value] 欄序回答。
([8, 1, -2, -2], l1, 13)
結構深度核對=([8, 1, -2, -2], l1, 13)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[9,8,5,-1]}。請依 [vector,norm_name,value] 欄序回答。
([9, 8, 5, -1], l1, 23)
結構深度核對=([9, 8, 5, -1], l1, 23)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[10,0,-7,0]}。請依 [vector,norm_name,value] 欄序回答。
([10, 0, -7, 0], l1, 17)
結構深度核對=([10, 0, -7, 0], l1, 17)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[11,-6,0,1]}。請依 [vector,norm_name,value] 欄序回答。
([11, -6, 0, 1], l1, 18)
結構深度核對=([11, -6, 0, 1], l1, 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-l1-evaluate；資料={"vector":[12,7,7,2]}。請依 [vector,norm_name,value] 欄序回答。
([12, 7, 7, 2], l1, 28)
結構深度核對=([12, 7, 7, 2], l1, 28)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-l1-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-12,-8,-9,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-12, -8, -9, -2], linfinity, 12)
結構深度核對=([-12, -8, -9, -2], linfinity, 12)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-11,-7,-2,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-11, -7, -2, -1], linfinity, 11)
結構深度核對=([-11, -7, -2, -1], linfinity, 11)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-10,-4,5,0]}。請依 [vector,norm_name,value] 欄序回答。
([-10, -4, 5, 0], linfinity, 10)
結構深度核對=([-10, -4, 5, 0], linfinity, 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-9,1,-7,1]}。請依 [vector,norm_name,value] 欄序回答。
([-9, 1, -7, 1], linfinity, 9)
結構深度核對=([-9, 1, -7, 1], linfinity, 9)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-8,8,0,2]}。請依 [vector,norm_name,value] 欄序回答。
([-8, 8, 0, 2], linfinity, 8)
結構深度核對=([-8, 8, 0, 2], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-7,0,7,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-7, 0, 7, -2], linfinity, 7)
結構深度核對=([-7, 0, 7, -2], linfinity, 7)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-6,-6,-5,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-6, -6, -5, -1], linfinity, 6)
結構深度核對=([-6, -6, -5, -1], linfinity, 6)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-5,7,2,0]}。請依 [vector,norm_name,value] 欄序回答。
([-5, 7, 2, 0], linfinity, 7)
結構深度核對=([-5, 7, 2, 0], linfinity, 7)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-4,5,9,1]}。請依 [vector,norm_name,value] 欄序回答。
([-4, 5, 9, 1], linfinity, 9)
結構深度核對=([-4, 5, 9, 1], linfinity, 9)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-3,5,-3,2]}。請依 [vector,norm_name,value] 欄序回答。
([-3, 5, -3, 2], linfinity, 5)
結構深度核對=([-3, 5, -3, 2], linfinity, 5)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-2,7,4,-2]}。請依 [vector,norm_name,value] 欄序回答。
([-2, 7, 4, -2], linfinity, 7)
結構深度核對=([-2, 7, 4, -2], linfinity, 7)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[-1,-6,-8,-1]}。請依 [vector,norm_name,value] 欄序回答。
([-1, -6, -8, -1], linfinity, 8)
結構深度核對=([-1, -6, -8, -1], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[0,0,-1,0]}。請依 [vector,norm_name,value] 欄序回答。
([0, 0, -1, 0], linfinity, 1)
結構深度核對=([0, 0, -1, 0], linfinity, 1)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[1,8,6,1]}。請依 [vector,norm_name,value] 欄序回答。
([1, 8, 6, 1], linfinity, 8)
結構深度核對=([1, 8, 6, 1], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[2,1,-6,2]}。請依 [vector,norm_name,value] 欄序回答。
([2, 1, -6, 2], linfinity, 6)
結構深度核對=([2, 1, -6, 2], linfinity, 6)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[3,-4,1,-2]}。請依 [vector,norm_name,value] 欄序回答。
([3, -4, 1, -2], linfinity, 4)
結構深度核對=([3, -4, 1, -2], linfinity, 4)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[4,-7,8,-1]}。請依 [vector,norm_name,value] 欄序回答。
([4, -7, 8, -1], linfinity, 8)
結構深度核對=([4, -7, 8, -1], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[5,-8,-4,0]}。請依 [vector,norm_name,value] 欄序回答。
([5, -8, -4, 0], linfinity, 8)
結構深度核對=([5, -8, -4, 0], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[6,-7,3,1]}。請依 [vector,norm_name,value] 欄序回答。
([6, -7, 3, 1], linfinity, 7)
結構深度核對=([6, -7, 3, 1], linfinity, 7)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[7,-4,-9,2]}。請依 [vector,norm_name,value] 欄序回答。
([7, -4, -9, 2], linfinity, 9)
結構深度核對=([7, -4, -9, 2], linfinity, 9)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[8,1,-2,-2]}。請依 [vector,norm_name,value] 欄序回答。
([8, 1, -2, -2], linfinity, 8)
結構深度核對=([8, 1, -2, -2], linfinity, 8)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[9,8,5,-1]}。請依 [vector,norm_name,value] 欄序回答。
([9, 8, 5, -1], linfinity, 9)
結構深度核對=([9, 8, 5, -1], linfinity, 9)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[10,0,-7,0]}。請依 [vector,norm_name,value] 欄序回答。
([10, 0, -7, 0], linfinity, 10)
結構深度核對=([10, 0, -7, 0], linfinity, 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[11,-6,0,1]}。請依 [vector,norm_name,value] 欄序回答。
([11, -6, 0, 1], linfinity, 11)
結構深度核對=([11, -6, 0, 1], linfinity, 11)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-linfinity-evaluate；資料={"vector":[12,7,7,2]}。請依 [vector,norm_name,value] 欄序回答。
([12, 7, 7, 2], linfinity, 12)
結構深度核對=([12, 7, 7, 2], linfinity, 12)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-linfinity-evaluate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":1}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 1, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 1, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":2}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 2, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 2, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":3}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 3, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 3, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":4}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 4, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 4, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":5}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 5, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 5, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":6}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 6, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 6, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":7}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 7, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 7, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":8}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 8, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 8, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":9}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 9, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 9, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":10}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 10, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 10, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":11}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 11, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 11, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":12}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 12, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 12, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":13}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 13, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 13, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":14}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 14, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 14, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":15}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 15, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 15, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":16}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 16, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 16, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":17}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 17, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 17, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":18}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 18, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 18, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":19}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 19, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 19, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":20}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 20, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 20, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":21}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 21, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 21, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":22}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 22, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 22, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":23}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 23, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 23, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"linfinity","dimension":24}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(linfinity, 24, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(linfinity, 24, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-named-norm-certificate；資料={"norm_name":"l1","dimension":25}。請依 [norm_name,dimension,qualified,universal_certificate,evidence_mode] 欄序回答。
(l1, 25, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)
結構深度核對=(l1, 25, 是, positivity+absolute_homogeneity+triangle_inequality_by_named_formula, not_sampled)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-named-norm-certificate · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-12,-3,-5],"right":[12,-6,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-12, -3, -5], [12, -6, -2], [-24, 3, -3], 30)
結構深度核對=(l1, [-12, -3, -5], [12, -6, -2], [-24, 3, -3], 30)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-11,-2,-2],"right":[11,-1,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-11, -2, -2], [11, -1, -1], [-22, -1, -1], 22)
結構深度核對=(linfinity, [-11, -2, -2], [11, -1, -1], [-22, -1, -1], 22)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-10,-1,1],"right":[10,4,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-10, -1, 1], [10, 4, 0], [-20, -5, 1], 26)
結構深度核對=(l1, [-10, -1, 1], [10, 4, 0], [-20, -5, 1], 26)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-9,0,4],"right":[9,-4,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-9, 0, 4], [9, -4, 1], [-18, 4, 3], 18)
結構深度核對=(linfinity, [-9, 0, 4], [9, -4, 1], [-18, 4, 3], 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-8,1,-4],"right":[8,1,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-8, 1, -4], [8, 1, -2], [-16, 0, -2], 18)
結構深度核對=(l1, [-8, 1, -4], [8, 1, -2], [-16, 0, -2], 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-7,2,-1],"right":[7,6,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-7, 2, -1], [7, 6, -1], [-14, -4, 0], 14)
結構深度核對=(linfinity, [-7, 2, -1], [7, 6, -1], [-14, -4, 0], 14)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-6,3,2],"right":[6,-2,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-6, 3, 2], [6, -2, 0], [-12, 5, 2], 19)
結構深度核對=(l1, [-6, 3, 2], [6, -2, 0], [-12, 5, 2], 19)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-5,-3,5],"right":[5,3,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-5, -3, 5], [5, 3, 1], [-10, -6, 4], 10)
結構深度核對=(linfinity, [-5, -3, 5], [5, 3, 1], [-10, -6, 4], 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-4,-2,-3],"right":[4,-5,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-4, -2, -3], [4, -5, -2], [-8, 3, -1], 12)
結構深度核對=(l1, [-4, -2, -3], [4, -5, -2], [-8, 3, -1], 12)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-3,-1,0],"right":[3,0,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-3, -1, 0], [3, 0, -1], [-6, -1, 1], 6)
結構深度核對=(linfinity, [-3, -1, 0], [3, 0, -1], [-6, -1, 1], 6)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[-2,0,3],"right":[2,5,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [-2, 0, 3], [2, 5, 0], [-4, -5, 3], 12)
結構深度核對=(l1, [-2, 0, 3], [2, 5, 0], [-4, -5, 3], 12)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[-1,1,-5],"right":[1,-3,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [-1, 1, -5], [1, -3, 1], [-2, 4, -6], 6)
結構深度核對=(linfinity, [-1, 1, -5], [1, -3, 1], [-2, 4, -6], 6)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[0,2,-2],"right":[0,2,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [0, 2, -2], [0, 2, -2], [0, 0, 0], 0)
結構深度核對=(l1, [0, 2, -2], [0, 2, -2], [0, 0, 0], 0)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[1,3,1],"right":[-1,-6,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [1, 3, 1], [-1, -6, -1], [2, 9, 2], 9)
結構深度核對=(linfinity, [1, 3, 1], [-1, -6, -1], [2, 9, 2], 9)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[2,-3,4],"right":[-2,-1,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [2, -3, 4], [-2, -1, 0], [4, -2, 4], 10)
結構深度核對=(l1, [2, -3, 4], [-2, -1, 0], [4, -2, 4], 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[3,-2,-4],"right":[-3,4,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [3, -2, -4], [-3, 4, 1], [6, -6, -5], 6)
結構深度核對=(linfinity, [3, -2, -4], [-3, 4, 1], [6, -6, -5], 6)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[4,-1,-1],"right":[-4,-4,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [4, -1, -1], [-4, -4, -2], [8, 3, 1], 12)
結構深度核對=(l1, [4, -1, -1], [-4, -4, -2], [8, 3, 1], 12)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[5,0,2],"right":[-5,1,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [5, 0, 2], [-5, 1, -1], [10, -1, 3], 10)
結構深度核對=(linfinity, [5, 0, 2], [-5, 1, -1], [10, -1, 3], 10)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[6,1,5],"right":[-6,6,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [6, 1, 5], [-6, 6, 0], [12, -5, 5], 22)
結構深度核對=(l1, [6, 1, 5], [-6, 6, 0], [12, -5, 5], 22)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[7,2,-3],"right":[-7,-2,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [7, 2, -3], [-7, -2, 1], [14, 4, -4], 14)
結構深度核對=(linfinity, [7, 2, -3], [-7, -2, 1], [14, 4, -4], 14)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[8,3,0],"right":[-8,3,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [8, 3, 0], [-8, 3, -2], [16, 0, 2], 18)
結構深度核對=(l1, [8, 3, 0], [-8, 3, -2], [16, 0, 2], 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[9,-3,3],"right":[-9,-5,-1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [9, -3, 3], [-9, -5, -1], [18, 2, 4], 18)
結構深度核對=(linfinity, [9, -3, 3], [-9, -5, -1], [18, 2, 4], 18)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[10,-2,-5],"right":[-10,0,0]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [10, -2, -5], [-10, 0, 0], [20, -2, -5], 27)
結構深度核對=(l1, [10, -2, -5], [-10, 0, 0], [20, -2, -5], 27)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"linfinity","left":[11,-1,-2],"right":[-11,5,1]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(linfinity, [11, -1, -2], [-11, 5, 1], [22, -6, -3], 22)
結構深度核對=(linfinity, [11, -1, -2], [-11, 5, 1], [22, -6, -3], 22)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate
只使用明示l1或linfinity精確公式。操作=norm-induced-distance；資料={"norm_name":"l1","left":[12,0,1],"right":[-12,-3,-2]}。請依 [norm_name,left,right,difference,distance] 欄序回答。
(l1, [12, 0, 1], [-12, -3, -2], [24, 3, 3], 30)
結構深度核對=(l1, [12, 0, 1], [-12, -3, -2], [24, 3, 3], 30)；依完整明示資料重算；完整有限／精確切片不自動升格為任意無限定理；命名公式提供全稱代數證書；有限點抽樣不能證範數公理。
實賦範向量空間 · qf-mod26-norm-induced-distance · candidate