本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261016-r02-matrix-foundations · 2026-10-12 · 100 題
外部索引從1開始；每格完整整數資料。M=[[0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([1, 1], [[0]], [[0]], 是)
有限結構核對=([1, 1], [[0]], [[0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-11, -12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([1, 2], [[-11], [-12]], [[-11, -12]], 是)
有限結構核對=([1, 2], [[-11], [-12]], [[-11, -12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-10, -11, -12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([1, 3], [[-10], [-11], [-12]], [[-10, -11, -12]], 是)
有限結構核對=([1, 3], [[-10], [-11], [-12]], [[-10, -11, -12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-9, -10, -11, -12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([1, 4], [[-9], [-10], [-11], [-12]], [[-9, -10, -11, -12]], 是)
有限結構核對=([1, 4], [[-9], [-10], [-11], [-12]], [[-9, -10, -11, -12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-8, -9, -10, -11, -12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([1, 5], [[-8], [-9], [-10], [-11], [-12]], [[-8, -9, -10, -11, -12]], 是)
有限結構核對=([1, 5], [[-8], [-9], [-10], [-11], [-12]], [[-8, -9, -10, -11, -12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-7], [-6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([2, 1], [[-7, -6]], [[-7], [-6]], 是)
有限結構核對=([2, 1], [[-7, -6]], [[-7], [-6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-6, -7], [-5, -6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([2, 2], [[-6, -5], [-7, -6]], [[-6, -7], [-5, -6]], 是)
有限結構核對=([2, 2], [[-6, -5], [-7, -6]], [[-6, -7], [-5, -6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-5, -6, -7], [-4, -5, -6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([2, 3], [[-5, -4], [-6, -5], [-7, -6]], [[-5, -6, -7], [-4, -5, -6]], 是)
有限結構核對=([2, 3], [[-5, -4], [-6, -5], [-7, -6]], [[-5, -6, -7], [-4, -5, -6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-4, -5, -6, -7], [-3, -4, -5, -6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([2, 4], [[-4, -3], [-5, -4], [-6, -5], [-7, -6]], [[-4, -5, -6, -7], [-3, -4, -5, -6]], 是)
有限結構核對=([2, 4], [[-4, -3], [-5, -4], [-6, -5], [-7, -6]], [[-4, -5, -6, -7], [-3, -4, -5, -6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-3, -4, -5, -6, -7], [-2, -3, -4, -5, -6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([2, 5], [[-3, -2], [-4, -3], [-5, -4], [-6, -5], [-7, -6]], [[-3, -4, -5, -6, -7], [-2, -3, -4, -5, -6]], 是)
有限結構核對=([2, 5], [[-3, -2], [-4, -3], [-5, -4], [-6, -5], [-7, -6]], [[-3, -4, -5, -6, -7], [-2, -3, -4, -5, -6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-2], [-1], [0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([3, 1], [[-2, -1, 0]], [[-2], [-1], [0]], 是)
有限結構核對=([3, 1], [[-2, -1, 0]], [[-2], [-1], [0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[-1, -2], [0, -1], [1, 0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([3, 2], [[-1, 0, 1], [-2, -1, 0]], [[-1, -2], [0, -1], [1, 0]], 是)
有限結構核對=([3, 2], [[-1, 0, 1], [-2, -1, 0]], [[-1, -2], [0, -1], [1, 0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[0, -1, -2], [1, 0, -1], [2, 1, 0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([3, 3], [[0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[0, -1, -2], [1, 0, -1], [2, 1, 0]], 是)
有限結構核對=([3, 3], [[0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[0, -1, -2], [1, 0, -1], [2, 1, 0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 0, -1, -2], [2, 1, 0, -1], [3, 2, 1, 0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([3, 4], [[1, 2, 3], [0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[1, 0, -1, -2], [2, 1, 0, -1], [3, 2, 1, 0]], 是)
有限結構核對=([3, 4], [[1, 2, 3], [0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[1, 0, -1, -2], [2, 1, 0, -1], [3, 2, 1, 0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[2, 1, 0, -1, -2], [3, 2, 1, 0, -1], [4, 3, 2, 1, 0]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([3, 5], [[2, 3, 4], [1, 2, 3], [0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[2, 1, 0, -1, -2], [3, 2, 1, 0, -1], [4, 3, 2, 1, 0]], 是)
有限結構核對=([3, 5], [[2, 3, 4], [1, 2, 3], [0, 1, 2], [-1, 0, 1], [-2, -1, 0]], [[2, 1, 0, -1, -2], [3, 2, 1, 0, -1], [4, 3, 2, 1, 0]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[3], [4], [5], [6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([4, 1], [[3, 4, 5, 6]], [[3], [4], [5], [6]], 是)
有限結構核對=([4, 1], [[3, 4, 5, 6]], [[3], [4], [5], [6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[4, 3], [5, 4], [6, 5], [7, 6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([4, 2], [[4, 5, 6, 7], [3, 4, 5, 6]], [[4, 3], [5, 4], [6, 5], [7, 6]], 是)
有限結構核對=([4, 2], [[4, 5, 6, 7], [3, 4, 5, 6]], [[4, 3], [5, 4], [6, 5], [7, 6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([4, 3], [[5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]], 是)
有限結構核對=([4, 3], [[5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[6, 5, 4, 3], [7, 6, 5, 4], [8, 7, 6, 5], [9, 8, 7, 6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([4, 4], [[6, 7, 8, 9], [5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[6, 5, 4, 3], [7, 6, 5, 4], [8, 7, 6, 5], [9, 8, 7, 6]], 是)
有限結構核對=([4, 4], [[6, 7, 8, 9], [5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[6, 5, 4, 3], [7, 6, 5, 4], [8, 7, 6, 5], [9, 8, 7, 6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[7, 6, 5, 4, 3], [8, 7, 6, 5, 4], [9, 8, 7, 6, 5], [10, 9, 8, 7, 6]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([4, 5], [[7, 8, 9, 10], [6, 7, 8, 9], [5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[7, 6, 5, 4, 3], [8, 7, 6, 5, 4], [9, 8, 7, 6, 5], [10, 9, 8, 7, 6]], 是)
有限結構核對=([4, 5], [[7, 8, 9, 10], [6, 7, 8, 9], [5, 6, 7, 8], [4, 5, 6, 7], [3, 4, 5, 6]], [[7, 6, 5, 4, 3], [8, 7, 6, 5, 4], [9, 8, 7, 6, 5], [10, 9, 8, 7, 6]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[8], [9], [10], [11], [12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([5, 1], [[8, 9, 10, 11, 12]], [[8], [9], [10], [11], [12]], 是)
有限結構核對=([5, 1], [[8, 9, 10, 11, 12]], [[8], [9], [10], [11], [12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[9, 8], [10, 9], [11, 10], [12, 11], [13, 12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([5, 2], [[9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[9, 8], [10, 9], [11, 10], [12, 11], [13, 12]], 是)
有限結構核對=([5, 2], [[9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[9, 8], [10, 9], [11, 10], [12, 11], [13, 12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[10, 9, 8], [11, 10, 9], [12, 11, 10], [13, 12, 11], [14, 13, 12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([5, 3], [[10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[10, 9, 8], [11, 10, 9], [12, 11, 10], [13, 12, 11], [14, 13, 12]], 是)
有限結構核對=([5, 3], [[10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[10, 9, 8], [11, 10, 9], [12, 11, 10], [13, 12, 11], [14, 13, 12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[11, 10, 9, 8], [12, 11, 10, 9], [13, 12, 11, 10], [14, 13, 12, 11], [15, 14, 13, 12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([5, 4], [[11, 12, 13, 14, 15], [10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[11, 10, 9, 8], [12, 11, 10, 9], [13, 12, 11, 10], [14, 13, 12, 11], [15, 14, 13, 12]], 是)
有限結構核對=([5, 4], [[11, 12, 13, 14, 15], [10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[11, 10, 9, 8], [12, 11, 10, 9], [13, 12, 11, 10], [14, 13, 12, 11], [15, 14, 13, 12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。M=[[12, 11, 10, 9, 8], [13, 12, 11, 10, 9], [14, 13, 12, 11, 10], [15, 14, 13, 12, 11], [16, 15, 14, 13, 12]]。求 (M尺寸, Mᵀ, (Mᵀ)ᵀ, 往返與M相同資格)。
([5, 5], [[12, 13, 14, 15, 16], [11, 12, 13, 14, 15], [10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[12, 11, 10, 9, 8], [13, 12, 11, 10, 9], [14, 13, 12, 11, 10], [15, 14, 13, 12, 11], [16, 15, 14, 13, 12]], 是)
有限結構核對=([5, 5], [[12, 13, 14, 15, 16], [11, 12, 13, 14, 15], [10, 11, 12, 13, 14], [9, 10, 11, 12, 13], [8, 9, 10, 11, 12]], [[12, 11, 10, 9, 8], [13, 12, 11, 10, 9], [14, 13, 12, 11, 10], [15, 14, 13, 12, 11], [16, 15, 14, 13, 12]], 是)。交換行列位置兩次，逐格核往返，不反轉元素順序。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-transpose-roundtrip · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[0]]、N=[[0]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([1, 1], [[0]], [[0]], [[0]])
有限結構核對=([1, 1], [[0]], [[0]], [[0]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-11, -12]]、N=[[0, 1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([1, 2], [[-11, -11]], [[-11], [-11]], [[-11], [-11]])
有限結構核對=([1, 2], [[-11, -11]], [[-11], [-11]], [[-11], [-11]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-10, -11, -12]]、N=[[0, 1, 2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([1, 3], [[-10, -10, -10]], [[-10], [-10], [-10]], [[-10], [-10], [-10]])
有限結構核對=([1, 3], [[-10, -10, -10]], [[-10], [-10], [-10]], [[-10], [-10], [-10]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-9, -10, -11, -12]]、N=[[0, 1, 2, 3]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([1, 4], [[-9, -9, -9, -9]], [[-9], [-9], [-9], [-9]], [[-9], [-9], [-9], [-9]])
有限結構核對=([1, 4], [[-9, -9, -9, -9]], [[-9], [-9], [-9], [-9]], [[-9], [-9], [-9], [-9]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-8, -9, -10, -11, -12]]、N=[[0, 1, 2, 3, 4]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([1, 5], [[-8, -8, -8, -8, -8]], [[-8], [-8], [-8], [-8], [-8]], [[-8], [-8], [-8], [-8], [-8]])
有限結構核對=([1, 5], [[-8, -8, -8, -8, -8]], [[-8], [-8], [-8], [-8], [-8]], [[-8], [-8], [-8], [-8], [-8]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-7], [-6]]、N=[[0], [-1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([2, 1], [[-7], [-7]], [[-7, -7]], [[-7, -7]])
有限結構核對=([2, 1], [[-7], [-7]], [[-7, -7]], [[-7, -7]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-6, -7], [-5, -6]]、N=[[0, 1], [-1, 0]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([2, 2], [[-6, -6], [-6, -6]], [[-6, -6], [-6, -6]], [[-6, -6], [-6, -6]])
有限結構核對=([2, 2], [[-6, -6], [-6, -6]], [[-6, -6], [-6, -6]], [[-6, -6], [-6, -6]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-5, -6, -7], [-4, -5, -6]]、N=[[0, 1, 2], [-1, 0, 1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([2, 3], [[-5, -5, -5], [-5, -5, -5]], [[-5, -5], [-5, -5], [-5, -5]], [[-5, -5], [-5, -5], [-5, -5]])
有限結構核對=([2, 3], [[-5, -5, -5], [-5, -5, -5]], [[-5, -5], [-5, -5], [-5, -5]], [[-5, -5], [-5, -5], [-5, -5]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-4, -5, -6, -7], [-3, -4, -5, -6]]、N=[[0, 1, 2, 3], [-1, 0, 1, 2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([2, 4], [[-4, -4, -4, -4], [-4, -4, -4, -4]], [[-4, -4], [-4, -4], [-4, -4], [-4, -4]], [[-4, -4], [-4, -4], [-4, -4], [-4, -4]])
有限結構核對=([2, 4], [[-4, -4, -4, -4], [-4, -4, -4, -4]], [[-4, -4], [-4, -4], [-4, -4], [-4, -4]], [[-4, -4], [-4, -4], [-4, -4], [-4, -4]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-3, -4, -5, -6, -7], [-2, -3, -4, -5, -6]]、N=[[0, 1, 2, 3, 4], [-1, 0, 1, 2, 3]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([2, 5], [[-3, -3, -3, -3, -3], [-3, -3, -3, -3, -3]], [[-3, -3], [-3, -3], [-3, -3], [-3, -3], [-3, -3]], [[-3, -3], [-3, -3], [-3, -3], [-3, -3], [-3, -3]])
有限結構核對=([2, 5], [[-3, -3, -3, -3, -3], [-3, -3, -3, -3, -3]], [[-3, -3], [-3, -3], [-3, -3], [-3, -3], [-3, -3]], [[-3, -3], [-3, -3], [-3, -3], [-3, -3], [-3, -3]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-2], [-1], [0]]、N=[[0], [-1], [-2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([3, 1], [[-2], [-2], [-2]], [[-2, -2, -2]], [[-2, -2, -2]])
有限結構核對=([3, 1], [[-2], [-2], [-2]], [[-2, -2, -2]], [[-2, -2, -2]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[-1, -2], [0, -1], [1, 0]]、N=[[0, 1], [-1, 0], [-2, -1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([3, 2], [[-1, -1], [-1, -1], [-1, -1]], [[-1, -1, -1], [-1, -1, -1]], [[-1, -1, -1], [-1, -1, -1]])
有限結構核對=([3, 2], [[-1, -1], [-1, -1], [-1, -1]], [[-1, -1, -1], [-1, -1, -1]], [[-1, -1, -1], [-1, -1, -1]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[0, -1, -2], [1, 0, -1], [2, 1, 0]]、N=[[0, 1, 2], [-1, 0, 1], [-2, -1, 0]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([3, 3], [[0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 0, 0], [0, 0, 0], [0, 0, 0]])
有限結構核對=([3, 3], [[0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 0, 0], [0, 0, 0], [0, 0, 0]], [[0, 0, 0], [0, 0, 0], [0, 0, 0]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[1, 0, -1, -2], [2, 1, 0, -1], [3, 2, 1, 0]]、N=[[0, 1, 2, 3], [-1, 0, 1, 2], [-2, -1, 0, 1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([3, 4], [[1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]])
有限結構核對=([3, 4], [[1, 1, 1, 1], [1, 1, 1, 1], [1, 1, 1, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]], [[1, 1, 1], [1, 1, 1], [1, 1, 1], [1, 1, 1]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[2, 1, 0, -1, -2], [3, 2, 1, 0, -1], [4, 3, 2, 1, 0]]、N=[[0, 1, 2, 3, 4], [-1, 0, 1, 2, 3], [-2, -1, 0, 1, 2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([3, 5], [[2, 2, 2, 2, 2], [2, 2, 2, 2, 2], [2, 2, 2, 2, 2]], [[2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2]], [[2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2]])
有限結構核對=([3, 5], [[2, 2, 2, 2, 2], [2, 2, 2, 2, 2], [2, 2, 2, 2, 2]], [[2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2]], [[2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2], [2, 2, 2]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[3], [4], [5], [6]]、N=[[0], [-1], [-2], [-3]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([4, 1], [[3], [3], [3], [3]], [[3, 3, 3, 3]], [[3, 3, 3, 3]])
有限結構核對=([4, 1], [[3], [3], [3], [3]], [[3, 3, 3, 3]], [[3, 3, 3, 3]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[4, 3], [5, 4], [6, 5], [7, 6]]、N=[[0, 1], [-1, 0], [-2, -1], [-3, -2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([4, 2], [[4, 4], [4, 4], [4, 4], [4, 4]], [[4, 4, 4, 4], [4, 4, 4, 4]], [[4, 4, 4, 4], [4, 4, 4, 4]])
有限結構核對=([4, 2], [[4, 4], [4, 4], [4, 4], [4, 4]], [[4, 4, 4, 4], [4, 4, 4, 4]], [[4, 4, 4, 4], [4, 4, 4, 4]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]]、N=[[0, 1, 2], [-1, 0, 1], [-2, -1, 0], [-3, -2, -1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([4, 3], [[5, 5, 5], [5, 5, 5], [5, 5, 5], [5, 5, 5]], [[5, 5, 5, 5], [5, 5, 5, 5], [5, 5, 5, 5]], [[5, 5, 5, 5], [5, 5, 5, 5], [5, 5, 5, 5]])
有限結構核對=([4, 3], [[5, 5, 5], [5, 5, 5], [5, 5, 5], [5, 5, 5]], [[5, 5, 5, 5], [5, 5, 5, 5], [5, 5, 5, 5]], [[5, 5, 5, 5], [5, 5, 5, 5], [5, 5, 5, 5]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[6, 5, 4, 3], [7, 6, 5, 4], [8, 7, 6, 5], [9, 8, 7, 6]]、N=[[0, 1, 2, 3], [-1, 0, 1, 2], [-2, -1, 0, 1], [-3, -2, -1, 0]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([4, 4], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]])
有限結構核對=([4, 4], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]], [[6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6], [6, 6, 6, 6]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[7, 6, 5, 4, 3], [8, 7, 6, 5, 4], [9, 8, 7, 6, 5], [10, 9, 8, 7, 6]]、N=[[0, 1, 2, 3, 4], [-1, 0, 1, 2, 3], [-2, -1, 0, 1, 2], [-3, -2, -1, 0, 1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([4, 5], [[7, 7, 7, 7, 7], [7, 7, 7, 7, 7], [7, 7, 7, 7, 7], [7, 7, 7, 7, 7]], [[7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7]], [[7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7]])
有限結構核對=([4, 5], [[7, 7, 7, 7, 7], [7, 7, 7, 7, 7], [7, 7, 7, 7, 7], [7, 7, 7, 7, 7]], [[7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7]], [[7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7], [7, 7, 7, 7]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[8], [9], [10], [11], [12]]、N=[[0], [-1], [-2], [-3], [-4]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([5, 1], [[8], [8], [8], [8], [8]], [[8, 8, 8, 8, 8]], [[8, 8, 8, 8, 8]])
有限結構核對=([5, 1], [[8], [8], [8], [8], [8]], [[8, 8, 8, 8, 8]], [[8, 8, 8, 8, 8]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[9, 8], [10, 9], [11, 10], [12, 11], [13, 12]]、N=[[0, 1], [-1, 0], [-2, -1], [-3, -2], [-4, -3]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([5, 2], [[9, 9], [9, 9], [9, 9], [9, 9], [9, 9]], [[9, 9, 9, 9, 9], [9, 9, 9, 9, 9]], [[9, 9, 9, 9, 9], [9, 9, 9, 9, 9]])
有限結構核對=([5, 2], [[9, 9], [9, 9], [9, 9], [9, 9], [9, 9]], [[9, 9, 9, 9, 9], [9, 9, 9, 9, 9]], [[9, 9, 9, 9, 9], [9, 9, 9, 9, 9]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[10, 9, 8], [11, 10, 9], [12, 11, 10], [13, 12, 11], [14, 13, 12]]、N=[[0, 1, 2], [-1, 0, 1], [-2, -1, 0], [-3, -2, -1], [-4, -3, -2]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([5, 3], [[10, 10, 10], [10, 10, 10], [10, 10, 10], [10, 10, 10], [10, 10, 10]], [[10, 10, 10, 10, 10], [10, 10, 10, 10, 10], [10, 10, 10, 10, 10]], [[10, 10, 10, 10, 10], [10, 10, 10, 10, 10], [10, 10, 10, 10, 10]])
有限結構核對=([5, 3], [[10, 10, 10], [10, 10, 10], [10, 10, 10], [10, 10, 10], [10, 10, 10]], [[10, 10, 10, 10, 10], [10, 10, 10, 10, 10], [10, 10, 10, 10, 10]], [[10, 10, 10, 10, 10], [10, 10, 10, 10, 10], [10, 10, 10, 10, 10]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[11, 10, 9, 8], [12, 11, 10, 9], [13, 12, 11, 10], [14, 13, 12, 11], [15, 14, 13, 12]]、N=[[0, 1, 2, 3], [-1, 0, 1, 2], [-2, -1, 0, 1], [-3, -2, -1, 0], [-4, -3, -2, -1]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([5, 4], [[11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11]], [[11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11]], [[11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11]])
有限結構核對=([5, 4], [[11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11], [11, 11, 11, 11]], [[11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11]], [[11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11], [11, 11, 11, 11, 11]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。同尺寸M=[[12, 11, 10, 9, 8], [13, 12, 11, 10, 9], [14, 13, 12, 11, 10], [15, 14, 13, 12, 11], [16, 15, 14, 13, 12]]、N=[[0, 1, 2, 3, 4], [-1, 0, 1, 2, 3], [-2, -1, 0, 1, 2], [-3, -2, -1, 0, 1], [-4, -3, -2, -1, 0]]。求 (M尺寸, M+N, (M+N)ᵀ, Mᵀ+Nᵀ)。
([5, 5], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]])
有限結構核對=([5, 5], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]], [[12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12], [12, 12, 12, 12, 12]])。先核同尺寸，逐格相加後轉置，另一條路轉置後相加。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-sum-transpose · candidate
外部索引從1開始；每格完整整數資料。M=[[0]]，原序(i,j)候選=[[1, 1], [1, 1], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([1, 1], [是, 是, 否], [0, 0, 不合索引])
有限結構核對=([1, 1], [是, 是, 否], [0, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-11, -12]]，原序(i,j)候選=[[1, 1], [1, 2], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([1, 2], [是, 是, 否], [-11, -12, 不合索引])
有限結構核對=([1, 2], [是, 是, 否], [-11, -12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-10, -11, -12]]，原序(i,j)候選=[[1, 1], [1, 3], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([1, 3], [是, 是, 否], [-10, -12, 不合索引])
有限結構核對=([1, 3], [是, 是, 否], [-10, -12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-9, -10, -11, -12]]，原序(i,j)候選=[[1, 1], [1, 4], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([1, 4], [是, 是, 否], [-9, -12, 不合索引])
有限結構核對=([1, 4], [是, 是, 否], [-9, -12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-8, -9, -10, -11, -12]]，原序(i,j)候選=[[1, 1], [1, 5], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([1, 5], [是, 是, 否], [-8, -12, 不合索引])
有限結構核對=([1, 5], [是, 是, 否], [-8, -12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-7], [-6]]，原序(i,j)候選=[[1, 1], [2, 1], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([2, 1], [是, 是, 否], [-7, -6, 不合索引])
有限結構核對=([2, 1], [是, 是, 否], [-7, -6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-6, -7], [-5, -6]]，原序(i,j)候選=[[1, 1], [2, 2], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([2, 2], [是, 是, 否], [-6, -6, 不合索引])
有限結構核對=([2, 2], [是, 是, 否], [-6, -6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-5, -6, -7], [-4, -5, -6]]，原序(i,j)候選=[[1, 1], [2, 3], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([2, 3], [是, 是, 否], [-5, -6, 不合索引])
有限結構核對=([2, 3], [是, 是, 否], [-5, -6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-4, -5, -6, -7], [-3, -4, -5, -6]]，原序(i,j)候選=[[1, 1], [2, 4], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([2, 4], [是, 是, 否], [-4, -6, 不合索引])
有限結構核對=([2, 4], [是, 是, 否], [-4, -6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-3, -4, -5, -6, -7], [-2, -3, -4, -5, -6]]，原序(i,j)候選=[[1, 1], [2, 5], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([2, 5], [是, 是, 否], [-3, -6, 不合索引])
有限結構核對=([2, 5], [是, 是, 否], [-3, -6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-2], [-1], [0]]，原序(i,j)候選=[[1, 1], [3, 1], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([3, 1], [是, 是, 否], [-2, 0, 不合索引])
有限結構核對=([3, 1], [是, 是, 否], [-2, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[-1, -2], [0, -1], [1, 0]]，原序(i,j)候選=[[1, 1], [3, 2], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([3, 2], [是, 是, 否], [-1, 0, 不合索引])
有限結構核對=([3, 2], [是, 是, 否], [-1, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[0, -1, -2], [1, 0, -1], [2, 1, 0]]，原序(i,j)候選=[[1, 1], [3, 3], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([3, 3], [是, 是, 否], [0, 0, 不合索引])
有限結構核對=([3, 3], [是, 是, 否], [0, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 0, -1, -2], [2, 1, 0, -1], [3, 2, 1, 0]]，原序(i,j)候選=[[1, 1], [3, 4], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([3, 4], [是, 是, 否], [1, 0, 不合索引])
有限結構核對=([3, 4], [是, 是, 否], [1, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[2, 1, 0, -1, -2], [3, 2, 1, 0, -1], [4, 3, 2, 1, 0]]，原序(i,j)候選=[[1, 1], [3, 5], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([3, 5], [是, 是, 否], [2, 0, 不合索引])
有限結構核對=([3, 5], [是, 是, 否], [2, 0, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[3], [4], [5], [6]]，原序(i,j)候選=[[1, 1], [4, 1], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([4, 1], [是, 是, 否], [3, 6, 不合索引])
有限結構核對=([4, 1], [是, 是, 否], [3, 6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[4, 3], [5, 4], [6, 5], [7, 6]]，原序(i,j)候選=[[1, 1], [4, 2], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([4, 2], [是, 是, 否], [4, 6, 不合索引])
有限結構核對=([4, 2], [是, 是, 否], [4, 6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[5, 4, 3], [6, 5, 4], [7, 6, 5], [8, 7, 6]]，原序(i,j)候選=[[1, 1], [4, 3], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([4, 3], [是, 是, 否], [5, 6, 不合索引])
有限結構核對=([4, 3], [是, 是, 否], [5, 6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[6, 5, 4, 3], [7, 6, 5, 4], [8, 7, 6, 5], [9, 8, 7, 6]]，原序(i,j)候選=[[1, 1], [4, 4], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([4, 4], [是, 是, 否], [6, 6, 不合索引])
有限結構核對=([4, 4], [是, 是, 否], [6, 6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[7, 6, 5, 4, 3], [8, 7, 6, 5, 4], [9, 8, 7, 6, 5], [10, 9, 8, 7, 6]]，原序(i,j)候選=[[1, 1], [4, 5], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([4, 5], [是, 是, 否], [7, 6, 不合索引])
有限結構核對=([4, 5], [是, 是, 否], [7, 6, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[8], [9], [10], [11], [12]]，原序(i,j)候選=[[1, 1], [5, 1], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([5, 1], [是, 是, 否], [8, 12, 不合索引])
有限結構核對=([5, 1], [是, 是, 否], [8, 12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[9, 8], [10, 9], [11, 10], [12, 11], [13, 12]]，原序(i,j)候選=[[1, 1], [5, 2], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([5, 2], [是, 是, 否], [9, 12, 不合索引])
有限結構核對=([5, 2], [是, 是, 否], [9, 12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[10, 9, 8], [11, 10, 9], [12, 11, 10], [13, 12, 11], [14, 13, 12]]，原序(i,j)候選=[[1, 1], [5, 3], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([5, 3], [是, 是, 否], [10, 12, 不合索引])
有限結構核對=([5, 3], [是, 是, 否], [10, 12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[11, 10, 9, 8], [12, 11, 10, 9], [13, 12, 11, 10], [14, 13, 12, 11], [15, 14, 13, 12]]，原序(i,j)候選=[[1, 1], [5, 4], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([5, 4], [是, 是, 否], [11, 12, 不合索引])
有限結構核對=([5, 4], [是, 是, 否], [11, 12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[12, 11, 10, 9, 8], [13, 12, 11, 10, 9], [14, 13, 12, 11, 10], [15, 14, 13, 12, 11], [16, 15, 14, 13, 12]]，原序(i,j)候選=[[1, 1], [5, 5], [0, 1]]。求 (M尺寸, 三個索引資格, 三個值或不合索引)。不合索引時不讀該格。
([5, 5], [是, 是, 否], [12, 12, 不合索引])
有限結構核對=([5, 5], [是, 是, 否], [12, 12, 不合索引])。兩個索引都在1到尺寸內才讀元素，其他格不充作本題身份。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-three-index-qualification · candidate
外部索引從1開始；每格完整整數資料。M=[[0]]，候選矩陣=[[0]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[0]], [1, 1], 是, [[0]], 是)
有限結構核對=([[0]], [1, 1], 是, [[0]], 是)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 2]]，候選矩陣=[[1, 2]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[1], [2]], [1, 2], 否, 尺寸不合, 否)
有限結構核對=([[1], [2]], [1, 2], 否, 尺寸不合, 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 2], [3, 4]]，候選矩陣=[[1, 3], [2, 4]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[1, 3], [2, 4]], [2, 2], 是, [[0, 0], [0, 0]], 是)
有限結構核對=([[1, 3], [2, 4]], [2, 2], 是, [[0, 0], [0, 0]], 是)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 2], [3, 4]]，候選矩陣=[[1, 0], [2, 4]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[1, 3], [2, 4]], [2, 2], 是, [[0, -3], [0, 0]], 否)
有限結構核對=([[1, 3], [2, 4]], [2, 2], 是, [[0, -3], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-8, 1], [2, -1]]，候選矩陣=[[-7, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-8, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-8, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-7, 1], [2, -1]]，候選矩陣=[[-6, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-7, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-7, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-6, 1], [2, -1]]，候選矩陣=[[-5, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-6, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-6, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-5, 1], [2, -1]]，候選矩陣=[[-4, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-5, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-5, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-4, 1], [2, -1]]，候選矩陣=[[-3, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-4, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-4, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-3, 1], [2, -1]]，候選矩陣=[[-2, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-3, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-3, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-2, 1], [2, -1]]，候選矩陣=[[-1, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-2, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-2, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[-1, 1], [2, -1]]，候選矩陣=[[0, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[-1, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[-1, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[0, 1], [2, -1]]，候選矩陣=[[1, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[0, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[0, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[1, 1], [2, -1]]，候選矩陣=[[2, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[1, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[1, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[2, 1], [2, -1]]，候選矩陣=[[3, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[2, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[2, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[3, 1], [2, -1]]，候選矩陣=[[4, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[3, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[3, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[4, 1], [2, -1]]，候選矩陣=[[5, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[4, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[4, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[5, 1], [2, -1]]，候選矩陣=[[6, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[5, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[5, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[6, 1], [2, -1]]，候選矩陣=[[7, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[6, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[6, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[7, 1], [2, -1]]，候選矩陣=[[8, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[7, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[7, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[8, 1], [2, -1]]，候選矩陣=[[9, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[8, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[8, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[9, 1], [2, -1]]，候選矩陣=[[10, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[9, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[9, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[10, 1], [2, -1]]，候選矩陣=[[11, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[10, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[10, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[11, 1], [2, -1]]，候選矩陣=[[12, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[11, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[11, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate
外部索引從1開始；每格完整整數資料。M=[[12, 1], [2, -1]]，候選矩陣=[[13, 2], [1, -1]]。求 (Mᵀ, 候選尺寸, 尺寸資格, 候選減Mᵀ的殘差矩陣或尺寸不合, 候選相等資格)。
([[12, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)
有限結構核對=([[12, 2], [1, -1]], [2, 2], 是, [[1, 0], [0, 0]], 否)。先算轉置尺寸；候選同尺寸才逐格相減，尺寸不合時不補造殘差。有限精確核對不是一般形式證明。轉置不當求逆，尺寸不合先拒絕求值。
有限矩陣的尺寸、索引與轉置 · qf-density16-matrix-candidate-transpose-audit · candidate