Faster class group computations using norm relations
Implementations
I Implementation in Julia (Nemo/Hecke) : general case.
I Implementation in gp : requires K to be Galois over Q, only
uses relations coming from abelian subgroups, only
computes the class group, possible infinite loop, but faster.
I Implementation in libpari : general case, TODO!