本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261011-advance-20261015-r01-fraction-foundations · 2026-10-11 · 100 題
合法分數表示，原分母非零。a=(1)/(2)、b=(1)/(-2)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(0/1, 否, 未定義, 未定義, 否)
分數真和與錯加候選稽核=(0/1, 否, 未定義, 未定義, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(1)/(2)、b=(-1)/(-2)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(1/1, 否, 未定義, 未定義, 否)
分數真和與錯加候選稽核=(1/1, 否, 未定義, 未定義, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(0)/(2)、b=(0)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(0/1, 是, 0/1, 0/1, 是)
分數真和與錯加候選稽核=(0/1, 是, 0/1, 0/1, 是)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(1)/(2)、b=(1)/(4)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(3/4, 是, 1/3, -5/12, 否)
分數真和與錯加候選稽核=(3/4, 是, 1/3, -5/12, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-8)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-11/3, 是, -7/5, 34/15, 否)
分數真和與錯加候選稽核=(-11/3, 是, -7/5, 34/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(7)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-19/6, 是, 8/1, 67/6, 否)
分數真和與錯加候選稽核=(-19/6, 是, 8/1, 67/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-6)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-8/3, 是, -1/1, 5/3, 否)
分數真和與錯加候選稽核=(-8/3, 是, -1/1, 5/3, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(5)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-13/6, 是, 6/1, 49/6, 否)
分數真和與錯加候選稽核=(-13/6, 是, 6/1, 49/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-4)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-5/3, 是, -3/5, 16/15, 否)
分數真和與錯加候選稽核=(-5/3, 是, -3/5, 16/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(3)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-7/6, 是, 4/1, 31/6, 否)
分數真和與錯加候選稽核=(-7/6, 是, 4/1, 31/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-2)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-2/3, 是, -1/5, 7/15, 否)
分數真和與錯加候選稽核=(-2/3, 是, -1/5, 7/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(1)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(-1/6, 是, 2/1, 13/6, 否)
分數真和與錯加候選稽核=(-1/6, 是, 2/1, 13/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(0)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(1/3, 是, 1/5, -2/15, 否)
分數真和與錯加候選稽核=(1/3, 是, 1/5, -2/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-1)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(5/6, 是, 0/1, -5/6, 否)
分數真和與錯加候選稽核=(5/6, 是, 0/1, -5/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(2)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(4/3, 是, 3/5, -11/15, 否)
分數真和與錯加候選稽核=(4/3, 是, 3/5, -11/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-3)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(11/6, 是, -2/1, -23/6, 否)
分數真和與錯加候選稽核=(11/6, 是, -2/1, -23/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(4)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(7/3, 是, 1/1, -4/3, 否)
分數真和與錯加候選稽核=(7/3, 是, 1/1, -4/3, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-5)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(17/6, 是, -4/1, -41/6, 否)
分數真和與錯加候選稽核=(17/6, 是, -4/1, -41/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(6)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(10/3, 是, 7/5, -29/15, 否)
分數真和與錯加候選稽核=(10/3, 是, 7/5, -29/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-7)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(23/6, 是, -6/1, -59/6, 否)
分數真和與錯加候選稽核=(23/6, 是, -6/1, -59/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(8)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(13/3, 是, 9/5, -38/15, 否)
分數真和與錯加候選稽核=(13/3, 是, 9/5, -38/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-9)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(29/6, 是, -8/1, -77/6, 否)
分數真和與錯加候選稽核=(29/6, 是, -8/1, -77/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(10)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(16/3, 是, 11/5, -47/15, 否)
分數真和與錯加候選稽核=(16/3, 是, 11/5, -47/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(-11)/(-2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(35/6, 是, -10/1, -95/6, 否)
分數真和與錯加候選稽核=(35/6, 是, -10/1, -95/6, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。a=(12)/(2)、b=(1)/(3)。錯加候選直接以原分子相加除以原分母相加，不先約分。依序答 (真和, 錯加定義資格, 錯加值或未定義, 錯加減真和或未定義, 錯加正確資格)。
(19/3, 是, 13/5, -56/15, 否)
分數真和與錯加候選稽核=(19/3, 是, 13/5, -56/15, 否)。真和先通分；錯加另核原分母和，再比較精確差。分子分母分別加不是分數加法。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-sum-naive-audit · candidate
合法分數表示，原分母非零。原序四值=[(0)/(1), (0)/(1), (0)/(1), (0)/(1)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([0/1, 0/1, 0/1], 0/1, 0/1, 是)
相鄰分數差鏈與端點差=([0/1, 0/1, 0/1], 0/1, 0/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(0)/(1), (1)/(1), (0)/(1), (1)/(1)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([1/1, -1/1, 1/1], 1/1, 1/1, 是)
相鄰分數差鏈與端點差=([1/1, -1/1, 1/1], 1/1, 1/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-10)/(3), (0)/(1), (1)/(2), (3)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([10/3, 1/2, 1/1], 29/6, 29/6, 是)
相鄰分數差鏈與端點差=([10/3, 1/2, 1/1], 29/6, 29/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(9)/(-3), (0)/(1), (1)/(2), (4)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([3/1, 1/2, 3/2], 5/1, 5/1, 是)
相鄰分數差鏈與端點差=([3/1, 1/2, 3/2], 5/1, 5/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-8)/(3), (0)/(1), (1)/(2), (5)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([8/3, 1/2, 2/1], 31/6, 31/6, 是)
相鄰分數差鏈與端點差=([8/3, 1/2, 2/1], 31/6, 31/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(7)/(-3), (0)/(1), (1)/(2), (6)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([7/3, 1/2, 5/2], 16/3, 16/3, 是)
相鄰分數差鏈與端點差=([7/3, 1/2, 5/2], 16/3, 16/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-6)/(3), (0)/(1), (1)/(2), (7)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([2/1, 1/2, 3/1], 11/2, 11/2, 是)
相鄰分數差鏈與端點差=([2/1, 1/2, 3/1], 11/2, 11/2, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(5)/(-3), (0)/(1), (1)/(2), (8)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([5/3, 1/2, 7/2], 17/3, 17/3, 是)
相鄰分數差鏈與端點差=([5/3, 1/2, 7/2], 17/3, 17/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-4)/(3), (0)/(1), (1)/(2), (9)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([4/3, 1/2, 4/1], 35/6, 35/6, 是)
相鄰分數差鏈與端點差=([4/3, 1/2, 4/1], 35/6, 35/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(3)/(-3), (0)/(1), (1)/(2), (10)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([1/1, 1/2, 9/2], 6/1, 6/1, 是)
相鄰分數差鏈與端點差=([1/1, 1/2, 9/2], 6/1, 6/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-2)/(3), (0)/(1), (1)/(2), (11)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([2/3, 1/2, 5/1], 37/6, 37/6, 是)
相鄰分數差鏈與端點差=([2/3, 1/2, 5/1], 37/6, 37/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(1)/(-3), (0)/(1), (1)/(2), (12)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([1/3, 1/2, 11/2], 19/3, 19/3, 是)
相鄰分數差鏈與端點差=([1/3, 1/2, 11/2], 19/3, 19/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(0)/(3), (0)/(1), (1)/(2), (13)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([0/1, 1/2, 6/1], 13/2, 13/2, 是)
相鄰分數差鏈與端點差=([0/1, 1/2, 6/1], 13/2, 13/2, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-1)/(-3), (0)/(1), (1)/(2), (14)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-1/3, 1/2, 13/2], 20/3, 20/3, 是)
相鄰分數差鏈與端點差=([-1/3, 1/2, 13/2], 20/3, 20/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(2)/(3), (0)/(1), (1)/(2), (15)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-2/3, 1/2, 7/1], 41/6, 41/6, 是)
相鄰分數差鏈與端點差=([-2/3, 1/2, 7/1], 41/6, 41/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-3)/(-3), (0)/(1), (1)/(2), (16)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-1/1, 1/2, 15/2], 7/1, 7/1, 是)
相鄰分數差鏈與端點差=([-1/1, 1/2, 15/2], 7/1, 7/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(4)/(3), (0)/(1), (1)/(2), (17)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-4/3, 1/2, 8/1], 43/6, 43/6, 是)
相鄰分數差鏈與端點差=([-4/3, 1/2, 8/1], 43/6, 43/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-5)/(-3), (0)/(1), (1)/(2), (18)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-5/3, 1/2, 17/2], 22/3, 22/3, 是)
相鄰分數差鏈與端點差=([-5/3, 1/2, 17/2], 22/3, 22/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(6)/(3), (0)/(1), (1)/(2), (19)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-2/1, 1/2, 9/1], 15/2, 15/2, 是)
相鄰分數差鏈與端點差=([-2/1, 1/2, 9/1], 15/2, 15/2, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-7)/(-3), (0)/(1), (1)/(2), (20)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-7/3, 1/2, 19/2], 23/3, 23/3, 是)
相鄰分數差鏈與端點差=([-7/3, 1/2, 19/2], 23/3, 23/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(8)/(3), (0)/(1), (1)/(2), (21)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-8/3, 1/2, 10/1], 47/6, 47/6, 是)
相鄰分數差鏈與端點差=([-8/3, 1/2, 10/1], 47/6, 47/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-9)/(-3), (0)/(1), (1)/(2), (22)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-3/1, 1/2, 21/2], 8/1, 8/1, 是)
相鄰分數差鏈與端點差=([-3/1, 1/2, 21/2], 8/1, 8/1, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(10)/(3), (0)/(1), (1)/(2), (23)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-10/3, 1/2, 11/1], 49/6, 49/6, 是)
相鄰分數差鏈與端點差=([-10/3, 1/2, 11/1], 49/6, 49/6, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(-11)/(-3), (0)/(1), (1)/(2), (24)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-11/3, 1/2, 23/2], 25/3, 25/3, 是)
相鄰分數差鏈與端點差=([-11/3, 1/2, 23/2], 25/3, 25/3, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。原序四值=[(12)/(3), (0)/(1), (1)/(2), (25)/(2)]。求 (三個後值減前值, 差鏈和, 最後減起始, 後兩者相同資格)，不可排序。
([-4/1, 1/2, 12/1], 17/2, 17/2, 是)
相鄰分數差鏈與端點差=([-4/1, 1/2, 12/1], 17/2, 17/2, 是)。依原序相減，再加總差列並單獨核端點差。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-adjacent-difference-chain · candidate
合法分數表示，原分母非零。a=(0)/(-2)、b=(0)/(3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(0/1, [否, 否], [未定義, 未定義], 未定義)
分數乘積與倒數資格=(0/1, [否, 否], [未定義, 未定義], 未定義)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(0)/(1)、b=(2)/(3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(0/1, [否, 是], [未定義, 3/2], 未定義)
分數乘積與倒數資格=(0/1, [否, 是], [未定義, 3/2], 未定義)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-1)/(2)、b=(0)/(-5)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(0/1, [是, 否], [-2/1, 未定義], 未定義)
分數乘積與倒數資格=(0/1, [是, 否], [-2/1, 未定義], 未定義)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-9)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(2/1, [是, 是], [-1/3, -3/2], 1/2)
分數乘積與倒數資格=(2/1, [是, 是], [-1/3, -3/2], 1/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-8)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(16/9, [是, 是], [-3/8, -3/2], 9/16)
分數乘積與倒數資格=(16/9, [是, 是], [-3/8, -3/2], 9/16)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-7)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(14/9, [是, 是], [-3/7, -3/2], 9/14)
分數乘積與倒數資格=(14/9, [是, 是], [-3/7, -3/2], 9/14)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-6)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(4/3, [是, 是], [-1/2, -3/2], 3/4)
分數乘積與倒數資格=(4/3, [是, 是], [-1/2, -3/2], 3/4)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-5)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(10/9, [是, 是], [-3/5, -3/2], 9/10)
分數乘積與倒數資格=(10/9, [是, 是], [-3/5, -3/2], 9/10)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-4)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(8/9, [是, 是], [-3/4, -3/2], 9/8)
分數乘積與倒數資格=(8/9, [是, 是], [-3/4, -3/2], 9/8)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-3)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(2/3, [是, 是], [-1/1, -3/2], 3/2)
分數乘積與倒數資格=(2/3, [是, 是], [-1/1, -3/2], 3/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-2)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(4/9, [是, 是], [-3/2, -3/2], 9/4)
分數乘積與倒數資格=(4/9, [是, 是], [-3/2, -3/2], 9/4)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(-1)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(2/9, [是, 是], [-3/1, -3/2], 9/2)
分數乘積與倒數資格=(2/9, [是, 是], [-3/1, -3/2], 9/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(0)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(0/1, [否, 是], [未定義, -3/2], 未定義)
分數乘積與倒數資格=(0/1, [否, 是], [未定義, -3/2], 未定義)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(1)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-2/9, [是, 是], [3/1, -3/2], -9/2)
分數乘積與倒數資格=(-2/9, [是, 是], [3/1, -3/2], -9/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(2)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-4/9, [是, 是], [3/2, -3/2], -9/4)
分數乘積與倒數資格=(-4/9, [是, 是], [3/2, -3/2], -9/4)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(3)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-2/3, [是, 是], [1/1, -3/2], -3/2)
分數乘積與倒數資格=(-2/3, [是, 是], [1/1, -3/2], -3/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(4)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-8/9, [是, 是], [3/4, -3/2], -9/8)
分數乘積與倒數資格=(-8/9, [是, 是], [3/4, -3/2], -9/8)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(5)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-10/9, [是, 是], [3/5, -3/2], -9/10)
分數乘積與倒數資格=(-10/9, [是, 是], [3/5, -3/2], -9/10)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(6)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-4/3, [是, 是], [1/2, -3/2], -3/4)
分數乘積與倒數資格=(-4/3, [是, 是], [1/2, -3/2], -3/4)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(7)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-14/9, [是, 是], [3/7, -3/2], -9/14)
分數乘積與倒數資格=(-14/9, [是, 是], [3/7, -3/2], -9/14)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(8)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-16/9, [是, 是], [3/8, -3/2], -9/16)
分數乘積與倒數資格=(-16/9, [是, 是], [3/8, -3/2], -9/16)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(9)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-2/1, [是, 是], [1/3, -3/2], -1/2)
分數乘積與倒數資格=(-2/1, [是, 是], [1/3, -3/2], -1/2)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(10)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-20/9, [是, 是], [3/10, -3/2], -9/20)
分數乘積與倒數資格=(-20/9, [是, 是], [3/10, -3/2], -9/20)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(11)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-22/9, [是, 是], [3/11, -3/2], -9/22)
分數乘積與倒數資格=(-22/9, [是, 是], [3/11, -3/2], -9/22)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。a=(12)/(3)、b=(2)/(-3)。求 (乘積, a與b非零資格, 對應倒數或未定義, 兩倒數乘積或未定義)。
(-8/3, [是, 是], [1/4, -3/2], -3/8)
分數乘積與倒數資格=(-8/3, [是, 是], [1/4, -3/2], -3/8)。先核兩個數值是否為零，非零才交換規約分子分母求倒數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-inverse-pair-guard · candidate
合法分數表示，原分母非零。原n/d中n=0、d=1，原序縮放因子[s,t]=[0, 2]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(0/1, [[0, 0], [0, 2]], [否, 是], [未定義, 0/1])
兩個縮放表示與合法性=(0/1, [[0, 0], [0, 2]], [否, 是], [未定義, 0/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=2、d=-3，原序縮放因子[s,t]=[0, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-2/3, [[0, 0], [-2, 3]], [否, 是], [未定義, -2/3])
兩個縮放表示與合法性=(-2/3, [[0, 0], [-2, 3]], [否, 是], [未定義, -2/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=1、d=2，原序縮放因子[s,t]=[1, 0]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(1/2, [[1, 2], [0, 0]], [是, 否], [1/2, 未定義])
兩個縮放表示與合法性=(1/2, [[1, 2], [0, 0]], [是, 否], [1/2, 未定義])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=9007199254740991、d=-7，原序縮放因子[s,t]=[9007199254740991, -2]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-9007199254740991/7, [[81129638414606663681390495662081, -63050394783186937], [-18014398509481982, 14]], [是, 是], [-9007199254740991/7, -9007199254740991/7])
兩個縮放表示與合法性=(-9007199254740991/7, [[81129638414606663681390495662081, -63050394783186937], [-18014398509481982, 14]], [是, 是], [-9007199254740991/7, -9007199254740991/7])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-8、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-4/1, [[-16, 4], [8, -2]], [是, 是], [-4/1, -4/1])
兩個縮放表示與合法性=(-4/1, [[-16, 4], [8, -2]], [是, 是], [-4/1, -4/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-7、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(7/3, [[-14, -6], [7, 3]], [是, 是], [7/3, 7/3])
兩個縮放表示與合法性=(7/3, [[-14, -6], [7, 3]], [是, 是], [7/3, 7/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-6、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-3/1, [[-12, 4], [6, -2]], [是, 是], [-3/1, -3/1])
兩個縮放表示與合法性=(-3/1, [[-12, 4], [6, -2]], [是, 是], [-3/1, -3/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-5、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(5/3, [[-10, -6], [5, 3]], [是, 是], [5/3, 5/3])
兩個縮放表示與合法性=(5/3, [[-10, -6], [5, 3]], [是, 是], [5/3, 5/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-4、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-2/1, [[-8, 4], [4, -2]], [是, 是], [-2/1, -2/1])
兩個縮放表示與合法性=(-2/1, [[-8, 4], [4, -2]], [是, 是], [-2/1, -2/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-3、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(1/1, [[-6, -6], [3, 3]], [是, 是], [1/1, 1/1])
兩個縮放表示與合法性=(1/1, [[-6, -6], [3, 3]], [是, 是], [1/1, 1/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-2、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-1/1, [[-4, 4], [2, -2]], [是, 是], [-1/1, -1/1])
兩個縮放表示與合法性=(-1/1, [[-4, 4], [2, -2]], [是, 是], [-1/1, -1/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=-1、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(1/3, [[-2, -6], [1, 3]], [是, 是], [1/3, 1/3])
兩個縮放表示與合法性=(1/3, [[-2, -6], [1, 3]], [是, 是], [1/3, 1/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=0、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(0/1, [[0, 4], [0, -2]], [是, 是], [0/1, 0/1])
兩個縮放表示與合法性=(0/1, [[0, 4], [0, -2]], [是, 是], [0/1, 0/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=1、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-1/3, [[2, -6], [-1, 3]], [是, 是], [-1/3, -1/3])
兩個縮放表示與合法性=(-1/3, [[2, -6], [-1, 3]], [是, 是], [-1/3, -1/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=2、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(1/1, [[4, 4], [-2, -2]], [是, 是], [1/1, 1/1])
兩個縮放表示與合法性=(1/1, [[4, 4], [-2, -2]], [是, 是], [1/1, 1/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=3、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-1/1, [[6, -6], [-3, 3]], [是, 是], [-1/1, -1/1])
兩個縮放表示與合法性=(-1/1, [[6, -6], [-3, 3]], [是, 是], [-1/1, -1/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=4、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(2/1, [[8, 4], [-4, -2]], [是, 是], [2/1, 2/1])
兩個縮放表示與合法性=(2/1, [[8, 4], [-4, -2]], [是, 是], [2/1, 2/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=5、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-5/3, [[10, -6], [-5, 3]], [是, 是], [-5/3, -5/3])
兩個縮放表示與合法性=(-5/3, [[10, -6], [-5, 3]], [是, 是], [-5/3, -5/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=6、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(3/1, [[12, 4], [-6, -2]], [是, 是], [3/1, 3/1])
兩個縮放表示與合法性=(3/1, [[12, 4], [-6, -2]], [是, 是], [3/1, 3/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=7、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-7/3, [[14, -6], [-7, 3]], [是, 是], [-7/3, -7/3])
兩個縮放表示與合法性=(-7/3, [[14, -6], [-7, 3]], [是, 是], [-7/3, -7/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=8、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(4/1, [[16, 4], [-8, -2]], [是, 是], [4/1, 4/1])
兩個縮放表示與合法性=(4/1, [[16, 4], [-8, -2]], [是, 是], [4/1, 4/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=9、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-3/1, [[18, -6], [-9, 3]], [是, 是], [-3/1, -3/1])
兩個縮放表示與合法性=(-3/1, [[18, -6], [-9, 3]], [是, 是], [-3/1, -3/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=10、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(5/1, [[20, 4], [-10, -2]], [是, 是], [5/1, 5/1])
兩個縮放表示與合法性=(5/1, [[20, 4], [-10, -2]], [是, 是], [5/1, 5/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=11、d=-3，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(-11/3, [[22, -6], [-11, 3]], [是, 是], [-11/3, -11/3])
兩個縮放表示與合法性=(-11/3, [[22, -6], [-11, 3]], [是, 是], [-11/3, -11/3])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate
合法分數表示，原分母非零。原n/d中n=12、d=2，原序縮放因子[s,t]=[2, -1]。求 (原值, 兩個原始[ns,ds]與[nt,dt], 各合法資格, 各規約值或未定義)。使用BigInt保留原始整數產品。
(6/1, [[24, 4], [-12, -2]], [是, 是], [6/1, 6/1])
兩個縮放表示與合法性=(6/1, [[24, 4], [-12, -2]], [是, 是], [6/1, 6/1])。同乘非零因子保留值；直接乘出原始兩列，零因子產生0/0。零縮放不給合法分數。表示與數值分開，有限分數核對非商集良定性證明。
分數 · qf-density15-fraction-two-scaled-representations · candidate