1var group__group_EuclideanRing = 2[ 3 [ "div", "group__group-EuclideanRing.html#ga4225a7988ce98903228913dde53762df", null ], 4 [ "mod", "group__group-EuclideanRing.html#ga9b47b223d5b02db933b3c93b5bd1a062", null ] 5];
1var group__group_EuclideanRing = 2[ 3 [ "div", "group__group-EuclideanRing.html#ga4225a7988ce98903228913dde53762df", null ], 4 [ "mod", "group__group-EuclideanRing.html#ga9b47b223d5b02db933b3c93b5bd1a062", null ] 5];