1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 06:10:28 +01:00

groupring_mult -> mul

This commit is contained in:
kalmar 2017-06-07 00:22:06 +02:00
parent f6383eed7e
commit 5b49ae0ca0

View File

@ -13,7 +13,7 @@ end
function groupring_square(vect, elt)
zzz = zeros(eltype(vect), elt.coeffs)
zzz[1:length(vect)] = vect
return GroupRings.groupring_mult(zzz, zzz, parent(elt).pm)
return GroupRings.mul(zzz, zzz, parent(elt).pm)
end
function compute_SOS(sqrt_matrix, elt)