This section contains examples for systems of linear equations, which are restricted just to those required for calculating 'Biegelinien'; see examples > Statics > Biegelinien > Timischl.
Thus this part of the problem-hierarchy is waiting for elaboration.

This section demonstrates another issue, the lack of an agreement on compounds of terms. We used Isabelle's lists for sets of solutions of univariate equations, because Isabelle's handling of lists is elaborated best and thus used in ISACs script language (a questionable decision).

For the same reason we use lists for the solution of systems of equations (instead of vectors) -- this is a wrong decision to be revoked as soon as possible.

Solve the (triangular) systems of linear equations ...

No.1 solveSystem [0 = -1 * q_0 * 0 ^^^ 2 / 2 + 0 * c + c_2,
                      0 = -1 * q_0 * L ^^^ 2 / 2 + L * c + c_2]  [c,  c_2]

The bound variables are  c,  c_2, and a closer look at the first equation shows that the system is already in triangular form.

No.2 solveSystem [0 = c_2 + c * 0 + 1 / EI * (L * q_0 / 12 * 0 ^^^ 3 + -1 * q_0 / 24 * 0 ^^^ 4),
                      0 = c_2 + c * L + 1 / EI * (L * q_0 / 12 * L ^^^ 3 + -1 * q_0 / 24 * L ^^^ 4)]  [c,  c_2]