text: var group__group__rq__batched =
  [
      [ "gerqf: RQ factorization", "group__magma__gerqf__batched.html", null ],
      [ "or/unmrq: Multiply by Q from RQ factorization", "group__magma__unmrq__batched.html", null ],
      [ "or/ungrq: Generate    Q from RQ factorization", "group__magma__ungrq__batched.html", null ]
  ];