Code

Power series as valuation rings#1592

Code

Merged

thofma merged 8 commits intothofma:masterthofma/Hecke.jl:masterfrom joschmitt:js/powerseriesjoschmitt/Hecke.jl:js/powerseriesCopy head branch name to clipboardSep 5, 2024

+851-95

Commits

Commits on Sep 3, 2024

• Wrap power series in positive characteristic as valuation ring

  joschmitt

  committed
  1755d6b

  Copy full SHA for 1755d6b

• \meet is not a (standard?) LaTeX command

  joschmitt

  committed
  831ca9f

  Copy full SHA for 831ca9f

• Rework residue rings

  joschmitt

  committed
  d2c0ada

  Copy full SHA for d2c0ada

• Test residue rings of power series

  joschmitt

  committed
  f2dd393

  Copy full SHA for f2dd393

• Fix deepcopy

  joschmitt

  committed
  dd4969d

  Copy full SHA for dd4969d

• Don't print 'O' for residue ring elements

  joschmitt

  committed
  8f23f1b

  Copy full SHA for 8f23f1b

• Adjust uniformizer

  joschmitt

  committed
  fd0380c

  Copy full SHA for fd0380c

• Tests and fixes

  joschmitt

  committed
  f6c633b

  Copy full SHA for f6c633b