Closed ThomasBreuer closed 3 months ago
resolves #3885
use init whenever it is different from nothing (this differs from the documented behaviour for the Julia functions sum and prod)
init
nothing
sum
prod
extend the map_word method for PcGroupElem to SubPcGroupElem
map_word
PcGroupElem
SubPcGroupElem
add a special map_word method where the images are FinGenAbGroupElems, where evaluating means to add images instead of multiplying them
FinGenAbGroupElem
extend the tests
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 83.87%. Comparing base (09c52c1) to head (3464c5b). Report is 4 commits behind head on master.
09c52c1
3464c5b
resolves #3885
use
init
whenever it is different fromnothing
(this differs from the documented behaviour for the Julia functionssum
andprod
)extend the
map_word
method forPcGroupElem
toSubPcGroupElem
add a special
map_word
method where the images areFinGenAbGroupElem
s, where evaluating means to add images instead of multiplying themextend the tests