Code

Dirichlet characters#180

Code

Merged

Bodigrim merged 70 commits intoBodigrim:masterBodigrim/arithmoi:masterfrom b-mehta:dirichlet-charactersb-mehta/arithmoi:dirichlet-charactersCopy head branch name to clipboardJan 13, 2020

+1,015-104

Commits

Commits on Sep 16, 2018

• Explicit import lists

  b-mehta

  committed
  8671d26

  Copy full SHA for 8671d26

• Generalise CRT and make canonical generators

  b-mehta

  committed
  7d18b11

  Copy full SHA for 7d18b11

• Fix crt underflow problems

  b-mehta

  committed
  3f2d307

  Copy full SHA for 3f2d307

• Initial testing

  b-mehta

  committed
  7bac8a4

  Copy full SHA for 7bac8a4

• Merge remote-tracking branch 'upstream/master' into dirichlet-characters

  b-mehta

  committed
  745b55a

  Copy full SHA for 745b55a

Commits on Sep 18, 2018

• Roots of unity

  b-mehta

  committed
  cce290e

  Copy full SHA for cce290e

Commits on Sep 20, 2018

• Dirichlet characters first draft

  b-mehta

  committed
  3858ec0

  Copy full SHA for 3858ec0

Commits on Sep 23, 2018

• Minor corrections

  b-mehta

  committed
  7fd007d

  Copy full SHA for 7fd007d

• Merge remote-tracking branch 'upstream/master' into dirichlet-characters

  b-mehta

  committed
  e3eabe0

  Copy full SHA for e3eabe0

• Fix merging problems

  b-mehta

  committed
  ee153ce

  Copy full SHA for ee153ce

Commits on Sep 30, 2018

• (WIP) More dirichlet characters functionality

  b-mehta

  committed
  beb5089

  Copy full SHA for beb5089

• Merge remote-tracking branch 'upstream/master' into dirichlet-characters

  b-mehta

  committed
  de36c10

  Copy full SHA for de36c10

• Cosmetic changes

  b-mehta

  committed
  3c4eeae

  Copy full SHA for 3c4eeae

Commits on Oct 1, 2018

• Added Bounded instance and generalise conversions

  b-mehta

  committed
  c744d33

  Copy full SHA for c744d33

• Renamed conversion functions

  b-mehta

  committed
  fffd85f

  Copy full SHA for fffd85f

• Better dirichlet character tests

  b-mehta

  committed
  7821514

  Copy full SHA for 7821514

Commits on Oct 2, 2018

• More sensible Eq and renamed trivial

  b-mehta

  committed
  11d21d7

  Copy full SHA for 11d21d7

• Handling of real dirichlet characters

  b-mehta

  committed
  542ef03

  Copy full SHA for 542ef03

• Added more dirichlet tests

  b-mehta

  committed
  bdc937a

  Copy full SHA for bdc937a

• Orthogonality relations and real tests

  b-mehta

  committed
  6bc0631

  Copy full SHA for 6bc0631

• No need for TypeLits.Mod

  b-mehta

  committed
  d65bc76

  Copy full SHA for d65bc76

Commits on Oct 3, 2018

• Induce dirichlet characters to higher moduli

  b-mehta

  committed
  ef6de1b

  Copy full SHA for ef6de1b

Commits on Dec 31, 2018

• Improved haddock for dirichlet characters

  b-mehta

  committed
  3b5a225

  Copy full SHA for 3b5a225

• Some better haddocks

  b-mehta

  committed
  6eb94ec

  Copy full SHA for 6eb94ec

• More sensible Eq and Enum instances for DChars

  b-mehta

  committed
  bacecd9

  Copy full SHA for bacecd9

• Bitshifts instead of powers and cosmetic changes

  b-mehta

  committed
  3ff5c40

  Copy full SHA for 3ff5c40

• Merge remote-tracking branch 'upstream/master' into dirichlet-characters

  b-mehta

  committed
  ed5ea39

  Copy full SHA for ed5ea39

Commits on Jan 2, 2019

• More internal documentation and haddocks

  b-mehta

  committed
  a37c42e

  Copy full SHA for a37c42e

Commits on Jan 4, 2019

• valid character checker

  b-mehta

  committed
  cca5728

  Copy full SHA for cca5728

Commits on Jan 5, 2019

• Avoid lots of recalculations for Enum instances

  b-mehta

  committed
  5a85062

  Copy full SHA for 5a85062

Commits on Jan 6, 2019

• Better jacobi (+tests), avoided some recalcuations

  b-mehta

  committed
  3e4deb0

  Copy full SHA for 3e4deb0

• simpler representation of characters

  b-mehta

  committed
  08a8f9d

  Copy full SHA for 08a8f9d

