ab|=basis