III.D24 — Boundary Normal Form

Every element of ℤ/Prim(k)ℤ[j] has unique normal form a·e₊ + b·e₋ where a is B-supported and b is C-supported. Computable, respects ring operations.