WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター
LogicalExpand::eqf MainSolve::eqf Roots::eqf ToRules::eqf Solve::eqf Reduce::eqf Eliminate::eqf SolveAlways::eqf AlgebraicRules::eqf GroebnerBasis::eqf PolynomialReduce::eqf GroebnerBasis`DistributedTermsList::eqf System`Private`OldReduce::eqf

LogicalExpand::eqf MainSolve::eqf Roots::eqf ToRules::eqf Solve::eqf Reduce::eqf Eliminate::eqf SolveAlways::eqf AlgebraicRules::eqf GroebnerBasis::eqf PolynomialReduce::eqf GroebnerBasis`DistributedTermsList::eqf System`Private`OldReduce::eqf

詳細

  • このメッセージは，指摘された式に方程式が想定されている場合に表示される．
  • 方程式とは lhs==rhs またはEqual[lhs,rhs]という形式の式である．
  • Off[message]はメッセージが表示されないようにし，On[message] はメッセージが表示されるようにする．（例： Off[LogicalExpand::eqf]）

例題

例  (1)

多項式は，それ自体は方程式ではない：

この多項式がゼロに等しいと設定すると，方程式が入力できる：