I want to generate a left O-ideal in quaternion algebra given the norm N and a generator \alpha. But it seems that it is wrong to direct use I = ON + O\alpha.
1 | initial version |
I want to generate a left O-ideal in quaternion algebra given the norm N and a generator \alpha. But it seems that it is wrong to direct use I = ON + O\alpha.