-mr}$.

Furthermore, some specific constructions of PMDS codes, for particular values of $s$ or of the $r_i$, are given in [@bl13; @bl14; @bl16; @go14]. In particular, a general construction for PMDS codes with $s=1$ was given in [@ht17]. This construction is based on the concatenation of several MDS codes as building blocks.

[@ht17 Corollary 14]

1.  For any integers $m\geq 2 $ and $\ell,r_1,\dots,r_m \geq 1$ there exists a $[n,k=m\ell-1, \ell; r_1,\dots,r_m]$-PMDS code over any field ${{\mathbb{F}}}_q$ with $q\geq \max_i\{r_i\}+\ell$.

2.  If there exists $h\in \mathbb N$ such that $\ell\in \{3,2^h-1\}$ and $\max_i \{r_i\} +\ell = 2^h+1$, then there exists a $[n,k=m\ell-1, \ell; r_1,\dots,r_m]$-PMDS code over ${{\mathbb{F}}}_q$ with $q=2^h= \max_i\{r_i\}+\ell -1$.

In [@ht17] the authors also show that this construction is basically the only one possible, i.e., every PMDS with $s=1$ is of this form, giving thus a characterization for this set of parameters. However, for $s\geq 2$ there is no characterization yet for PMDS codes.

Zarisky topology over finite fields
-----------------------------------

Let ${{\mathbb{F}}}$ be a field, and ${{\mathbb{F}}}[x_1,\ldots,x_N]$ be the polynomial ring over ${{\mathbb{F}}}$. Denote by $\bar{{{\mathbb{F}}}}$ the algebraic closure of ${{\mathbb{F}}}$. For a subset $S\subseteq {{\mathbb{F}}}[x_1,\ldots,x_N]$ we define the *algebraic set* $$V(S): = \{{\boldsymbol}\alpha \in \bar{{\mathbb{F}}}_q^r \mid f({\boldsymbol}\alpha) = 0, \forall f \in S\}.$$

The *
-mr}$. 

 Furthermore, some specific constructions of PMDS codes, for particular values of $ s$ or of the $ r_i$, are give in [ @bl13; @bl14; @bl16; @go14 ]. In especial, a general construction for PMDS codes with $ s=1 $ was yield in [ @ht17 ]. This construction is based on the chain of several MDS codes as building engine block. 

 [ @ht17 Corollary 14 ] 

 1.   For any integers $ m\geq 2 $ and $ \ell, r_1,\dots, r_m \geq 1 $ there exists a $ [ n, k = m\ell-1, \ell; r_1,\dots, r_m]$-PMDS code over any playing field $ { { \mathbb{F}}}_q$ with $ q\geq \max_i\{r_i\}+\ell$. 

 2.   If there exists $ h\in \mathbb N$ such that $ \ell\in \{3,2^h-1\}$ and $ \max_i \{r_i\ } + \ell = 2^h+1 $, then there exists a $ [ n, k = m\ell-1, \ell; r_1,\dots, r_m]$-PMDS code over $ { { \mathbb{F}}}_q$ with $ q=2^h= \max_i\{r_i\}+\ell -1$. 

 In [ @ht17 ] the generator besides show that this construction is basically the lone one possible, i.e., every PMDS with $ s=1 $ is of this form, contribute thus a characterization for this set of parameter. However, for $ s\geq 2 $ there is no characterization yet for PMDS codes. 

 Zarisky regional anatomy over finite fields 
 ----------------------------------- 

 get $ { { \mathbb{F}}}$ be a field, and $ { { \mathbb{F}}}[x_1,\ldots, x_N]$ be the polynomial ring over $ { { \mathbb{F}}}$. Denote by $ \bar{{{\mathbb{F}}}}$ the algebraic closure of $ { { \mathbb{F}}}$. For a subset $ S\subseteq { { \mathbb{F}}}[x_1,\ldots, x_N]$ we specify the * algebraic set * $ $ V(S ): = \{{\boldsymbol}\alpha \in \bar{{\mathbb{F}}}_q^r \mid f({\boldsymbol}\alpha) = 0, \forall f \in S\}.$$ 

 The *
-mr}$.

Fkrthermore, some specific constructions of PMDS codes, for pargicular values of $s$ or of thx $r_i$, are tiven in [@bl13; @bl14; @bl16; @go14]. Iv particupar, a geberao constructmkn for IIDS dldes xith $s=1$ was givek in [@ht17]. Thiv construction ir yased on the concatenation of severaj MDS cpdfs as building blobkf.

[@ht17 Dorollary 14]

1.  For any integers $m\geq 2 $ and $\enl,r_1,\dots,r_m \geq 1$ there exists a $[n,k=m\ell-1, \elp; r_1,\dlts,r_m]$-PMDS code oveg any field ${{\matrvb{F}}}_q$ with $q\gdq \max_i\{r_i\}+\ell$.

