Checks if an ideal is a principal ideal of a ring.
The ring
The ideal
const Z6 = Chalkboard.abal.ring(Chalkboard.abal.Z(6), (a, b) => (a + b) % 6, (a, b) => (a * b) % 6, 0, 1, (a) => (6 - a) % 6);const ideal = Chalkboard.abal.principalIdeal(Z6, 2);const valid = Chalkboard.abal.isPrincipalIdeal(Z6, ideal); // Returns true Copy
const Z6 = Chalkboard.abal.ring(Chalkboard.abal.Z(6), (a, b) => (a + b) % 6, (a, b) => (a * b) % 6, 0, 1, (a) => (6 - a) % 6);const ideal = Chalkboard.abal.principalIdeal(Z6, 2);const valid = Chalkboard.abal.isPrincipalIdeal(Z6, ideal); // Returns true
Checks if an ideal is a principal ideal of a ring.