search

gap-packages / wedderga

Wedderburn Decomposition of Group Algebras
https://gap-packages.github.io/wedderga/
GNU General Public License v2.0
3 stars 6 forks source link

Adjust manual examples to new output #71

Closed olexandr-konovalov closed 4 years ago

olexandr-konovalov commented 4 years ago

The output changed due to improvements made in PR #64.

codecov[bot] commented 4 years ago

Codecov Report

Merging #71 into divalg will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           divalg      #71   +/-   ##
=======================================
  Coverage   79.35%   79.35%           
=======================================
  Files          11       11           
  Lines        5342     5342           
=======================================
  Hits         4239     4239           
  Misses       1103     1103
olexandr-konovalov commented 4 years ago

All examples now work - waiting for the final confirmation that all new outputs changes are correct.

angeldelriomateos commented 4 years ago

All examples now work - waiting for the final confirmation that all new outputs changes are correct.

I verified manuall all the differences and all of them are correct and have a mathematical reason behind. Most of them are cyclic algebras of the form [n,F,m,[k,l,0]] which have been replaced by [n,F]. The only one which is not of this form is of the form [n,NF(8,[1,3]],8,[2,3,4]) replaced by [n,F]. This is correct because the crossed product part of this algebra represent a quaternion algebra (-1,-1/Q(sqrt{-2}). This is a split algebra because 1^2+\sqrt{-2}^2=-1.