2.  If there exists $h\in \mathbb N$ such that $\dll\in \{3,2^h-1\}$ and $\max_u \{e_i\} +\fnl = 2^h+1$, then vhere vxists a $[n,k=m\ell-1, \ell; r_1,\gots,r_m]$-PKDS code over ${{\katibb{F}}}_w$ with $q=2^h= \max_i\{r_i\}+\ell -1$.

Ii [@ht17] the authors alsj show thdt this constructiob us bavicanly gye unlg pns posslblx, i.e., every LMDS with $s=1$ is of this form, gifigt thus a charzcterisaeion for this set of parameters. However, fod $s\geq 2$ there is no chaeacterization yet for PMDS codqs.

Zarisky topology over finite fields
-----------------------------------

Let ${{\mathbb{F}}}$ te a hidld, akd ${{\mxrhhb{F}}}[x_1,\ldots,x_N]$ be the polynomial ring over ${{\mathbf{R}}}$. Cekote by $\bar{{{\mathbn{F}}}}$ the algebraic ckodutg of ${{\mathbb{F}}}$. Fur a sbgsst $S\subseteq {{\mathbh{F}}}[x_1,\ldotf,x_N]$ ww define uhe *akgebraic set* $$V(S): = \{{\boldsymbol}\qlpha \in \bar{{\iqthbb{F}}}_q^r \mid f({\bolddymbol}\alpha) = 0, \fprall f \in S\}.$$

The *
-mr}$. Furthermore, some specific constructions of PMDS particular of $s$ of the $r_i$, @bl16; In particular, a construction for PMDS with $s=1$ was given in [@ht17]. construction is based on the concatenation of several MDS codes as building blocks. Corollary 14] 1. For any integers $m\geq 2 $ and $\ell,r_1,\dots,r_m \geq 1$ exists $[n,k=m\ell-1, r_1,\dots,r_m]$-PMDS over any field ${{\mathbb{F}}}_q$ with $q\geq \max_i\{r_i\}+\ell$. 2. If there exists $h\in \mathbb N$ such that \{3,2^h-1\}$ and $\max_i \{r_i\} +\ell = 2^h+1$, then exists a $[n,k=m\ell-1, \ell; code over ${{\mathbb{F}}}_q$ with $q=2^h= -1$. [@ht17] the also that construction is basically only one possible, i.e., every PMDS with $s=1$ is of this form, giving thus a characterization for set of for $s\geq there no yet for PMDS topology over finite fields ----------------------------------- Let field, and ${{\mathbb{F}}}[x_1,\ldots,x_N]$ be the polynomial ring over Denote by the algebraic closure of ${{\mathbb{F}}}$. For subset $S\subseteq {{\mathbb{F}}}[x_1,\ldots,x_N]$ we define the *algebraic set* = \{{\boldsymbol}\alpha \in \bar{{\mathbb{F}}}_q^r \mid f({\boldsymbol}\alpha) = 0, \forall f \in S\}.$$ The *
-mr}$.

Furthermore, some specific ConstructiOns of pMDs coDeS, for PartIcular values of $S$ Or of The $r_i$, are given in [@bl13; @bl14; @bl16; @gO14]. In paRtICulaR, A gEneraL constrUCtION foR PmDs coDeS WiTh $s=1$ waS giVen in [@ht17]. this constrUctIoN is based on thE CoNcatenatioN of Several MDS coDes As builDiNg bLOcks.

[@hT17 CoRollaRy 14]

1.  For aNY integErs $m\geq 2 $ anD $\eLL,r_1,\dots,R_M \geq 1$ theRE ExIsts A $[n,k=m\ell-1, \ell; r_1,\dots,r_m]$-pmDs Code over any fieLd ${{\mathBb{f}}}_Q$ wITH $q\gEq \mAx_i\{r_i\}+\ell$.

2.  If ThEre exISts $h\in \mAThBB n$ SucH That $\ell\in \{3,2^h-1\}$ and $\Max_i \{r_i\} +\ell = 2^h+1$, tHEn tHere exIsTs a $[N,K=m\ell-1, \eLl; r_1,\doTs,R_M]$-PMdS code over ${{\mAthbB{F}}}_q$ with $q=2^h= \Max_i\{r_i\}+\ELl -1$.

In [@ht17] tHE authorS also sHow ThaT thiS CoNsTruCtIOn iS BaSicALly The only oNe PoSsiblE, i.e., eVERY pMDS WitH $s=1$ is Of thiS form, giving thUs a CharACteRizatIon foR thiS sEt of pArametErs. HoWeVer, for $s\geq 2$ there Is no CharacterIzaTiOn yEt For PMds codes.

zarIskY topoloGy over fINitE fIELDs
-----------------------------------

let ${{\mathbb{F}}}$ be a field, AnD ${{\MAtHbb{F}}}[x_1,\ldoTs,x_N]$ be THe PoLYnomial rInG ovEr ${{\maTHBb{F}}}$. DeNote BY $\bAr{{{\mathbb{f}}}}$ the alGEbRaIc closuRe Of ${{\mathBb{f}}}$. FoR a sUbset $s\SubsEteq {{\maThbb{F}}}[x_1,\ldOts,x_N]$ WE define the *algeBRaic set* $$V(S): = \{{\boldSYmBOL}\aLPha \iN \baR{{\mathbb{F}}}_q^r \mId f({\bOLdsyMbol}\ALpHa) = 0, \fORall f \In S\}.$$

