read H:

f4:=GF2xt({[1,0,1],[0,1,0]}$2,4,x,t):

lprint(f4):