Code

Abel-Galois for any characteristic#83

Code

Open

Tragicus wants to merge 15 commits intomath-comp:mastermath-comp/Abel:masterfrom

Tragicus:AGTragicus/Abel:AGCopy head branch name to clipboard

Commits

Commits on Feb 3, 2023

• Abel-Galois for any characteristic

  

  Quentin VERMANDE

  committed
  06ea22a

  Copy full SHA for 06ea22a

• fix hornerE changing behaviour between mc versions

  

  Quentin VERMANDE

  committed
  4ab6ab8

  Copy full SHA for 4ab6ab8

• update on suggestions

  

  Quentin VERMANDE

  committed
  6664b11

  Copy full SHA for 6664b11

Commits on Apr 21, 2023

• byproducts

  

  Quentin VERMANDE

  committed
  a57ab3e

  Copy full SHA for a57ab3e

• characteristic independant AbelGalois

  

  Quentin VERMANDE

  committed
  959f75d

  Copy full SHA for 959f75d

Commits on Apr 22, 2023

• comments

  

  Quentin VERMANDE

  committed
  e5b4036

  Copy full SHA for e5b4036

• remove has_char0 hypotheses

  

  Quentin VERMANDE

  committed
  4848812

  Copy full SHA for 4848812

Commits on Jun 8, 2023

• cleanup

  

  qvermande

  committed
  08606fc

  Copy full SHA for 08606fc

Commits on Jul 21, 2023

• Simplifications

  CohenCyril

  committed
  9a91e8a

  Copy full SHA for 9a91e8a

• set -> pose

  CohenCyril

  committed
  d46aedd

  Copy full SHA for d46aedd

• started cleaning temp

  

  qvermande

  committed
  77a6cf7

  Copy full SHA for 77a6cf7

• Merge branch 'AG' of github.com:Tragicus/Abel into AG

  

  qvermande

  committed
  49fd41e

  Copy full SHA for 49fd41e

Commits on Jul 25, 2023

• remove duplicate in map_gal; remove temp

  

  qvermande

  committed
  7dff68d

  Copy full SHA for 7dff68d

• refactoring

  CohenCyril

  committed
  e632d24

  Copy full SHA for e632d24

• shortens a few lines and puts lemmas away

  

  qvermande

  committed
  51af6b8

  Copy full SHA for 51af6b8