IsGriesmerCode( code )
IsGriesmerCode
returns true
if code, which must be a linear code,
is Griesmer code, and false
otherwise.
A code is called Griesmer if its length satisfies n = g[k,d] = sum_i=0^k-1 lceil fracdq^i rceil.
gap> IsGriesmerCode( HammingCode( 3, GF(2) ) ); true gap> IsGriesmerCode( BCHCode( 17, 2, GF(2) ) ); false
GAP 3.4.4