• Shuffle internals so we don't export discreteLogPP

  b-mehta

  committed
  c03ff05

  Copy full SHA for c03ff05

• Added allChars, and switched twoPowers to Int

  b-mehta

  committed
  94c407c

  Copy full SHA for 94c407c

• Dirichlet characters are a group

  b-mehta

  committed
  5a5aeb6

  Copy full SHA for 5a5aeb6

Commits on Jan 7, 2019

• Allow evaluating a dirichlet character everywhere at once

  b-mehta

  committed
  ef45de9

  Copy full SHA for ef45de9

Commits on Jan 8, 2019

• OrZero elsewhere and complete allEval

  b-mehta

  committed
  fd6d2bf

  Copy full SHA for fd6d2bf

Commits on Jan 9, 2019

• Remove bad primitive character and more haddocks

  b-mehta

  committed
  42f7b0d

  Copy full SHA for 42f7b0d

Commits on Jan 4, 2020

• Merge branch 'master' into dirichlet-characters

  b-mehta

  committed
  fefec45

  Copy full SHA for fefec45

Commits on Jan 5, 2020

• update to match new Mods

  b-mehta

  committed
  f34066c

  Copy full SHA for f34066c

• add a new test

  b-mehta

  committed
  6968f4a

  Copy full SHA for 6968f4a

• cosmetic changes and comments

  b-mehta

  committed
  97c5f3b

  Copy full SHA for 97c5f3b

• Start of tests fix [skip ci]

  b-mehta

  committed
  2c987ca

  Copy full SHA for 2c987ca

Commits on Jan 6, 2020

• Correct implementation of induced characters

  b-mehta

  committed
  ffb1537

  Copy full SHA for ffb1537

• Fix primitive testing

  b-mehta

  committed
  86923f6

  Copy full SHA for 86923f6

• Attempted bug fix

  b-mehta

  committed
  8fa7981

  Copy full SHA for 8fa7981

• attempted bug fix 2

  b-mehta

  committed
  1a347c1

  Copy full SHA for 1a347c1

• Misc fixups

  b-mehta

  committed
  864b88d

  Copy full SHA for 864b88d

Commits on Jan 9, 2020

• More primitive chars API and real eval test

  b-mehta

  committed
  e55efd4

  Copy full SHA for e55efd4

• remove a type application

  b-mehta

  committed
  0a29607

  Copy full SHA for 0a29607

• Use Monoid.Ap instead of OrZero

  b-mehta

  committed
  11ce7a4

  Copy full SHA for 11ce7a4

• Create internal module

  b-mehta

  committed
  57b2df0

  Copy full SHA for 57b2df0

• try again to get it to compile

  b-mehta

  committed
  ea781c5

  Copy full SHA for ea781c5

• try again again to get it to compile

  b-mehta

  committed
  c1bc03e

  Copy full SHA for c1bc03e

• try again again again to get it to compile

  b-mehta

  committed
  b7bd663

  Copy full SHA for b7bd663

• [skip ci] Clean up TODOs

  b-mehta

  committed
  4dffb79

  Copy full SHA for 4dffb79

Commits on Jan 10, 2020

• order test and remove comment

  b-mehta

  committed
  0a33949

  Copy full SHA for 0a33949

• Hlint suggestions

  b-mehta

  committed
  6b2db10

  Copy full SHA for 6b2db10

Commits on Jan 11, 2020

• Changes from review

  b-mehta

  committed
  58ed2c9

  Copy full SHA for 58ed2c9

• A bunch more tests

  b-mehta

  committed
  7be578e

  Copy full SHA for 7be578e

• restore applicative import

  b-mehta

  committed
  1a5c634

  Copy full SHA for 1a5c634

• changes from review

  b-mehta

  committed
  1a0ccb1

  Copy full SHA for 1a0ccb1

• Remove unnecessary definitions

  b-mehta

  committed
  2de6e06

  Copy full SHA for 2de6e06

• Other changes from review

  b-mehta

  committed
  7743a9f

  Copy full SHA for 7743a9f

• Change name to orZeroToNum

  b-mehta

  committed
  9574b4d

  Copy full SHA for 9574b4d

Commits on Jan 12, 2020

• construction from table

  b-mehta

  committed
  23ef877

  Copy full SHA for 23ef877

• simplify fromTable

  b-mehta

  committed
  9286cab

  Copy full SHA for 9286cab

• fix compile error

  b-mehta

  committed
  7066373

  Copy full SHA for 7066373

• Use inbuilt functions and add docs

  b-mehta

  committed
  dd57b43

  Copy full SHA for dd57b43

• remove redundant pragma

  b-mehta

  committed
  d71843c

  Copy full SHA for d71843c