| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Line has trailing spaces. | 22 |
| La ligne contient un caractère tabulation. | 22 |
| Commentaire javadoc manquant. | 23 |
| Balise javadoc @return manquante. | 33 |
| Balise javadoc @param manquante pour 'literals'. | 34 |
| Balise javadoc @param manquante pour 'coefs'. | 34 |
| Balise javadoc @param manquante pour 'moreThan'. | 35 |
| Balise javadoc @param manquante pour 'degree'. | 35 |
| Balise javadoc @throws manquante pour 'ContradictionException'. | 35 |