"AlgebraicValue" (比較法)
詳細
- 代数解の比較法は,Solve,SolveValues,Fit,Reduce等の求解操作を行うことなく2つの式が等価であるなら両者が同等であるとみなす.
- 解答集と解答の値は,与えられたものと厳密に等しい値を保持するために,どちらもホールドされた式Hold[expr]として指定できる.値がホールドされている場合でも,代数関数(Solve並びにこれと同等の関数)以外の評価は,評価中に行われる.常に答をホールドすることが推奨される.
- "AlgebraicValue"の評価は,問題の中の変数を指定するための設定"OptionalResultName"を許容する:AssessmentFunction[key,<|"ComparisonMethod""AlgebraicValue","OptionalResultName"setting|>]
- 次は,setting のサポートされる値である.
-
var 送信された結果の変数 var を受け入れる False (デフォルト) ans として提供された答だけをマッチする True key から var を推測しようとする - "OptionalResultName"var を使うときは,以下の任意の形式が答 ans の正しい形として受け入れられる.
-
ans Hold[var=ans] Hold[var==ans] varans - 等式と不等式は解答集でサポートされている.同等である式はどれも正解であるとみなされる.
- 以下の表は,典型的な解答集について,"AlgebraicValue"とその他の比較法を比較したものである.
例題
すべて開く すべて閉じる例 (1)
代数問題のAssessmentFunctionを作成する:
スコープ (5)
このコードは代数解を求めるコードを含んでいるので正解にはならない:
正解か否かの評価の前にコードが評価されて正解が出ている場合は,正解となる:
結果の名前として変数 x を含む答の別の形を許容する評価を作成する:
許可されている代替形式が使用されている場合は,変数名が解答集から推測されることがある:
"AlgebraicForm"を使って,受容される答をより厳しく制限する:
アプリケーション (3)
複数の正解がある代数問題についてのQuestionObject を作成する:
幾何の問題のQuestionObjectを作成する:
値を見付けるのに役立つプロットを含む多項式解法問題を作成する."OptionalResultName" を設定すると,受け入れられる解答形式に柔軟性が生まれる:
特性と関係 (3)
代数とはみなされない操作の評価は,答がホールドされていても実行される:
値がホールドされているときは,大域定義が評価中に無視される:
変数がホールドされていないと,大域的定義が"OptionalResultName"に対して指定された名前と衝突することもある:
HoldまたはHoldPatternで変数を包み込んで大域的定義を無視する:
"AlgebraicValue"法では,Plusのように代数問題は解かない関数の評価が許容される:
考えられる問題 (1)
複数の変数について,Solveを使って解答集を作成する:
デフォルトの"ListAssessment"設定でAssessmentFunctionを作成すると,解答集の中の各リストが単一の答として扱われる:
"OptionalResultName"Trueと設定しても,変数名がない値は不正解になる:
代りに,"AllElementsOrderless"または"AllElementsOrdered"を"ListAssessment"設定として使って各部分値を個別に評価する:
解答集の個別の要素と答が別々にマッチされ,"OptionalResultName"設定は予想通りに動作する:
等号を含む解答を与える場合は,Holdを使って値の設定を防ぐ:
関連項目
AssessmentFunction QuestionObject Solve SolveValues Reduce
質問インターフェースタイプ: ShortAnswer MultipleShortAnswers