Ferinko/rebased rs codes r#12

Open

Ferinko wants to merge 11 commits intoFerinko/rebasedfrom

Ferinko/rebasedRSCodesR

Commits on May 9, 2025

divergence of sets - final version

katyhr
authored and
Ferinko
committed
Interleaved Codes - final version

katyhr
authored and
Ferinko
committed
preliminary notions

katyhr
authored and
Ferinko
committed
preliminary notions, minor edits

katyhr
authored and
Ferinko
committed
Proposed generalisation for RS codes defn: from a field F to a semiring F

katyhr
authored and
Ferinko
committed
relative Hamming dist - final

katyhr
authored and
Ferinko
committed
linear codes defs and lemmas

katyhr
authored and
Ferinko
committed
Cleanup RS lemmas, introduce auxiliary lemmas and definitions.
Ferinko
committed
minDist - basic proof sketch
Ferinko
committed
auxiliary lemmas and definitions, clenup proofs
Ferinko
committed
minor cleanup
Ferinko
committed