WOLFRAM

Wolfram Language & System Documentation Center
Resolve::bddom FindInstance::bddom

Resolve::bddom FindInstance::bddom

Details

  • This message is generated when the domain specification in the indicated function does not have one of the expected values.
  • The domain specification is the second argument in Resolve and the third argument in FindInstance.
  • Off[message] switches off the message; On[message] switches it on. For example: Off[Resolve::bddom].

Examples

Basic Examples  (1)

Integer is not a valid domain specification:

Wolfram Language code: FindInstance[{x ^ 2 + y ^ 2 == 5, x > 0, y > 0}, {x, y}, Integer]

This shows a valid domain specification in FindInstance:

Wolfram Language code: FindInstance[{x ^ 2 + y ^ 2 == 5, x > 0, y > 0}, {x, y}, Integers]