identity.cpp File Reference

#include <assert.h>
#include <quiz.h>
#include "simplify_utils.h"

Go to the source code of this file.

Functions
	QUIZ_CASE (poincare_identity_simple_term)
	QUIZ_CASE (poincare_identity_commutativity)

Function Documentation

QUIZ_CASE() [1/2]

QUIZ_CASE

(

poincare_identity_simple_term

)

Definition at line 5 of file identity.cpp.

QUIZ_CASE() [2/2]

QUIZ_CASE

(

poincare_identity_commutativity

)

Definition at line 31 of file identity.cpp.