added better equality testing for FEniCS basis