var group__group_Ring =
[
    [ "mult", "group__group-Ring.html#ga052d31c269a6a438cc8004c9ad1efdfa", null ],
    [ "one", "group__group-Ring.html#gadea531feb3b0a1c5c3d777f7ab45e932", null ],
    [ "power", "group__group-Ring.html#ga0ee3cff9ec646bcc7217f00ee6099b72", null ]
];