Fix format

Author: blegat

src/Bridges/Constraint/zero_polynomial_in_algebraic_set.jl

@@ -19,11 +19,7 @@ function MOI.Bridges.Constraint.bridge_constraint(
     ::Type{ZeroPolynomialInAlgebraicSetBridge{T,F,Z,DT,B}},
     model::MOI.ModelLike,
     f::MOI.AbstractVectorFunction,
-    s::PolyJuMP.ZeroPolynomialSet{
-        <:SS.AbstractAlgebraicSet,
-        Z,
-        B,
-    },
+    s::PolyJuMP.ZeroPolynomialSet{<:SS.AbstractAlgebraicSet,Z,B},
 ) where {T,F,Z,DT,B}
     p = MP.polynomial(MB.algebra_element(MOI.Utilities.scalarize(f), s.basis))
     # As `*(::MOI.ScalarAffineFunction{T}, ::S)` is only defined if `S == T`, we
@@ -65,14 +61,7 @@ end
 function MOI.Bridges.added_constraint_types(
     ::Type{<:ZeroPolynomialInAlgebraicSetBridge{T,F,Z,DT,B}},
 ) where {T,F,Z,DT,B}
-    return [(
-        F,
-        PolyJuMP.ZeroPolynomialSet{
-            SS.FullSpace,
-            Z,
-            B,
-        },
-    )]
+    return [(F, PolyJuMP.ZeroPolynomialSet{SS.FullSpace,Z,B})]
 end
 
 function MOI.Bridges.Constraint.concrete_bridge_type(
@@ -87,26 +76,15 @@ end
 # Attributes, Bridge acting as an model
 function MOI.get(
     ::ZeroPolynomialInAlgebraicSetBridge{T,F,Z,DT,B},
-    ::MOI.NumberOfConstraints{
-        F,
-        PolyJuMP.ZeroPolynomialSet{
-            SS.FullSpace,
-            Z,
-            B,
-        },
-    },
+    ::MOI.NumberOfConstraints{F,PolyJuMP.ZeroPolynomialSet{SS.FullSpace,Z,B}},
 ) where {T,F,Z,DT,B}
     return 1
 end
 function MOI.get(
     b::ZeroPolynomialInAlgebraicSetBridge{T,F,Z,DT,B},
     ::MOI.ListOfConstraintIndices{
         F,
-        PolyJuMP.ZeroPolynomialSet{
-            SS.FullSpace,
-            Z,
-            B,
-        },
+        PolyJuMP.ZeroPolynomialSet{SS.FullSpace,Z,B},
     },
 ) where {T,F,Z,DT,B}
     return [b.zero_constraint]

src/SAGE/SAGE.jl

@@ -41,7 +41,9 @@ struct Signomials{M<:Union{Nothing,Int,MP.AbstractMonomial}} <:
 end
 Signomials() = Signomials(nothing)
 _index(_, ::Nothing) = nothing
-_index(basis, mono::MP.AbstractMonomial) = SA.key_index(basis, MP.exponents(mono))::Int
+function _index(basis, mono::MP.AbstractMonomial)
+    return SA.key_index(basis, MP.exponents(mono))::Int
+end
 function JuMP.moi_set(c::Signomials, basis::MB.SubBasis{MB.Monomial})
     monos = MB.keys_as_monomials(basis)
     return Cone(Signomials(_index(basis, c.monomial)), _exponents_matrix(monos))

test/Tests/zero_polynomial.jl

@@ -53,16 +53,8 @@ function _zero_polynomial_test(
     F = MOI.VectorAffineFunction{Float64}
     full_basis_type = typeof(MB.FullBasis{MB.Monomial}(x))
     sub_basis_type = MB.explicit_basis_type(full_basis_type)
-    ST = PolyJuMP.ZeroPolynomialSet{
-        FullSpace,
-        full_basis_type,
-        sub_basis_type,
-    }
-    SP = PolyJuMP.ZeroPolynomialSet{
-        FullSpace,
-        full_basis_type,
-        sub_basis_type,
-    }
+    ST = PolyJuMP.ZeroPolynomialSet{FullSpace,full_basis_type,sub_basis_type}
+    SP = PolyJuMP.ZeroPolynomialSet{FullSpace,full_basis_type,sub_basis_type}
     @test Set(MOI.get(model, MOI.ListOfConstraintTypesPresent())) == Set([
         (MOI.VariableIndex, MOI.LessThan{Float64}),
         (F, SP),

test/Tests/zero_polynomial_in_algebraic_set.jl

@@ -59,11 +59,8 @@ function zero_polynomial_in_algebraic_set_test(
     @test MOI.get(model, MOI.ListOfConstraintTypesPresent()) ==
           [(MOI.VariableIndex, MOI.LessThan{Float64}), (F, S)]
     @testset "Delete" begin
-        ST = PolyJuMP.ZeroPolynomialSet{
-            FullSpace,
-            full_basis_type,
-            sub_basis_type,
-        }
+        ST =
+            PolyJuMP.ZeroPolynomialSet{FullSpace,full_basis_type,sub_basis_type}
         test_delete_bridge(model, cref, 2, ((F, MOI.Zeros, 0), (F, ST, 0)))
     end
 end

test/Tests/zero_polynomial_in_fixed_variables_set.jl

@@ -59,11 +59,8 @@ function zero_polynomial_in_fixed_variables_set_test(
     @test MOI.get(model, MOI.ListOfConstraintTypesPresent()) ==
           [(MOI.VariableIndex, MOI.LessThan{Float64}), (F, S)]
     @testset "Delete" begin
-        ST = PolyJuMP.ZeroPolynomialSet{
-            FullSpace,
-            full_basis_type,
-            sub_basis_type,
-        }
+        ST =
+            PolyJuMP.ZeroPolynomialSet{FullSpace,full_basis_type,sub_basis_type}
         test_delete_bridge(model, cref, 2, ((F, MOI.Zeros, 0), (F, ST, 0)))
     end
 end

test/constraint.jl

@@ -62,7 +62,8 @@ function _test_constraint(
     set = JuMP.moi_set(c)
     @test set isa S
     if set isa PolyJuMP.ZeroPolynomialSet
-        @test set.basis isa MB.SubBasis{MB.Monomial,typeof(MP.variables(set.basis))}
+        @test set.basis isa
+              MB.SubBasis{MB.Monomial,typeof(MP.variables(set.basis))}
     end
     if set isa PolyJuMP.PlusMinusSet
         set = set.set