This evaluation type is used to compare the student’s answer with the expression in the Definition field. It is quite similar to the evaluation type eval normal (which I suggest reading about first), except eval exact uses fewer simplification rules before comparison than eval normal does.
Where eval normal checks if
is(radcan(student’s answer)-radcan(definition field)=0) evaluates to true, the evaluation type eval exact checks if
is(student’s answer - definition field=0) evaluates to true. Documentation on the Maxima function
is(expr) can be found here.
The fastest way to check if two expressions are considered equal by the function
is(expr) is to check this using a Maxima interface (for example wxMaxima). Examples:
❗ Note that this evaluation type does not have automated feedback.
Manually adjusting the level of simplification before comparison
Using simplification flags, we can adjust the level of simplification that is done to the student’s answer before it is compared to the expression in the Definition field. Below, we list some simplification flags that might be useful and we explain how to use them.
expop (default: 0)
expopis the highest positive exponent which is automatically expanded. Thus (x + 1)^3 will be automatically expanded only if
expopis greater than or equal to 3. For example, rule 2 will not evaluate a^2+2ab+b^2 to true, but rule 3 will.
expon (default: 0)
exponis the exponent of the largest negative power which is automatically expanded. For example, if
expon:4then (x+1)^(-5) will not be automatically expanded.
logexpand (default: true)
logexpand:true, then log(a^b) becomes b*log(a). If
logexpand:all, log(a*b) will also simplify to log(a)+log(b). If
logexpand:super, then log(a/b) will also simplify to log(a)-log(b) for rational numbers a/b, a#1. (log(1/b), for integer b, always simplifies.) If
logexpand:false, all of these simplifications will be turned off.
triginverses (default: true)
triginversescontrols the simplification of the composition of trigonometric and hyperbolic functions with their inverse functions. If
triginverses:all, both e.g. atan(tan(x)) and tan(atan(x)) simplify to x. If
triginverses:true, the arcfun(fun(x)) simplification is turned off. If
triginverses:false, both the arcfun(fun(x)) and fun(arcfun(x)) simplifications are turned off.
trigsign (default: true)
trigsign:true, it permits simplification of negative arguments to trigonometric functions. E.g., sin(-x) will become -sin(x) only if
simp (default: true)
simp:false, all simplification is turned off and all other specified flags in this Definition field are ignored. Keep in mind that absolutely nothing is simplified. For example, the rule
will only evaluate a+b to true, but not b+a. Moreover,
will only evaluate 2*(a*b) to true, but not 2*a*b.
For this reason, we advise not to use
simp:false in a solution definition.
More simplification flags can be found in Maxima documentation (look for “Option variable” in the Maxima documentation).
Multiple flags can be used in the same Definition field (with the exception of
simp:false), like below:
Moreover, make sure that every item is separated by commas and that there are brackets around the whole expression in the Definition field. The mathematical expression should be the last one.
More on evaluation types