Added a test that basis is non zero. Added a reverse in span to preserve order and make ideopotent.