From ba70fc1c2d0df1f427d6851d5c127b9fe51c9666 Mon Sep 17 00:00:00 2001 From: Sasha Demin Date: Sun, 22 Sep 2024 01:00:43 +0200 Subject: [PATCH] format --- src/monomials/orderings.jl | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/src/monomials/orderings.jl b/src/monomials/orderings.jl index 1c50a05b..d599d61a 100644 --- a/src/monomials/orderings.jl +++ b/src/monomials/orderings.jl @@ -344,16 +344,20 @@ function map_variables(vars, varmap) # Fallback to string representation varmap_str = Dict(string(k) => v for (k, v) in varmap) vars_str = map(string, vars) - !isempty(setdiff(vars_str, collect(keys(varmap_str)))) && throw(DomainError("Invalid monomial ordering.")) + !isempty(setdiff(vars_str, collect(keys(varmap_str)))) && + throw(DomainError("Invalid monomial ordering.")) return map(v -> varmap_str[v], vars_str) end map(v -> varmap[v], vars) end ordering_transform(ord::InputOrdering, varmap::AbstractDict) = InputOrdering() -ordering_transform(ord::Lex, varmap::AbstractDict) = Lex(map_variables(ordering_variables(ord), varmap)) -ordering_transform(ord::DegLex, varmap::AbstractDict) = DegLex(map_variables(ordering_variables(ord), varmap)) -ordering_transform(ord::DegRevLex, varmap::AbstractDict) = DegRevLex(map_variables(ordering_variables(ord), varmap)) +ordering_transform(ord::Lex, varmap::AbstractDict) = + Lex(map_variables(ordering_variables(ord), varmap)) +ordering_transform(ord::DegLex, varmap::AbstractDict) = + DegLex(map_variables(ordering_variables(ord), varmap)) +ordering_transform(ord::DegRevLex, varmap::AbstractDict) = + DegRevLex(map_variables(ordering_variables(ord), varmap)) function ordering_transform(ord::WeightedOrdering, varmap::AbstractDict) WeightedOrdering(Dict(map_variables(ordering_variables(ord), varmap) .=> ord.weights))