bend-osdev-gf

Releases (3)

• 0.1.2.0 invalid

  expected a package named bend-osdev-word64@0.1.1.1 on https://hub.bend-lang.com

  at bend-osdev-bytes@0.1.1.1/bytes.bend:12

  5 files do not load

  • LAWS.bend
  • PROOF.bend
  • check.bend
  • gf128.bend
  • package.bend
• 0.1.1.0 indexed
• 0.1.0.0 unindexed

Definitions (522)

proof_tab_cases.bend

• def gc.rs.log.bits.s000
• def gc.rs.log.bits
• def gc.rs.log

tables.bend

• type Gf8Tab
• def gf8tab.fill.expexp[i] for i from i0, n entries, with cur = gen^i0
• def gf8tab.fill.loglog[gen^i] = i for i from i0, n entries
• def Gf8Tab.exp_table
• def Gf8Tab.log_table
• def Gf8Tab.new
• def gf8tab.exp.fin
• def gf8tab.log.fin
• def Gf8Tab.expgen^i, for i below 510
• def Gf8Tab.logthe logarithm of a nonzero a (0 for a = 0)
• def gf8tab.two.idx
• def gf8tab.two.finexp[log x + log y + k], where k is 0 (multiplying) or 255 - 2 log y (dividing: log x + 255 - log y)
• def gf8tab.two.mid
• def gf8tab.two.pick
• def Gf8Tab.mula * b = exp[log a + log b], or 0 if either is 0
• def Gf8Tab.diva / b = exp[log a + 255 - log b], or 0 if either is 0 (as Gf8.div)
• def gf8tab.inv.fin
• def gf8tab.inv.pick
• def Gf8Tab.inva^-1 = exp[255 - log a], and the inverse of 0 is 0