IntersectedSubring is a type of Subring produced by intersecting two subrings using the function intersect. The function intersect is the constructor for IntersectedSubring. Applying the function isFullIntersection to an instance $S$ of IntersectedSubring checks whether the generators of $S$ are guaranteed to generate the intersection of the original subrings.





The originalSubrings field lists the two subrings which were used to generate the intersection.
The object IntersectedSubring is a type, with ancestor classes Subring < HashTable < Thing.