本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261012-advance-20261016-r05-system-linear-equations-foundations · 2026-10-12 · 100 題
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[2, 1, 1], [1, -1, 0]]，有序候選(x,y)=[(-1)/(-3), (1)/(3)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([0/1, 0/1], 是)
有限結構核對=([0/1, 0/1], 是)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 0], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([0/1, 1/1], 否)
有限結構核對=([0/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[0, 0, 0], [0, 0, 2]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([0/1, -2/1], 否)
有限結構核對=([0/1, -2/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -9], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([9/1, 1/1], 否)
有限結構核對=([9/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -8], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([8/1, 0/1], 否)
有限結構核對=([8/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -7], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([7/1, 1/1], 否)
有限結構核對=([7/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -6], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([6/1, 0/1], 否)
有限結構核對=([6/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -5], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([5/1, 1/1], 否)
有限結構核對=([5/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -4], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([4/1, 0/1], 否)
有限結構核對=([4/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -3], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([3/1, 1/1], 否)
有限結構核對=([3/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -2], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([2/1, 0/1], 否)
有限結構核對=([2/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -1], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([1/1, 1/1], 否)
有限結構核對=([1/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 0], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (2)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([0/1, 2/1], 否)
有限結構核對=([0/1, 2/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 1], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-1/1, 1/1], 否)
有限結構核對=([-1/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 2], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-2/1, 0/1], 否)
有限結構核對=([-2/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 3], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-3/1, 1/1], 否)
有限結構核對=([-3/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 4], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-4/1, 0/1], 否)
有限結構核對=([-4/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 5], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-5/1, 1/1], 否)
有限結構核對=([-5/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 6], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-6/1, 0/1], 否)
有限結構核對=([-6/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 7], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-7/1, 1/1], 否)
有限結構核對=([-7/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 8], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-8/1, 0/1], 否)
有限結構核對=([-8/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 9], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-9/1, 1/1], 否)
有限結構核對=([-9/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 10], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-10/1, 0/1], 否)
有限結構核對=([-10/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 11], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (1)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-11/1, 1/1], 否)
有限結構核對=([-11/1, 1/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 12], [0, 1, 0]]，有序候選(x,y)=[(0)/(1), (0)/(1)]。求 (兩列a*x+b*y−c的有理殘差, 兩列同時零資格)。
([-12/1, 0/1], 否)
有限結構核對=([-12/1, 0/1], 否)。先規約合法候選分數，再分別代入兩列；只過一列不是系統的解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-candidate-two-residuals · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[0, 0, 0], [0, 0, 0]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(0, 0, 0, 無限多解, 不唯一)
有限結構核對=(0, 0, 0, 無限多解, 不唯一)。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[0, 0, 1], [0, 0, 0]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(0, 0, 1, 無解, 不適用)
有限結構核對=(0, 0, 1, 無解, 不適用)。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(0, 1, 1, 無限多解, 不唯一)
有限結構核對=(0, 1, 1, 無限多解, 不唯一)。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 3]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(0, 1, 2, 無解, 不適用)
有限結構核對=(0, 1, 2, 無解, 不適用)。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[2, 1, 1], [1, -1, 0]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(-3, 2, 2, 唯一解, [1/3, 1/3])
有限結構核對=(-3, 2, 2, 唯一解, [1/3, 1/3])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -7], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-9/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-9/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -6], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-8/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-8/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -5], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-7/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-7/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -4], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-6/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-6/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -3], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-5/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-5/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -2], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-4/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-4/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, -1], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-3/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-3/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 0], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-2/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-2/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [-1/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [-1/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 2], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [0/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [0/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 3], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [1/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [1/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 4], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [2/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [2/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 5], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [3/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [3/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 6], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [4/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [4/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 7], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [5/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [5/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 8], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [6/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [6/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 9], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [7/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [7/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 10], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [8/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [8/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 11], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [9/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [9/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 12], [0, 1, 2]]。求 (有號D, 係數秩, 增廣秩, 無解/唯一解/無限多解, 唯一時有序有理解[x,y]或不適用/不唯一)。
(1, 2, 2, 唯一解, [10/1, 2/1])
有限結構核對=(1, 2, 2, 唯一解, [10/1, 2/1])。用有理Gaussian消去獨立計兩個秩；不一致答無解，兩個係數pivot才讀唯一解。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-classify-solve · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[0, 0, 0], [0, 0, 0]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[0, 0, 0], [0, 0, 0]], [0, 0, 0, 無限多解, 不唯一], [0, 0, 0, 無限多解, 不唯一], 是)
有限結構核對=([[0, 0, 0], [0, 0, 0]], [0, 0, 0, 無限多解, 不唯一], [0, 0, 0, 無限多解, 不唯一], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 2]]、t=-2。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 1, 1], [0, 0, 0]], [0, 1, 1, 無限多解, 不唯一], [0, 1, 1, 無限多解, 不唯一], 是)
有限結構核對=([[1, 1, 1], [0, 0, 0]], [0, 1, 1, 無限多解, 不唯一], [0, 1, 1, 無限多解, 不唯一], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 3]]、t=-2。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 1, 1], [0, 0, 1]], [0, 1, 2, 無解, 不適用], [0, 1, 2, 無解, 不適用], 是)
有限結構核對=([[1, 1, 1], [0, 0, 1]], [0, 1, 2, 無解, 不適用], [0, 1, 2, 無解, 不適用], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[2, 1, 1], [1, -1, 0]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[2, 1, 1], [-1, -2, -1]], [-3, 2, 2, 唯一解, [1/3, 1/3]], [-3, 2, 2, 唯一解, [1/3, 1/3]], 是)
有限結構核對=([[2, 1, 1], [-1, -2, -1]], [-3, 2, 2, 唯一解, [1/3, 1/3]], [-3, 2, 2, 唯一解, [1/3, 1/3]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -8], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -8], [0, 1, 2]], [1, 2, 2, 唯一解, [-8/1, 2/1]], [1, 2, 2, 唯一解, [-8/1, 2/1]], 是)
有限結構核對=([[1, 0, -8], [0, 1, 2]], [1, 2, 2, 唯一解, [-8/1, 2/1]], [1, 2, 2, 唯一解, [-8/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -7], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -7], [1, 1, -5]], [1, 2, 2, 唯一解, [-7/1, 2/1]], [1, 2, 2, 唯一解, [-7/1, 2/1]], 是)
有限結構核對=([[1, 0, -7], [1, 1, -5]], [1, 2, 2, 唯一解, [-7/1, 2/1]], [1, 2, 2, 唯一解, [-7/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -6], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -6], [-1, 1, 8]], [1, 2, 2, 唯一解, [-6/1, 2/1]], [1, 2, 2, 唯一解, [-6/1, 2/1]], 是)
有限結構核對=([[1, 0, -6], [-1, 1, 8]], [1, 2, 2, 唯一解, [-6/1, 2/1]], [1, 2, 2, 唯一解, [-6/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -5], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -5], [0, 1, 2]], [1, 2, 2, 唯一解, [-5/1, 2/1]], [1, 2, 2, 唯一解, [-5/1, 2/1]], 是)
有限結構核對=([[1, 0, -5], [0, 1, 2]], [1, 2, 2, 唯一解, [-5/1, 2/1]], [1, 2, 2, 唯一解, [-5/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -4], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -4], [1, 1, -2]], [1, 2, 2, 唯一解, [-4/1, 2/1]], [1, 2, 2, 唯一解, [-4/1, 2/1]], 是)
有限結構核對=([[1, 0, -4], [1, 1, -2]], [1, 2, 2, 唯一解, [-4/1, 2/1]], [1, 2, 2, 唯一解, [-4/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -3], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -3], [-1, 1, 5]], [1, 2, 2, 唯一解, [-3/1, 2/1]], [1, 2, 2, 唯一解, [-3/1, 2/1]], 是)
有限結構核對=([[1, 0, -3], [-1, 1, 5]], [1, 2, 2, 唯一解, [-3/1, 2/1]], [1, 2, 2, 唯一解, [-3/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -2], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [-2/1, 2/1]], [1, 2, 2, 唯一解, [-2/1, 2/1]], 是)
有限結構核對=([[1, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [-2/1, 2/1]], [1, 2, 2, 唯一解, [-2/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -1], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, -1], [1, 1, 1]], [1, 2, 2, 唯一解, [-1/1, 2/1]], [1, 2, 2, 唯一解, [-1/1, 2/1]], 是)
有限結構核對=([[1, 0, -1], [1, 1, 1]], [1, 2, 2, 唯一解, [-1/1, 2/1]], [1, 2, 2, 唯一解, [-1/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 0], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 0], [-1, 1, 2]], [1, 2, 2, 唯一解, [0/1, 2/1]], [1, 2, 2, 唯一解, [0/1, 2/1]], 是)
有限結構核對=([[1, 0, 0], [-1, 1, 2]], [1, 2, 2, 唯一解, [0/1, 2/1]], [1, 2, 2, 唯一解, [0/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 1], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 1], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [1, 2, 2, 唯一解, [1/1, 2/1]], 是)
有限結構核對=([[1, 0, 1], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [1, 2, 2, 唯一解, [1/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 2], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 2], [1, 1, 4]], [1, 2, 2, 唯一解, [2/1, 2/1]], [1, 2, 2, 唯一解, [2/1, 2/1]], 是)
有限結構核對=([[1, 0, 2], [1, 1, 4]], [1, 2, 2, 唯一解, [2/1, 2/1]], [1, 2, 2, 唯一解, [2/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 3], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 3], [-1, 1, -1]], [1, 2, 2, 唯一解, [3/1, 2/1]], [1, 2, 2, 唯一解, [3/1, 2/1]], 是)
有限結構核對=([[1, 0, 3], [-1, 1, -1]], [1, 2, 2, 唯一解, [3/1, 2/1]], [1, 2, 2, 唯一解, [3/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 4], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 4], [0, 1, 2]], [1, 2, 2, 唯一解, [4/1, 2/1]], [1, 2, 2, 唯一解, [4/1, 2/1]], 是)
有限結構核對=([[1, 0, 4], [0, 1, 2]], [1, 2, 2, 唯一解, [4/1, 2/1]], [1, 2, 2, 唯一解, [4/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 5], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 5], [1, 1, 7]], [1, 2, 2, 唯一解, [5/1, 2/1]], [1, 2, 2, 唯一解, [5/1, 2/1]], 是)
有限結構核對=([[1, 0, 5], [1, 1, 7]], [1, 2, 2, 唯一解, [5/1, 2/1]], [1, 2, 2, 唯一解, [5/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 6], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 6], [-1, 1, -4]], [1, 2, 2, 唯一解, [6/1, 2/1]], [1, 2, 2, 唯一解, [6/1, 2/1]], 是)
有限結構核對=([[1, 0, 6], [-1, 1, -4]], [1, 2, 2, 唯一解, [6/1, 2/1]], [1, 2, 2, 唯一解, [6/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 7], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 7], [0, 1, 2]], [1, 2, 2, 唯一解, [7/1, 2/1]], [1, 2, 2, 唯一解, [7/1, 2/1]], 是)
有限結構核對=([[1, 0, 7], [0, 1, 2]], [1, 2, 2, 唯一解, [7/1, 2/1]], [1, 2, 2, 唯一解, [7/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 8], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 8], [1, 1, 10]], [1, 2, 2, 唯一解, [8/1, 2/1]], [1, 2, 2, 唯一解, [8/1, 2/1]], 是)
有限結構核對=([[1, 0, 8], [1, 1, 10]], [1, 2, 2, 唯一解, [8/1, 2/1]], [1, 2, 2, 唯一解, [8/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 9], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 9], [-1, 1, -7]], [1, 2, 2, 唯一解, [9/1, 2/1]], [1, 2, 2, 唯一解, [9/1, 2/1]], 是)
有限結構核對=([[1, 0, 9], [-1, 1, -7]], [1, 2, 2, 唯一解, [9/1, 2/1]], [1, 2, 2, 唯一解, [9/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 10], [0, 1, 2]]、t=0。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [10/1, 2/1]], [1, 2, 2, 唯一解, [10/1, 2/1]], 是)
有限結構核對=([[1, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [10/1, 2/1]], [1, 2, 2, 唯一解, [10/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 11], [0, 1, 2]]、t=1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 11], [1, 1, 13]], [1, 2, 2, 唯一解, [11/1, 2/1]], [1, 2, 2, 唯一解, [11/1, 2/1]], 是)
有限結構核對=([[1, 0, 11], [1, 1, 13]], [1, 2, 2, 唯一解, [11/1, 2/1]], [1, 2, 2, 唯一解, [11/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 12], [0, 1, 2]]、t=-1。只把row2改row2+t*row1。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, 可逆列操作資格)。
([[1, 0, 12], [-1, 1, -10]], [1, 2, 2, 唯一解, [12/1, 2/1]], [1, 2, 2, 唯一解, [12/1, 2/1]], 是)
有限結構核對=([[1, 0, 12], [-1, 1, -10]], [1, 2, 2, 唯一解, [12/1, 2/1]], [1, 2, 2, 唯一解, [12/1, 2/1]], 是)。整列連右側常數一起相加，再用Gaussian分別核前後；反操作為加負t倍第一列。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-eliminate-row · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[0, 0, 0], [0, 0, 0]]、t=0。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[0, 0, 0], [0, 0, 0]], [0, 0, 0, 無限多解, 不唯一], [0, 0, 0, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)
有限結構核對=([[0, 0, 0], [0, 0, 0]], [0, 0, 0, 無限多解, 不唯一], [0, 0, 0, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 2]]、t=0。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[0, 0, 0], [2, 2, 2]], [0, 1, 1, 無限多解, 不唯一], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)
有限結構核對=([[0, 0, 0], [2, 2, 2]], [0, 1, 1, 無限多解, 不唯一], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 1], [0, 1, 2]]、t=0。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[0, 0, 0], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)
有限結構核對=([[0, 0, 0], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 1, 1], [2, 2, 3]]、t=0。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[0, 0, 0], [2, 2, 3]], [0, 1, 2, 無解, 不適用], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)
有限結構核對=([[0, 0, 0], [2, 2, 3]], [0, 1, 2, 無解, 不適用], [0, 1, 1, 無限多解, 不唯一], 否, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -8], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, -8], [0, 1, 2]], [1, 2, 2, 唯一解, [-8/1, 2/1]], [1, 2, 2, 唯一解, [-8/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, -8], [0, 1, 2]], [1, 2, 2, 唯一解, [-8/1, 2/1]], [1, 2, 2, 唯一解, [-8/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -7], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, 14], [0, 1, 2]], [1, 2, 2, 唯一解, [-7/1, 2/1]], [-2, 2, 2, 唯一解, [-7/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, 14], [0, 1, 2]], [1, 2, 2, 唯一解, [-7/1, 2/1]], [-2, 2, 2, 唯一解, [-7/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -6], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, -6], [0, 1, 2]], [1, 2, 2, 唯一解, [-6/1, 2/1]], [1, 2, 2, 唯一解, [-6/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, -6], [0, 1, 2]], [1, 2, 2, 唯一解, [-6/1, 2/1]], [1, 2, 2, 唯一解, [-6/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -5], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [-5/1, 2/1]], [-2, 2, 2, 唯一解, [-5/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [-5/1, 2/1]], [-2, 2, 2, 唯一解, [-5/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -4], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, -4], [0, 1, 2]], [1, 2, 2, 唯一解, [-4/1, 2/1]], [1, 2, 2, 唯一解, [-4/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, -4], [0, 1, 2]], [1, 2, 2, 唯一解, [-4/1, 2/1]], [1, 2, 2, 唯一解, [-4/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -3], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, 6], [0, 1, 2]], [1, 2, 2, 唯一解, [-3/1, 2/1]], [-2, 2, 2, 唯一解, [-3/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, 6], [0, 1, 2]], [1, 2, 2, 唯一解, [-3/1, 2/1]], [-2, 2, 2, 唯一解, [-3/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -2], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [-2/1, 2/1]], [1, 2, 2, 唯一解, [-2/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [-2/1, 2/1]], [1, 2, 2, 唯一解, [-2/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, -1], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, 2], [0, 1, 2]], [1, 2, 2, 唯一解, [-1/1, 2/1]], [-2, 2, 2, 唯一解, [-1/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, 2], [0, 1, 2]], [1, 2, 2, 唯一解, [-1/1, 2/1]], [-2, 2, 2, 唯一解, [-1/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 0], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 0], [0, 1, 2]], [1, 2, 2, 唯一解, [0/1, 2/1]], [1, 2, 2, 唯一解, [0/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 0], [0, 1, 2]], [1, 2, 2, 唯一解, [0/1, 2/1]], [1, 2, 2, 唯一解, [0/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 1], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [-2, 2, 2, 唯一解, [1/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -2], [0, 1, 2]], [1, 2, 2, 唯一解, [1/1, 2/1]], [-2, 2, 2, 唯一解, [1/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 2], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 2], [0, 1, 2]], [1, 2, 2, 唯一解, [2/1, 2/1]], [1, 2, 2, 唯一解, [2/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 2], [0, 1, 2]], [1, 2, 2, 唯一解, [2/1, 2/1]], [1, 2, 2, 唯一解, [2/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 3], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -6], [0, 1, 2]], [1, 2, 2, 唯一解, [3/1, 2/1]], [-2, 2, 2, 唯一解, [3/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -6], [0, 1, 2]], [1, 2, 2, 唯一解, [3/1, 2/1]], [-2, 2, 2, 唯一解, [3/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 4], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 4], [0, 1, 2]], [1, 2, 2, 唯一解, [4/1, 2/1]], [1, 2, 2, 唯一解, [4/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 4], [0, 1, 2]], [1, 2, 2, 唯一解, [4/1, 2/1]], [1, 2, 2, 唯一解, [4/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 5], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -10], [0, 1, 2]], [1, 2, 2, 唯一解, [5/1, 2/1]], [-2, 2, 2, 唯一解, [5/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -10], [0, 1, 2]], [1, 2, 2, 唯一解, [5/1, 2/1]], [-2, 2, 2, 唯一解, [5/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 6], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 6], [0, 1, 2]], [1, 2, 2, 唯一解, [6/1, 2/1]], [1, 2, 2, 唯一解, [6/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 6], [0, 1, 2]], [1, 2, 2, 唯一解, [6/1, 2/1]], [1, 2, 2, 唯一解, [6/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 7], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -14], [0, 1, 2]], [1, 2, 2, 唯一解, [7/1, 2/1]], [-2, 2, 2, 唯一解, [7/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -14], [0, 1, 2]], [1, 2, 2, 唯一解, [7/1, 2/1]], [-2, 2, 2, 唯一解, [7/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 8], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 8], [0, 1, 2]], [1, 2, 2, 唯一解, [8/1, 2/1]], [1, 2, 2, 唯一解, [8/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 8], [0, 1, 2]], [1, 2, 2, 唯一解, [8/1, 2/1]], [1, 2, 2, 唯一解, [8/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 9], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -18], [0, 1, 2]], [1, 2, 2, 唯一解, [9/1, 2/1]], [-2, 2, 2, 唯一解, [9/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -18], [0, 1, 2]], [1, 2, 2, 唯一解, [9/1, 2/1]], [-2, 2, 2, 唯一解, [9/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 10], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [10/1, 2/1]], [1, 2, 2, 唯一解, [10/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 10], [0, 1, 2]], [1, 2, 2, 唯一解, [10/1, 2/1]], [1, 2, 2, 唯一解, [10/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 11], [0, 1, 2]]、t=-2。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[-2, 0, -22], [0, 1, 2]], [1, 2, 2, 唯一解, [11/1, 2/1]], [-2, 2, 2, 唯一解, [11/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[-2, 0, -22], [0, 1, 2]], [1, 2, 2, 唯一解, [11/1, 2/1]], [-2, 2, 2, 唯一解, [11/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate
R上兩元兩式；rows每列[a,b,c]代表a*x+b*y=c。rows=[[1, 0, 12], [0, 1, 2]]、t=1。只把row1乘t。求 (新rows, 前分類列[D,rankA,rankAb,class,solution或marker], 後分類列, t≠0可逆操作資格, 固定說明字串「非零縮放才是可逆列操作」)。第4欄不是解集是否恰巧等價。
([[1, 0, 12], [0, 1, 2]], [1, 2, 2, 唯一解, [12/1, 2/1]], [1, 2, 2, 唯一解, [12/1, 2/1]], 是, 非零縮放才是可逆列操作)
有限結構核對=([[1, 0, 12], [0, 1, 2]], [1, 2, 2, 唯一解, [12/1, 2/1]], [1, 2, 2, 唯一解, [12/1, 2/1]], 是, 非零縮放才是可逆列操作)。連同右側常數縮放，再以Gaussian核前後；零縮放可能在冗餘系統保留解集但操作仍不可逆。有限精確核對不是一般形式證明。候選須同時滿足兩式，零縮放不當可逆列操作。
二元聯立一次方程組與退化邊界 · qf-density16-system-row-scaling-solution · candidate