Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

While answering Trouble getting FindInstance to return multiple results for certain constraints it became clear that for this problem FindInstance would be better starting with small numbers, but it does not.

The function has the Method option:

Options[FindInstance, Method]   (*  Out: {Method -> Automatic}  *)

Yet, I cannot find documentation for the methods (and methods sub-options) that it accepts.

  • What Method values does FindInstance accept?
  • Will any of them scan an Integer search space small-values first?
share|improve this question
A perusal of ??System`InstanceDump`* might provide a few clues, I think. –  Guess who it is. Jun 14 '12 at 12:43
Related> Here there are a few options for FindInstance[] mentioned reference.wolfram.com/mathematica/tutorial/… –  belisarius Jun 14 '12 at 12:59
@J.M. that command yields Information::nomatch: No symbol matching System`InstanceDump`* found. >> on my system. –  Mr.Wizard Jun 14 '12 at 13:13
@belisarius I see the low-level (and wide effect) SystemOptions, but not Method options. Am I overlooking something? –  Mr.Wizard Jun 14 '12 at 13:13
Ech, I keep forgetting that you're on version seven... –  Guess who it is. Jun 14 '12 at 13:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.