diff --git a/experimental/ActionPolyRing/src/Types.jl b/experimental/ActionPolyRing/src/Types.jl index e95810300579..0cfb84c9c659 100644 --- a/experimental/ActionPolyRing/src/Types.jl +++ b/experimental/ActionPolyRing/src/Types.jl @@ -106,12 +106,6 @@ mutable struct DifferencePolyRingElem{T} <: ActionPolyRingElem{T} new{T}(upre, dpr, false, zeros(Int, length(upre))) end - function DifferencePolyRingElem{T}(dpr::DifferencePolyRing{T}, mpre::MPolyRingElem{T}) where {T} - upr = dpr.upoly_ring - @req upr.mpoly_ring === parent(mpre) "The parent does not match" - new{T}(upr(collect(coefficients(mpre)), collect(exponents(mpre))), dpr, false, zeros(Int, length(mpre))) - end - end ### Differential ### @@ -159,12 +153,6 @@ mutable struct DifferentialPolyRingElem{T} <: ActionPolyRingElem{T} new{T}(upre, dpr, false, zeros(Int, length(upre))) end - function DifferentialPolyRingElem{T}(dpr::DifferentialPolyRing{T}, mpre::MPolyRingElem{T}) where {T} - upr = dpr.upoly_ring - @req upr.mpoly_ring === parent(mpre) "The parent does not match" - new{T}(upr(collect(coefficients(mpre)), collect(exponents(mpre))), dpr, false, zeros(Int, length(mpre))) - end - end ############################################################################### diff --git a/experimental/ActionPolyRing/test/ActionPolyRing.jl b/experimental/ActionPolyRing/test/ActionPolyRing.jl index 4910402d3f86..fa177585fcc2 100644 --- a/experimental/ActionPolyRing/test/ActionPolyRing.jl +++ b/experimental/ActionPolyRing/test/ActionPolyRing.jl @@ -646,14 +646,10 @@ using Test g = (u1_010 - 2) * (u1 - u1_100 + 3) @test dpr(data(f)) == f @test dpr(data(f)) !== f - @test dpr(data(data(f))) == f - @test dpr(data(data(f))) !== f @test dpr(f) === f @test dpr(data(g)) == g @test dpr(data(g)) !== g - @test dpr(data(data(g))) == g - @test dpr(data(data(g))) !== g @test dpr(g) === g @test f == 2*u2_100*u1_100 - u3_111*u1_100 - 2*u2_100*u1 + u3_111*u1 - 6*u2_100 + 3*u3_111