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