namespace algebra.equations supports algebra.equations.linear # ------------------------------------------------------------- # Feedback feedback same = @ok feedback noteq = @incorrect feedback unknown = @ok feedback ok = {Well done!} feedback buggy = {@incorrect @recognized} feedback detour = @ok feedback hint = hint feedback step = Use @expected to rewrite the equation into: @after string incorrect = {This step is incorrect.} # ------------------------------------------------------------- # Rules text coverup.negate = {rule negate} text coverup.onevar.minus-left = {rule minus left} text coverup.onevar.minus-right = {rule minus right} text coverup.onevar.plus = {rule plus} text coverup.times = {rule times} text linear.distr-times = distribution multiplication text linear.flip = flip equation text linear.merge = merge similar terms text linear.norm-mixed = normalize mixed fraction text linear.norm-rational = normalize rational number text linear.remove-div = remove division text linear.var-left = variable to left # ------------------------------------------------------------- # Buggy rules text buggy.cancel-minus = Cancel terms on both sides, but terms have different signs. text buggy.distr-times-denom = Incorrect distribution of times over plus: one of the terms is a fraction, and the outer expression is multiplied by the fraction's denominator. text buggy.distr-times-plus = Distribution of times over plus: one term is not multiplied. text buggy.distr-times-plus-forget = Incorrect distribution of times over plus: one term is forgotten. text buggy.distr-times-plus-sign = Incorrect distribution of times over plus: changing sign of addition. text buggy.distr-times-too-many = Strange distribution of times over plus: a*(b+c)+d, where 'a' is also multiplied to d. text buggy.divide-negate = Dividing, but wrong sign. text buggy.divide-numdenom = Dividing both sides, but swapping numerator/denominator. text buggy.flip-negate-one-side = Negate terms on one side only. text buggy.minus-minus = Incorrect rewriting of a-(b-c): forgetting to change sign. text buggy.multiply-forget-one = Multiply the terms on both sides of the equation, but forget one. text buggy.multiply-one-side = Multiplication on one side of the equation only text buggy.negate-all = Negating all terms (on both sides of the equation, but forgetting one term. text buggy.negate-one-side = Negate terms on one side only. text buggy.plus = Moving a term from the left-hand side to the right-hand side (or the other way around), but forgetting to change the sign. text buggy.priority-times = Prioity of operators is changed, possibly by ignoring some parentheses.