Code

feat: add regular_character#3393

Code

Merged

fingolfin merged 6 commits intomasteroscar-system/Oscar.jl:masterfrom th/regoscar-system/Oscar.jl:th/regCopy head branch name to clipboardFeb 22, 2024

+51-2

Commits

Commits on Feb 20, 2024

• feat: add regular_character

  thofma

  committed
  1fe66c1

  Copy full SHA for 1fe66c1

• Update src/Groups/group_characters.jl

  thofma

  authored
  b0620f1

  Copy full SHA for b0620f1

• Update src/Groups/group_characters.jl

  thofma

  authored
  780430c

  Copy full SHA for 780430c

• Update docs/src/Groups/group_characters.md

  thofma

  authored
  e924a63

  Copy full SHA for e924a63

• Update src/Groups/group_characters.jl

  thofma

  authored
  0ca4853

  Copy full SHA for 0ca4853

Commits on Feb 22, 2024

• Update src/Groups/group_characters.jl

  fingolfin

  authored
  e670fe1

  Copy full SHA for e670fe1