本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261023-r02-linear-combination-span-foundations · 2026-10-13 · 100 題
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-12,-3,-2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-12, -3, -2], [-14, -5])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-12, -3, -2], [-14, -5])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-11,-2,-1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-11, -2, -1], [-12, -3])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-11, -2, -1], [-12, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-10,-1,0]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-10, -1, 0], [-10, -1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-10, -1, 0], [-10, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-9,0,1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-9, 0, 1], [-8, 1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-9, 0, 1], [-8, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-8,1,2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-8, 1, 2], [-6, 3])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-8, 1, 2], [-6, 3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-7,2,-2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-7, 2, -2], [-9, 0])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-7, 2, -2], [-9, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-6,3,-1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-6, 3, -1], [-7, 2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-6, 3, -1], [-7, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-5,-3,0]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-5, -3, 0], [-5, -3])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-5, -3, 0], [-5, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-4,-2,1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-4, -2, 1], [-3, -1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-4, -2, 1], [-3, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-3,-1,2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-3, -1, 2], [-1, 1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-3, -1, 2], [-1, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-2,0,-2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-2, 0, -2], [-4, -2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-2, 0, -2], [-4, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-1,1,-1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-1, 1, -1], [-2, 0])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-1, 1, -1], [-2, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[0,2,0]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [0, 2, 0], [0, 2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [0, 2, 0], [0, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[1,3,1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [1, 3, 1], [2, 4])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [1, 3, 1], [2, 4])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[2,-3,2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [2, -3, 2], [4, -1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [2, -3, 2], [4, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[3,-2,-2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [3, -2, -2], [1, -4])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [3, -2, -2], [1, -4])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[4,-1,-1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [4, -1, -1], [3, -2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [4, -1, -1], [3, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[5,0,0]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [5, 0, 0], [5, 0])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [5, 0, 0], [5, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[6,1,1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [6, 1, 1], [7, 2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [6, 1, 1], [7, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[7,2,2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [7, 2, 2], [9, 4])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [7, 2, 2], [9, 4])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[8,3,-2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [8, 3, -2], [6, 1])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [8, 3, -2], [6, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[9,-3,-1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [9, -3, -1], [8, -4])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [9, -3, -1], [8, -4])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[10,-2,0]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [10, -2, 0], [10, -2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [10, -2, 0], [10, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[11,-1,1]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [11, -1, 1], [12, 0])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [11, -1, 1], [12, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-weighted-sum；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[12,0,2]}。請依 [vectors,coefficients,sum] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [12, 0, 2], [14, 2])
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [12, 0, 2], [14, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-weighted-sum · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-12,-3,-2],"target":[-13,-5]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-12, -3, -2], [-13, -5], [-14, -5], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-12, -3, -2], [-13, -5], [-14, -5], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-11,-2,-1],"target":[-12,-3]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-11, -2, -1], [-12, -3], [-12, -3], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-11, -2, -1], [-12, -3], [-12, -3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-10,-1,0],"target":[-10,-1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-10, -1, 0], [-10, -1], [-10, -1], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-10, -1, 0], [-10, -1], [-10, -1], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-9,0,1],"target":[-8,1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-9, 0, 1], [-8, 1], [-8, 1], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-9, 0, 1], [-8, 1], [-8, 1], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-8,1,2],"target":[-5,3]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-8, 1, 2], [-5, 3], [-6, 3], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-8, 1, 2], [-5, 3], [-6, 3], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-7,2,-2],"target":[-9,0]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-7, 2, -2], [-9, 0], [-9, 0], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-7, 2, -2], [-9, 0], [-9, 0], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-6,3,-1],"target":[-7,2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-6, 3, -1], [-7, 2], [-7, 2], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-6, 3, -1], [-7, 2], [-7, 2], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-5,-3,0],"target":[-5,-3]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-5, -3, 0], [-5, -3], [-5, -3], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-5, -3, 0], [-5, -3], [-5, -3], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-4,-2,1],"target":[-2,-1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-4, -2, 1], [-2, -1], [-3, -1], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-4, -2, 1], [-2, -1], [-3, -1], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-3,-1,2],"target":[-1,1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-3, -1, 2], [-1, 1], [-1, 1], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-3, -1, 2], [-1, 1], [-1, 1], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-2,0,-2],"target":[-4,-2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-2, 0, -2], [-4, -2], [-4, -2], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-2, 0, -2], [-4, -2], [-4, -2], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[-1,1,-1],"target":[-2,0]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [-1, 1, -1], [-2, 0], [-2, 0], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [-1, 1, -1], [-2, 0], [-2, 0], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[0,2,0],"target":[1,2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [0, 2, 0], [1, 2], [0, 2], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [0, 2, 0], [1, 2], [0, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[1,3,1],"target":[2,4]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [1, 3, 1], [2, 4], [2, 4], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [1, 3, 1], [2, 4], [2, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[2,-3,2],"target":[4,-1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [2, -3, 2], [4, -1], [4, -1], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [2, -3, 2], [4, -1], [4, -1], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[3,-2,-2],"target":[1,-4]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [3, -2, -2], [1, -4], [1, -4], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [3, -2, -2], [1, -4], [1, -4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[4,-1,-1],"target":[4,-2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [4, -1, -1], [4, -2], [3, -2], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [4, -1, -1], [4, -2], [3, -2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[5,0,0],"target":[5,0]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [5, 0, 0], [5, 0], [5, 0], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [5, 0, 0], [5, 0], [5, 0], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[6,1,1],"target":[7,2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [6, 1, 1], [7, 2], [7, 2], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [6, 1, 1], [7, 2], [7, 2], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[7,2,2],"target":[9,4]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [7, 2, 2], [9, 4], [9, 4], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [7, 2, 2], [9, 4], [9, 4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[8,3,-2],"target":[7,1]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [8, 3, -2], [7, 1], [6, 1], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [8, 3, -2], [7, 1], [6, 1], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[9,-3,-1],"target":[8,-4]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [9, -3, -1], [8, -4], [8, -4], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [9, -3, -1], [8, -4], [8, -4], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[10,-2,0],"target":[10,-2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [10, -2, 0], [10, -2], [10, -2], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [10, -2, 0], [10, -2], [10, -2], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[11,-1,1],"target":[12,0]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [11, -1, 1], [12, 0], [12, 0], 是)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [11, -1, 1], [12, 0], [12, 0], 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-witness-audit；資料={"vectors":[[1,0],[0,1],[1,1]],"coefficients":[12,0,2],"target":[15,2]}。請依 [vectors,coefficients,target,sum,matches] 欄序回答。
([[1, 0], [0, 1], [1, 1]], [12, 0, 2], [15, 2], [14, 2], 否)
現代橋梁核對=([[1, 0], [0, 1], [1, 1]], [12, 0, 2], [15, 2], [14, 2], 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-witness-audit · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-12,-3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-12, -3], -2, -15/2, -9/2, [-12, -3])
現代橋梁核對=([1, 1], [1, -1], [-12, -3], -2, -15/2, -9/2, [-12, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-11,-2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-11, -2], -2, -13/2, -9/2, [-11, -2])
現代橋梁核對=([1, 1], [1, -1], [-11, -2], -2, -13/2, -9/2, [-11, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-10,-1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-10, -1], -2, -11/2, -9/2, [-10, -1])
現代橋梁核對=([1, 1], [1, -1], [-10, -1], -2, -11/2, -9/2, [-10, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-9,0]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-9, 0], -2, -9/2, -9/2, [-9, 0])
現代橋梁核對=([1, 1], [1, -1], [-9, 0], -2, -9/2, -9/2, [-9, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-8,1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-8, 1], -2, -7/2, -9/2, [-8, 1])
現代橋梁核對=([1, 1], [1, -1], [-8, 1], -2, -7/2, -9/2, [-8, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-7,2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-7, 2], -2, -5/2, -9/2, [-7, 2])
現代橋梁核對=([1, 1], [1, -1], [-7, 2], -2, -5/2, -9/2, [-7, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-6,3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-6, 3], -2, -3/2, -9/2, [-6, 3])
現代橋梁核對=([1, 1], [1, -1], [-6, 3], -2, -3/2, -9/2, [-6, 3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-5,-3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-5, -3], -2, -4, -1, [-5, -3])
現代橋梁核對=([1, 1], [1, -1], [-5, -3], -2, -4, -1, [-5, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-4,-2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-4, -2], -2, -3, -1, [-4, -2])
現代橋梁核對=([1, 1], [1, -1], [-4, -2], -2, -3, -1, [-4, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-3,-1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-3, -1], -2, -2, -1, [-3, -1])
現代橋梁核對=([1, 1], [1, -1], [-3, -1], -2, -2, -1, [-3, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-2,0]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-2, 0], -2, -1, -1, [-2, 0])
現代橋梁核對=([1, 1], [1, -1], [-2, 0], -2, -1, -1, [-2, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[-1,1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [-1, 1], -2, 0, -1, [-1, 1])
現代橋梁核對=([1, 1], [1, -1], [-1, 1], -2, 0, -1, [-1, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[0,2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [0, 2], -2, 1, -1, [0, 2])
現代橋梁核對=([1, 1], [1, -1], [0, 2], -2, 1, -1, [0, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[1,3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [1, 3], -2, 2, -1, [1, 3])
現代橋梁核對=([1, 1], [1, -1], [1, 3], -2, 2, -1, [1, 3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[2,-3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [2, -3], -2, -1/2, 5/2, [2, -3])
現代橋梁核對=([1, 1], [1, -1], [2, -3], -2, -1/2, 5/2, [2, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[3,-2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [3, -2], -2, 1/2, 5/2, [3, -2])
現代橋梁核對=([1, 1], [1, -1], [3, -2], -2, 1/2, 5/2, [3, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[4,-1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [4, -1], -2, 3/2, 5/2, [4, -1])
現代橋梁核對=([1, 1], [1, -1], [4, -1], -2, 3/2, 5/2, [4, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[5,0]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [5, 0], -2, 5/2, 5/2, [5, 0])
現代橋梁核對=([1, 1], [1, -1], [5, 0], -2, 5/2, 5/2, [5, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[6,1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [6, 1], -2, 7/2, 5/2, [6, 1])
現代橋梁核對=([1, 1], [1, -1], [6, 1], -2, 7/2, 5/2, [6, 1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[7,2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [7, 2], -2, 9/2, 5/2, [7, 2])
現代橋梁核對=([1, 1], [1, -1], [7, 2], -2, 9/2, 5/2, [7, 2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[8,3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [8, 3], -2, 11/2, 5/2, [8, 3])
現代橋梁核對=([1, 1], [1, -1], [8, 3], -2, 11/2, 5/2, [8, 3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[9,-3]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [9, -3], -2, 3, 6, [9, -3])
現代橋梁核對=([1, 1], [1, -1], [9, -3], -2, 3, 6, [9, -3])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[10,-2]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [10, -2], -2, 4, 6, [10, -2])
現代橋梁核對=([1, 1], [1, -1], [10, -2], -2, 4, 6, [10, -2])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[11,-1]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [11, -1], -2, 5, 6, [11, -1])
現代橋梁核對=([1, 1], [1, -1], [11, -1], -2, 5, 6, [11, -1])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-r2-coordinate-solve；資料={"v1":[1,1],"v2":[1,-1],"target":[12,0]}。請依 [v1,v2,target,det,a,b,reconstructed] 欄序回答。
([1, 1], [1, -1], [12, 0], -2, 6, 6, [12, 0])
現代橋梁核對=([1, 1], [1, -1], [12, 0], -2, 6, 6, [12, 0])；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-r2-coordinate-solve · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-20,-39]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-20, -39], -10, 否)
現代橋梁核對=([2, 4], [-20, -39], -10, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-18,-36]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-18, -36], -9, 是)
現代橋梁核對=([2, 4], [-18, -36], -9, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-16,-32]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-16, -32], -8, 是)
現代橋梁核對=([2, 4], [-16, -32], -8, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-14,-28]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-14, -28], -7, 是)
現代橋梁核對=([2, 4], [-14, -28], -7, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-12,-23]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-12, -23], -6, 否)
現代橋梁核對=([2, 4], [-12, -23], -6, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-10,-20]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-10, -20], -5, 是)
現代橋梁核對=([2, 4], [-10, -20], -5, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-8,-16]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-8, -16], -4, 是)
現代橋梁核對=([2, 4], [-8, -16], -4, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-6,-12]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-6, -12], -3, 是)
現代橋梁核對=([2, 4], [-6, -12], -3, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-4,-7]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-4, -7], -2, 否)
現代橋梁核對=([2, 4], [-4, -7], -2, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[-2,-4]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [-2, -4], -1, 是)
現代橋梁核對=([2, 4], [-2, -4], -1, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[0,0]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [0, 0], 0, 是)
現代橋梁核對=([2, 4], [0, 0], 0, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[2,4]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [2, 4], 1, 是)
現代橋梁核對=([2, 4], [2, 4], 1, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[4,9]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [4, 9], 2, 否)
現代橋梁核對=([2, 4], [4, 9], 2, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[6,12]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [6, 12], 3, 是)
現代橋梁核對=([2, 4], [6, 12], 3, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[8,16]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [8, 16], 4, 是)
現代橋梁核對=([2, 4], [8, 16], 4, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[10,20]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [10, 20], 5, 是)
現代橋梁核對=([2, 4], [10, 20], 5, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[12,25]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [12, 25], 6, 否)
現代橋梁核對=([2, 4], [12, 25], 6, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[14,28]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [14, 28], 7, 是)
現代橋梁核對=([2, 4], [14, 28], 7, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[16,32]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [16, 32], 8, 是)
現代橋梁核對=([2, 4], [16, 32], 8, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[18,36]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [18, 36], 9, 是)
現代橋梁核對=([2, 4], [18, 36], 9, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[20,41]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [20, 41], 10, 否)
現代橋梁核對=([2, 4], [20, 41], 10, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[22,44]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [22, 44], 11, 是)
現代橋梁核對=([2, 4], [22, 44], 11, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[24,48]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [24, 48], 12, 是)
現代橋梁核對=([2, 4], [24, 48], 12, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[26,52]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [26, 52], 13, 是)
現代橋梁核對=([2, 4], [26, 52], 13, 是)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate
固定維度與明示有限生成族。操作=span-single-generator-membership；資料={"generator":[2,4],"target":[28,57]}。請依 [generator,target,scalar_or_status,in_span] 欄序回答。
([2, 4], [28, 57], 14, 否)
現代橋梁核對=([2, 4], [28, 57], 14, 否)；依完整明示資料重算；完整明示的有限／精確切片不自動升格為一般無限結論；span量化全部有限組合；不包含無限級數。
線性組合與生成 · qf-mod23-span-single-generator-membership · candidate