var group__intr__gpvectorop__mul =
[
    [ "Advanced", "group__intr__gpvectorop__mul__adv.html", "group__intr__gpvectorop__mul__adv" ],
    [ "Simple", "group__intr__gpvectorop__mul__simple.html", "group__intr__gpvectorop__mul__simple" ]
];