kalmar/GroupRings.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-29 11:00:28 +01:00
Code Issues Releases Wiki Activity

test updates for the new constructor of GroupRings

Browse Source
This commit is contained in:
kalmar 2017-07-19 23:01:53 +02:00
parent afac7de06d
commit 2763a9c9cc
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
test/runtests.jl
View File

@ -10,14 +10,16 @@ using Nemo
@test isa(GroupRing(G), Nemo.Ring) @test isa(GroupRing(G), Nemo.Ring)
@test isa(GroupRing(G), GroupRing) @test isa(GroupRing(G), GroupRing)
RG = GroupRing(G, initialise=false) RG = GroupRing(G, init=false)
@test isdefined(RG, :pm) == false @test isdefined(RG, :basis) == true
@test isdefined(RG, :basis) == false
@test isdefined(RG, :basis_dict) == false
@test isa(complete(RG), GroupRing)
@test size(RG.pm) == (6,6)
@test length(RG.basis) == 6 @test length(RG.basis) == 6
@test isdefined(RG, :basis_dict) == true
@test isdefined(RG, :pm) == true
@test RG.pm == zeros(Int, (6,6))
@test isa(complete!(RG), GroupRing)
@test all(RG.pm .> 0)
@test RG.pm == GroupRing(G, init=true).pm
@test RG.basis_dict == GroupRings.reverse_dict(elements(G)) @test RG.basis_dict == GroupRings.reverse_dict(elements(G))
@ -63,7 +65,7 @@ using Nemo
@testset "GroupRingElems constructors/basic manipulation" begin @testset "GroupRingElems constructors/basic manipulation" begin
G = PermutationGroup(3) G = PermutationGroup(3)
RG = GroupRing(G, initialise=true) RG = GroupRing(G, init=true)
a = rand(6) a = rand(6)
@test isa(GroupRingElem(a, RG), GroupRingElem) @test isa(GroupRingElem(a, RG), GroupRingElem)
@test isa(RG(a), GroupRingElem) @test isa(RG(a), GroupRingElem)