Message Boards Message Boards

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

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.

POSTED BY: Brett A Collins

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.

POSTED BY: Daniel Lichtblau
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract