codes:= [ PowerStructure(CodeLinFld) | LinearCode, LinearCode ] ;