sage: J.one()
b0 + b5
sage: J.one().to_matrix()
- [1 0 0 0 0 0 0 0]
- [0 1 0 0 0 0 0 0]
- [0 0 1 0 0 0 0 0]
- [0 0 0 1 0 0 0 0]
- [0 0 0 0 1 0 0 0]
- [0 0 0 0 0 1 0 0]
- [0 0 0 0 0 0 1 0]
- [0 0 0 0 0 0 0 1]
+ +---+---+
+ | 1 | 0 |
+ +---+---+
+ | 0 | 1 |
+ +---+---+
This also works in Cartesian product algebras::