MinT - Best Known (17, 17+13, s)-Nets in Base 9

Best Known (17, 17+13, s)-Nets in Base 9

(17, 17+13, 232)-Net over F₉ — Constructive and digital

Digital (17, 30, 232)-net over F₉, using

trace code for nets [i] based on digital (2, 15, 116)-net over F₈₁, using
- net from sequence [i] based on digital (2, 115)-sequence over F₈₁, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₈₁ with g(F) = 2 and N(F) ≥ 116, using
    - a function field by SÃ©mirat [i]

(17, 17+13, 236)-Net over F₉ — Digital

Digital (17, 30, 236)-net over F₉, using

trace code for nets [i] based on digital (2, 15, 118)-net over F₈₁, using
- net from sequence [i] based on digital (2, 117)-sequence over F₈₁, using
  - Niederreiterâ€“Xing sequence constructionÂ II/III [i] based on function field F/F₈₁ with g(F) = 2 and N(F) ≥ 118, using
    - sharp bound on the number of rational points on curves with genus 2 [i]

(17, 17+13, 15318)-Net in Base 9 — Upper bound on s

There is no (17, 30, 15319)-net in base 9, because

1 times m-reduction [i] would yield (17, 29, 15319)-net in base 9, but
- the generalized Rao bound for nets shows that 9^mÂ â‰¥ 4711 320511 760782 031810 181969 > 9²⁹ [i]