MaxExtraConditions

MaxExtraConditions

is an option to Solve and related functions that specifies how many extra equational conditions on continuous parameters to allow in solutions that are given.

Details

  • Solve gives generic solutions only. Solutions that are valid only when continuous parameters satisfy equations are removed. Additional solutions can be obtained by using nondefault settings for MaxExtraConditions.
  • The following settings can be used:
  • 0 (None)include solutions that require no equations on continuous parameters
    kinclude solutions that require up to k equations on continuous parameters
    Infinityinclude all solutions
    Allinclude all solutions and all conditions
    Automaticinclude solutions that require the minimal number of equations on continuous parameters
  • With the setting MaxExtraConditions->All, all conditions are included. Other settings will exclude inequations and NotElement conditions on continuous parameters.

Examples

open allclose all

Basic Examples  (1)

This system has no generic solutions:

This gives solutions that require the minimal number of equational conditions:

This gives solutions with arbitrary conditions on parameters:

You can specify the maximal number of equations on parameters to allow:

Scope  (2)

Equational conditions on discrete parameters are always allowed:

By default, Solve drops inequation conditions on continuous parameters:

With MaxExtraConditions->All, Solve includes all conditions:

Introduced in 2010
 (8.0)