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

sanity test mul!(a,a,b) == a*b

This commit is contained in:
kalmar 2017-07-11 16:18:11 +02:00
parent 51c638fd65
commit eba594b7a4

View File

@ -112,6 +112,9 @@ using Nemo
@test eltype(2.0*a) == typeof(2.0)
@test (2.0*a).coeffs == 2.0.*(a.coeffs)
b = RG(1) + GroupRing.star(a)
@test a*b == mul!(a,a,b)
@test isa(a/2, GroupRingElem)
@test eltype(a/2) == typeof(1/2)
@test (a/2).coeffs == 0.5*(a.coeffs)