Checks if two morphisms are exact (i.e. the image of the first morphism is equal to the kernel of the second morphism).
The first morphism
The second morphism
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const identity = Chalkboard.abal.idmorphism(Z4);const zero = Chalkboard.abal.endomorphism(Z4, () => 0);const valid = Chalkboard.abal.isExact(identity, zero); // Checks exactness at Z₄ Copy
const Z4 = Chalkboard.abal.group(Chalkboard.abal.Z(4), (a, b) => (a + b) % 4, 0, (a) => (4 - a) % 4);const identity = Chalkboard.abal.idmorphism(Z4);const zero = Chalkboard.abal.endomorphism(Z4, () => 0);const valid = Chalkboard.abal.isExact(identity, zero); // Checks exactness at Z₄
Checks if two morphisms are exact (i.e. the image of the first morphism is equal to the kernel of the second morphism).