diff --git a/Project.toml b/Project.toml index ef5161de2..276351642 100644 --- a/Project.toml +++ b/Project.toml @@ -29,8 +29,8 @@ Pidfile = "1.3" Pkg = "1.6" Random = "1.6" RandomExtensions = "0.4.2" -Singular_jll = "~404.000.100" +Singular_jll = "~404.000.504" Statistics = "1.6" julia = "1.6" lib4ti2_jll = "1.6.10" -libsingular_julia_jll = "~0.45.2" +libsingular_julia_jll = "~0.45.3" diff --git a/src/map/alghom.jl b/src/map/alghom.jl index e63213009..b572d55c7 100644 --- a/src/map/alghom.jl +++ b/src/map/alghom.jl @@ -39,7 +39,21 @@ function map_ideal(f::Map(SAlgHom), I::sideal) f.ptr, f.codomain.ptr, libSingular.ndCopyMap()) J = Ideal(f.codomain,ptr) - J.isGB = I.isGB + # compare the orderings of f.domain.ptr and f.codomain.ptr + domain_ord=Cint[] + libSingular.rOrdering_helper(domain_ord, f.domain.ptr) + codomain_ord=Cint[] + libSingular.rOrdering_helper(codomain_ord, f.codomain.ptr) + equal_ordering=true + for i in 1:size(domain_ord,1) + if domain_ord[i] != codomain_ord[i] + equal_ordering=false + break + end + end + if equal_ordering + J.isGB = I.isGB + end return J end