1
0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-28 02:40:28 +01:00

replace for loop of @test's by @test all(...)

This commit is contained in:
kalmar 2017-07-25 14:47:06 +02:00
parent 029de0194e
commit 0d3dad9c4d

View File

@ -73,9 +73,7 @@ using Nemo
@test isa(GroupRingElem(a, RG), GroupRingElem)
@test isa(RG(a), GroupRingElem)
for g in elements(G)
@test isa(RG(g), GroupRingElem)
end
@test all(isa(RG(g), GroupRingElem) for g in elements(G))
@test_throws String GroupRingElem([1,2,3], RG)
@test isa(RG(G([2,3,1])), GroupRingElem)