Abel-Galois for any characteristic#83

Open

Tragicus wants to merge 15 commits intomath-comp:masterfrom

Commits on Oct 20, 2025

Abel-Galois for any characteristic

Quentin VERMANDE
authored and
Tragicus
committed
fix hornerE changing behaviour between mc versions

Quentin VERMANDE
authored and
Tragicus
committed
update on suggestions

Quentin VERMANDE
authored and
Tragicus
committed
byproducts

Quentin VERMANDE
authored and
Tragicus
committed
characteristic independant AbelGalois

Quentin VERMANDE
authored and
Tragicus
committed
comments

Quentin VERMANDE
authored and
Tragicus
committed
remove has_char0 hypotheses

Quentin VERMANDE
authored and
Tragicus
committed
cleanup

qvermande
authored and
Tragicus
committed
started cleaning temp

qvermande
authored and
Tragicus
committed
Simplifications

CohenCyril
authored and
Tragicus
committed
set -> pose

CohenCyril
authored and
Tragicus
committed
remove duplicate in map_gal; remove temp

qvermande
authored and
Tragicus
committed
refactoring

CohenCyril
authored and
Tragicus
committed
shortens a few lines and puts lemmas away

qvermande
authored and
Tragicus
committed

Commits on Oct 22, 2025

rebase
Tragicus
committed