Code

Quasigroups#1330

Code

Draft

djspacewhale wants to merge 26 commits intoUniMath:masterUniMath/agda-unimath:masterfrom djspacewhale:quasigroupsdjspacewhale/agda-unimath:quasigroupsCopy head branch name to clipboard

+312

Commits

Commits on Nov 16, 2024

• changed apostrophes to breves in incidence algebras file

  djspacewhale

  committed
  37236bc

  Copy full SHA for 37236bc

Commits on Jan 20, 2025

• Merge branch 'master' of https://github.com/UniMath/agda-unimath

  Show description for ddca8ef
  djspacewhale

  committed
  ddca8ef

  Copy full SHA for ddca8ef

Commits on Jan 26, 2025

• Merge branch 'master' of https://github.com/UniMath/agda-unimath

  Show description for a92bed5
  djspacewhale

  committed
  a92bed5

  Copy full SHA for a92bed5

Commits on Jan 31, 2025

• Merge branch 'master' of https://github.com/UniMath/agda-unimath

  djspacewhale

  committed
  bf40188

  Copy full SHA for bf40188

Commits on Feb 8, 2025

• Merge branch 'master' of https://github.com/UniMath/agda-unimath

  djspacewhale

  committed
  1d9d150

  Copy full SHA for 1d9d150

Commits on Feb 9, 2025

• Merge branch 'master' of https://github.com/UniMath/agda-unimath

  Show description for 3b712f0
  djspacewhale

  committed
  3b712f0

  Copy full SHA for 3b712f0

Commits on Feb 15, 2025

• defined quasigroups, loops

  djspacewhale

  committed
  ab268fa

  Copy full SHA for ab268fa

• getting below the char limit per line

  djspacewhale

  committed
  b8996f9

  Copy full SHA for b8996f9

• Merge branch 'master' into quasigroups

  djspacewhale

  authored
  7e0d5b0

  Copy full SHA for 7e0d5b0

• Update src/quasigroups/loops.lagda.md

  Show description for df2a1b7
  

  djspacewhale

  and

  fredrik-bakke

  authored
  df2a1b7

  Copy full SHA for df2a1b7

• Update src/quasigroups/loops.lagda.md

  Show description for 857bed8
  

  djspacewhale

  and

  fredrik-bakke

  authored
  857bed8

  Copy full SHA for 857bed8

• Update src/quasigroups/loops.lagda.md

  Show description for bcd77b1
  

  djspacewhale

  and

  fredrik-bakke

  authored
  bcd77b1

  Copy full SHA for bcd77b1

• Update src/quasigroups/loops.lagda.md

  Show description for 97a5669
  

  djspacewhale

  and

  fredrik-bakke

  authored
  97a5669

  Copy full SHA for 97a5669

• Apply suggestions from code review

  Show description for 8e37ed8
  

  djspacewhale

  and

  fredrik-bakke

  authored
  8e37ed8

  Copy full SHA for 8e37ed8

• worked in style conventions

  djspacewhale

  committed
  f948c32

  Copy full SHA for f948c32

• moved files into group-theory namespace

  djspacewhale

  committed
  d060338

  Copy full SHA for d060338

• introducing new file for units in quasigroups

  djspacewhale

  committed
  f0ad5b9

  Copy full SHA for f0ad5b9

• introducing new files for left/right quasigroups

  djspacewhale

  committed
  23962b5

  Copy full SHA for 23962b5

• workinonit

  djspacewhale

  committed
  170a313

  Copy full SHA for 170a313

• removed old left/right quasigroup definitions in quasigroup concept

  djspacewhale

  committed
  f9777b6

  Copy full SHA for f9777b6

• workinonit

  djspacewhale

  committed
  c1e4699

  Copy full SHA for c1e4699

• ran pre-commit for cleaning things up. more manual labor to do, however

  djspacewhale

  committed
  14a7113

  Copy full SHA for 14a7113

Commits on Feb 16, 2025

• workinonit

  djspacewhale

  committed
  7dbe6de

  Copy full SHA for 7dbe6de

Commits on Feb 20, 2025

• will revisit; need to separate out units and rebuild

  djspacewhale

  committed
  fde2f63

  Copy full SHA for fde2f63

• equivalent type of quasigroups as set-magmas whose mul is a binary equivalence ("latin square laws")

  djspacewhale

  committed
  5cabefd

  Copy full SHA for 5cabefd

• will revisit...

  djspacewhale

  committed
  9eeb4ec

  Copy full SHA for 9eeb4ec