Wolfram Mathematica 如何用枚举搜索方程无解如何用枚举搜索方程无解?例如方程:FindInstance[2 x1 + 3 x2 + 4 x3 == 20 && 5 x1 + 6 x2 + 7 x3 + 1 == m*y && 0 y},Integers]请问:m等于哪些整数时方程无解,可以指定m的一个区间,如何枚举那些m使得方程无解的值?上面方程若设m的枚举区间为:5

问题描述:

Wolfram Mathematica 如何用枚举搜索方程无解
如何用枚举搜索方程无解?
例如方程:FindInstance[
2 x1 + 3 x2 + 4 x3 == 20 && 5 x1 + 6 x2 + 7 x3 + 1 == m*y &&
0 y},Integers]
请问:m等于哪些整数时方程无解,可以指定m的一个区间,如何枚举那些m使得方程无解的值?
上面方程若设m的枚举区间为:5

这样吧:
DeleteCases[
Table[If[FindInstance[
2 x1 + 3 x2 + 4 x3 == 20 && 5 x1 + 6 x2 + 7 x3 + 1 == m*y &&
0 Integers] == {},m],{m,6,14}],Null]