Commit 2026-05-23 09:20 30f4950b

feat(Algebra/ContinuedFractions): generalize determinant formula to GenContFract (#37997) Let $g$ be a GenContFract K. In this PR I generalize the determinant formula for continued fractions from the simple continued fraction case $$A_n B_{n+1} - B_n A_{n+1} = (-1)^n$$ to the generalized continued fraction product formula $$A_n B_{n+1} - B_n A_{n+1} = (-a_0) (-a_1) \dots (-a_n)$$

• The SimpContFract version is still available unchanged, so this should avoid breaking existing users of the old API.
• The use of 0 as the default partial numerator in (g.partNums.get? i).getD 0 allows product formulation that remains valid when the fraction is terminated.