Opened 10 years ago

Last modified 8 years ago

#12418 closed enhancement

adding Delsarte bound for codes — at Version 10

Reported by: dimpase Owned by: wdj
Priority: major Milestone: sage-5.12
Component: coding theory Keywords:
Cc: jpang, kini, wdj, ncohen, ppurka, ptrrsn_1 Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #12533 Stopgaps:

Status badges

Description (last modified by dimpase)

Delsarte bound for codes, aka Linear Programming bound, is easy to implement in Sage.

See the attached prototype implementation for details.

One obstacle for this to work well in big dimensions is a lack of arbitrary precision LP solver backend available in Sage. This is (almost - i.e. the corresponding ticket is still not 100% ready, as reviewers think) taken care of by #12533, which is a dependence for this ticket.

Change History (11)

comment:1 Changed 10 years ago by dimpase

Last edited 9 years ago by dimpase (previous) (diff)

comment:2 Changed 10 years ago by dimpase

  • Cc kini added

comment:3 Changed 10 years ago by dimpase

  • Cc wdj added

comment:4 Changed 10 years ago by dimpase

  • Cc ncohen added
  • Description modified (diff)

comment:5 Changed 10 years ago by ncohen

(GLPK can solve non-integer rational LP. It is not exposed, but may not be too hard either)

comment:6 Changed 10 years ago by dimpase

  • Cc ppurka added

comment:7 Changed 10 years ago by ppurka

The function named delsarte_bound should be renamed to something like delsarte_bound_hamming_space. This is so that in future other functions like delsarte_bound_johnson_space, delsarte_bound_permutation_space, etc can be added easily, without having inconsistencies in naming.

comment:8 Changed 10 years ago by dimpase

  • Cc ptrrsn_1 added

comment:9 Changed 10 years ago by dimpase

  • Description modified (diff)

comment:10 Changed 9 years ago by dimpase

  • Dependencies set to #12533
  • Description modified (diff)

Changed 9 years ago by dimpase

a prototype implementation

Note: See TracTickets for help on using tickets.