Solve[a^2Solve[ a^2 + b^2 == c^2 && a < 100 && b < 100 && c < 100, {a, b, c}, Integers]
gives me this result
{{c -> ConditionalExpression[-Sqrt[
a^2 + b^2], ((a | b | c) [Element] Integers &&
Sqrt[10000 - a^2] - b > 0 && -99 <=
a <= -1) || ((a | b | c) [Element] Integers &&
Sqrt[10000 - a^2] - b > 0 &&
1 <= a <= 99) || ((a | b | c) [Element] Integers &&
Sqrt[10000 - a^2] + b <= 0 && -99 <=
a <= -1) || ((a | b | c) [Element] Integers &&
Sqrt[10000 - a^2] + b <= 0 &&
[etc.]{{c -> ConditionalExpression[-Sqrt[ a^2 + b^2],
((a | b | c) ∈ Integers && Sqrt[10000 - a^2] - b > 0 && -99 <= a <= -1) ||
((a | b | c) ∈ Integers && Sqrt[10000 - a^2] - b > 0 && 1 <= a <= 99) ||
((a | b | c) ∈ Integers && Sqrt[10000 - a^2] + b <= 0 && -99 <= a <= -1) ||
((a | b | c) ∈ Integers && Sqrt[10000 - a^2] + b <= 0 && 1 <= a <= 99) ||
... ] }, ... }
where I would expect something like
{{x $\rightarrow$ 3, y $\rightarrow$ 4, z $\rightarrow$ 5}, {x $\rightarrow$ 4, y $\rightarrow$ 3, z $\rightarrow$ 5}, {x $\rightarrow$ 5, y $\rightarrow$ 12, z $\rightarrow$ 13}...}
{{x -> 3, y -> 4, z -> 5}, {x -> 4, y -> 3, z -> 5}, {x -> 5, y -> 12, z -> 13},...}
What am I doing wrong?
