Use import as syntax

[codecov[bot]]

Codecov Report

Patch coverage: 85.91% and no project coverage change.

Comparison is base (530ba09) 78.52% compared to head (0b6a8fc) 78.52%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #280 +/- ## ======================================= Coverage 78.52% 78.52% ======================================= Files 36 36 Lines 1802 1802 ======================================= Hits 1415 1415 Misses 387 387 ``` | [Impacted Files](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | Coverage Δ | | |---|---|---| | [src/Bridges/Constraint/Constraint.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9Db25zdHJhaW50Lmps) | `0.00% <ø> (ø)` | | | [...c/Bridges/Constraint/scaled\_diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9zY2FsZWRfZGlhZ29uYWxseV9kb21pbmFudC5qbA==) | `0.00% <0.00%> (ø)` | | | [src/Certificate/Certificate.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL0NlcnRpZmljYXRlLmps) | `98.71% <ø> (ø)` | | | [src/Certificate/Sparsity/Sparsity.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0NlcnRpZmljYXRlL1NwYXJzaXR5L1NwYXJzaXR5Lmps) | `100.00% <ø> (ø)` | | | [src/SumOfSquares.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL1N1bU9mU3F1YXJlcy5qbA==) | `88.88% <ø> (ø)` | | | [src/sos\_polynomial.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL3Nvc19wb2x5bm9taWFsLmps) | `84.44% <ø> (ø)` | | | [src/utilities.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL3V0aWxpdGllcy5qbA==) | `58.33% <ø> (ø)` | | | [src/Bridges/Constraint/psd2x2.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9wc2QyeDIuamw=) | `42.30% <66.66%> (ø)` | | | [src/Bridges/Constraint/empty.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9lbXB0eS5qbA==) | `57.14% <75.00%> (ø)` | | | [src/Bridges/Constraint/diagonally\_dominant.jl](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev#diff-c3JjL0JyaWRnZXMvQ29uc3RyYWludC9kaWFnb25hbGx5X2RvbWluYW50Lmps) | `91.58% <100.00%> (ø)` | | | ... and [5 more](https://codecov.io/gh/jump-dev/SumOfSquares.jl/pull/280?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev) | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=jump-dev)

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.