Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Test report

Tests237
Errors0
Warnings0
Time0.188978s
Rating

Suites

Tests

Exercise algebra.inequalities.quadratic (tests: 237, errors: 0, warnings: 0, 0.18897s)
Examples (tests: 234, errors: 0, warnings: 0, 0.170731s)
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   start term is suitable
   start term is not ready
   final term is suitable
   final term is ready
   parser/pretty-printer
   equivalences
   no similar steps
   self similarity
   parameters
   exercise terms defined
   equivalence implemented
   similarity implemented