ThE *
-mr}$.

Furthermore, somespecific c onstr uct ion sof P MDScodes, for par t icul ar values of $s$ or of  the$r _ i$,a re  give n in [@ b l1 3 ;  @b l1 4;  @b l1 6 ;@go14 ].In part icular, agen er al construct i on  for PMDScod es with $s=1 $ w as giv en  in [@ht1 7].  This  const r uction  is based  o n  the c o ncatena t i on  ofseveral MDS codes as building block s.

[@ ht 1 7C o rol lar y 14]

1. F or an y  intege r s$ m \ geq 2 $ and $\ell ,r_1,\dots, r _m\geq 1 $the r e exis ts a$[ n ,k= m\ell-1, \e ll;r_1,\dots ,r_m]$ - PMDS co d e overany fi eld  ${ {\ma t hb b{ F}} }_ q $ w i th  $q \ geq  \max_i\ {r _i \}+\e ll$. 2 .   If  th ereexist s $h\in \math bbN$ s u chthat$\ell \in\{ 3,2^h -1\}$and $ \m ax_i \{r_i\} +\ ell= 2^h+1$,  th en  th er e exi s ts a $ [n, k=m \ell-1,  \ell;r _1, \d o t s ,r _m]$-PMDS code ove r$ { {\ mathbb{F }}}_q$ wi th $q=2^h=\m ax_ i\{r _ i \}+\e ll - 1 $. 

In [@h t17] t h eau thors a ls o show  t hat  th is co n stru ctionis basic allyt he only one po s sible, i.e.,e ve r y  P M DS w ith  $s=1$ is o f th i s fo rm,g iv ing thusa cha ra c te r ization for this se tof par amete rs. However,for $s\geq 2 $  there i s no ch a racterizationyet f or PMDS co d es.

Zar iskytopology  over fin i t e fields 
-- --- --- --- - - -- ------------- - - ---- -
Let ${ {\m athbb{F }}} $ b e a  fi el d, and ${ {\mathbb {F }} }[ x_ 1,\ ldots , x_N]$ be  t hepo lyn omial ring o ver $ {{\m at hb b {F} }}$. De n ot e by $ \b ar {{{\ mat hb b{F}} }}$t healgebra ic closur e o f  ${{ \m at hbb{F}} }$. For a sub se t $S\subse te q { {\math b b {F}}}[x_ 1,\ldots,x_N]$ we defin e  the *a lge braic  set * $$V(S):  =\{{\bo lds y mbol}\ alpha\in \ ba r{{ \ m athbb { F }} }_q ^r  \mid f({\ b o lds ymbol }\ alph a) = 0,  \forall f \in S\} . $$
The *
-mr}$.

Furthermore, some_specific constructions_of PMDS codes, for_particular values_of_$s$ or_of_the $r_i$, are_given in [@bl13;_@bl14; @bl16; @go14]. In_particular, a general_construction_for PMDS codes with $s=1$ was given in [@ht17]. This construction is based on_the_concatenation of_several_MDS_codes as building blocks.

[@ht17 Corollary_14]

1.  For any integers_$m\geq 2_$ and $\ell,r_1,\dots,r_m \geq 1$ there exists a_$[n,k=m\ell-1,_\ell; r_1,\dots,r_m]$-PMDS code_over any field ${{\mathbb{F}}}_q$ with $q\geq \max_i\{r_i\}+\ell$.

2.  If_there exists $h\in \mathbb N$ such_that $\ell\in \{3,2^h-1\}$_and_$\max_i_\{r_i\} +\ell = 2^h+1$,_then there exists a $[n,k=m\ell-1, \ell;_r_1,\dots,r_m]$-PMDS code over ${{\mathbb{F}}}_q$ with $q=2^h=_\max_i\{r_i\}+\ell -1$.

In [@ht17] the authors also show_that this construction is basically the_only one possible, i.e., every_PMDS with_$s=1$ is of this form,_giving thus a_characterization for_this set of_parameters. However, for $s\geq 2$ there_is no characterization_yet for PMDS codes.

Zarisky topology over_finite_fields
-----------------------------------

Let ${{\mathbb{F}}}$ be_a_field,_and ${{\mathbb{F}}}[x_1,\ldots,x_N]$_be the polynomial_ring_over ${{\mathbb{F}}}$._Denote_by $\bar{{{\mathbb{F}}}}$ the algebraic closure of_${{\mathbb{F}}}$._For a subset $S\subseteq {{\mathbb{F}}}[x_1,\ldots,x_N]$ we define_the *algebraic set* $$V(S):_=_\{{\boldsymbol}\alpha \in \bar{{\mathbb{F}}}_q^r \mid_f({\boldsymbol}\alpha) = 0, \forall f_\in S\}.$$

The *