initial set-up
first try of diagonalize
added test file
fixed isFunc and isInjFunc => diagonalization done
diagonalization questions answered