1
|
5466 Views
|
1 Reply
|
2 Total Likes
View groups...
Share
Share this post:
GROUPS:

# Strange FindInstance output

Posted 10 years ago
 Want to solve eqn a =.; b =.; c =.; e =.; Solve[3 + 4 a + 4 a^2 + 4 b + 4 b^2 + 4 c + 4 c^2 == 3 (1 + 4 e + 4 e^2), {a, b, c, e}, Integers]  output gives 2 conditions {{e -> ConditionalExpression[-(1/2) - Sqrt[ 3 + 4 a + 4 a^2 + 4 b + 4 b^2 + 4 c + 4 c^2]/( 2 Sqrt[3]), ((a | b | c | e) \[Element] Integers && a >= 0) || ((a | b | c | e) \[Element] Integers && a <= -1)]}, {e -> ConditionalExpression[-(1/2) + Sqrt[ 3 + 4 a + 4 a^2 + 4 b + 4 b^2 + 4 c + 4 c^2]/( 2 Sqrt[3]), ((a | b | c | e) \[Element] Integers && a >= 0) || ((a | b | c | e) \[Element] Integers && a <= -1)]}}  when I consider the case where e is an odd integer a =.; b =.; c =.; e =.; FindInstance[ e == -(1/2) + Sqrt[3 + 4 a + 4 a^2 + 4 b + 4 b^2 + 4 c + 4 c^2]/( 2 Sqrt[3]) && Mod[e, 2] == 1 && a <= -1, {a, b, c, e}, Integers]  I get strange output {{a -> {{-2, 0, 0, 0}} + {0, 1, 1, 1}, b -> {{-2, 0, 0, 0}} + {0, 1, 1, 1}, c -> {{-2, 0, 0, 0}} + {0, 1, 1, 1}, e -> {{-2, 0, 0, 0}} + {0, 1, 1, 1}}}  What does this mean? How do you interpret the output? Any comments appreciated.
1 Reply
Sort By:
Posted 10 years ago
 Yes, strange result. Usually when I see something like that I look for syntactic oddities such as use of curly braces in a place where they might be unexpected. I see no indication of any such in this example. Reported in house for further investigation.
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments