Enhance linearsos: Wedderburn

[ForeverHaibara]

This PR includes various improvements to LinearSOS.

Major Changes and Improvements

• LinearSOS adds a wedderburn parameter to control whether to use wedderburn decomposition to generate the basis. If True, tangents are decomposed to each symmetry-adapted component.
• LinearSOS sets default basis_limit to 20000.
• Implements patches of roots computation over algebraic fields to support low versions of SymPy. LinearSOS now accepts irrational problems and search for the roots before the linear programming.
• LinearSOS adds a linprog_time_limit parameter to control the time spent in the linear programming. Defaults to 300.0. Since the simplex method runs in exponential time in the worst case, this prevents the solver from running too long.
• Update the complexity models for LinearSOS and SDPSOS.

Other Changes or Fixes

• Adds a skip parameter to collect_doctest_examples to control whether to discard problems marked by "doctest:+SKIP".
• Improves code styles and type annotations.
• InequalityProblem.polylize now works on an extension field by default.
• Adds some problems from "567 Nice and Hard Inequalities".

[ForeverHaibara]

Compared with the test result on 20260220, this PR solves 13 more and fails on 4: due to numerical instability and resource limit on finding roots of irrational inequalities.

4 failed problems:

(Vasile p22052 p1) Given $a \geq 0$, $b \geq 0$, $c \geq 0$, $a + b + c - 3 = 0$, prove that:

$$- \left(a + b\right) \sqrt{a^{2} + 10 a b + b^{2}} - \left(a + c\right) \sqrt{a^{2} + 10 a c + c^{2}} - \left(b + c\right) \sqrt{b^{2} + 10 b c + c^{2}} + 12 \sqrt{3}\geq 0.$$

(Vasile p22054) Given $a \geq 0$, $b \geq 0$, $c \geq 0$, prove that:

$$\sqrt{a^{2} + 7 a b + b^{2}} + \sqrt{a^{2} + 7 a c + c^{2}} + \sqrt{b^{2} + 7 b c + c^{2}} - 5 \sqrt{a b + a c + b c}\geq 0.$$

(Vasile p31073 p2) Given $a \geq 0$, $b \geq 0$, $c \geq 0$, prove that:

$$\sqrt{\frac{a}{2 b + c}} + \sqrt{\frac{b}{a + 2 c}} + \sqrt{\frac{c}{2 a + b}} - 2^{\frac{3}{4}}\geq 0.$$

(Vasile p31086 p1) Given $a \geq 0$, $b \geq 0$, $c \geq 0$, prove that:

$$- a \sqrt{b^{2} + 8 c^{2}} - b \sqrt{8 a^{2} + c^{2}} - c \sqrt{a^{2} + 8 b^{2}} + \left(a + b + c\right)^{2}\geq 0.$$