Code

Clarify doc of init in map_word#4498

Code

Merged

joschmitt merged 3 commits intooscar-system:masteroscar-system/Oscar.jl:masterfrom TWiedemann:tw/map_word_init_docTWiedemann/Oscar.jl:tw/map_word_init_docCopy head branch name to clipboardJan 29, 2025

+29-11

Commits

Commits on Jan 24, 2025

• Clarify doc of init in map_word

  TWiedemann

  authored
  83585be

  Copy full SHA for 83585be

Commits on Jan 25, 2025

• Remove redundant ref in map_word(::PcGroupElem)

  TWiedemann

  authored
  344232c

  Copy full SHA for 344232c

Commits on Jan 28, 2025

• Fix type: imgs -> genimgs

  TWiedemann

  authored
  12f44b3

  Copy full SHA for 12f44b3