File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -9,10 +9,10 @@ There is a linear relation `Σ = A(S)`.
9
9
The linear relation reads: `p` belongs to `Σ` iff there exists `q` in `S` such that `A(q) = p`.
10
10
This allows defining a variable bridge that would create variables `p` and substitute `A(q)` for `p` but this is not the purpose of this bridge.
11
11
This bridge exploit the following alternative read:
12
- `p` belongs to `Σ` iff there exists `q` in `S` such that ``q in A^{-1}(p)`` where `A^{-1}` is the preimage of `p`.
13
- This preimage can be obtained as `A^\\ dagger p + \\ mathrm{ker}(A)` where `A^\\ dagger` is the pseudo-inverse of `A`.
12
+ `p` belongs to `Σ` iff there exists `q` in `S` such that ``q \\ in A^{-1}(p)`` where `` A^{-1}` ` is the preimage of `p`.
13
+ This preimage can be obtained as `` A^\\ dagger p + \\ mathrm{ker}(A)`` where `` A^\\ dagger` ` is the pseudo-inverse of `A`.
14
14
It turns out that for polynomial bases indexed by monomials, `A` is close to row echelon form so
15
- `A^\\ dagger` and `\\ mathrm{ker}(A)` can easily be obtained.
15
+ `` A^\\ dagger`` and `` \\ mathrm{ker}(A)` ` can easily be obtained.
16
16
17
17
This is best described in an example.
18
18
Consider the SOS constraint for the polynomial `p = 2x^4 + 2x^3 * y - x^2 * y^2 + 5y^4`
You can’t perform that action at this time.
0 commit comments