Fix MagmaWith[One|Inverses] "no method found" errors#1798

Merged

ChrisJefferson merged 3 commits intogap-system:masterfrom gwhitney:fix/master/MagmaWith_NoMethod

Oct 26, 2017

+12-2

Commits on Oct 22, 2017

Correct MagmaWith{One|Inverses] 'no method found' error.
Glen Whitney
committed

Commits on Oct 23, 2017

Merge remote-tracking branch 'upstream/master' into fix/master/MagmaWith_NoMethod
Glen Whitney
committed

Commits on Oct 24, 2017

Add a test in tst/testbugfix that would have failed prior to fix
Glen Whitney
committed