## STACK Documentation

Documentation home | Category index | Site map# Other answer tests

There are a small number of answer tests for specific situations.

### Sets

This test deals with equality of sets. The algebraic equivalence functions give very minimal feedback. This test is designed to give much more detailed feedback on what is and *is not* included in the student's answer. Hence, this essentially tells the student what is missing. This is kind of feedback is tedious to generate without this test.

The test simplifies both sets, and does a comparison based on the simplified versions. The comparison relies on `ev(..., simp, nouns)`

to undertake the simplification. If you need stronger simplification (e.g. trig) then you will need to add this to the arguments of the function first.

### Equiv and EquivFirstLast

These answer tests are used with equivalence reasoning. See the separate documentation.

### PropLogic

An answer test designed to deal with propositional logic. See the separate documentation.

Documentation home | Category index | Site map

The STACK documentation is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.