maximize -linear(matrix_t) Constraint: == 0 linearmulti(matrix_yxt_lam_q) Constraint: <= 0 0.20412429*polynom_abs(matrix_polynom_abs_q) -linear(matrix_t) Constraint: <= 0, linearize = 1 max_comp_abs(matrix_polynom_abs_q) -linear(matrix_t) Constraint: == 0 linear(matrix_yi) Constraint: == 1 linear(matrix_unit) Box: >= 0, <= 0.001724138 Solver: tank