mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-11-13 05:00:27 +01:00
GroupRing.star -> GroupRings.star
This commit is contained in:
parent
4cb4d299de
commit
7ce52c6997
@ -120,7 +120,7 @@ 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)
|
||||
b = RG(1) + GroupRings.star(a)
|
||||
@test a*b == mul!(a,a,b)
|
||||
|
||||
@test isa(a/2, GroupRingElem)
|
||||
|
Loading…
Reference in New Issue
Block a user