The trace operator and redundancy of Goppa codes | IEEE Journals & Magazine | IEEE Xplore