From 34f8fdde2ad7525867eff8fd383d15d340001048 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Sat, 25 May 2024 09:17:12 +0200 Subject: [PATCH] Fix format --- src/fix.jl | 5 ++++- src/variety.jl | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/fix.jl b/src/fix.jl index 9f3ead1..4969a1c 100644 --- a/src/fix.jl +++ b/src/fix.jl @@ -67,7 +67,10 @@ function Base.convert( end ideal(set::FixedVariablesSet, args...) = set.ideal -function MA.promote_operation(::typeof(ideal), ::Type{FixedVariablesSet{V,T,M}}) where {V,T,M} +function MA.promote_operation( + ::typeof(ideal), + ::Type{FixedVariablesSet{V,T,M}}, +) where {V,T,M} return FixedVariablesIdeal{V,T,M} end MP.variables(set::FixedVariablesSet) = MP.variables(set.ideal) diff --git a/src/variety.jl b/src/variety.jl index 92a59a4..28e685d 100644 --- a/src/variety.jl +++ b/src/variety.jl @@ -116,7 +116,10 @@ function projective_algebraic_set(p::Vector, args...) end ideal(V::AlgebraicSet) = V.I -function MA.promote_operation(::typeof(ideal), ::Type{<:AlgebraicSet{T,P,A}}) where {T,P,A} +function MA.promote_operation( + ::typeof(ideal), + ::Type{<:AlgebraicSet{T,P,A}}, +) where {T,P,A} return PolynomialIdeal{T,P,A} end