equal
deleted
inserted
replaced
13 |
13 |
14 text \<open>problemclass for the usecase\<close> |
14 text \<open>problemclass for the usecase\<close> |
15 |
15 |
16 problem pbl_equ_dio : "diophantine/equation" = |
16 problem pbl_equ_dio : "diophantine/equation" = |
17 \<open>Rule_Set.empty\<close> |
17 \<open>Rule_Set.empty\<close> |
18 Method: "LinEq/solve_lineq_equation" |
18 Method_Ref: "LinEq/solve_lineq_equation" |
19 CAS: "solve (e_e::bool, v_v::int)" |
19 CAS: "solve (e_e::bool, v_v::int)" |
20 Given: "boolTestGiven e_e" "intTestGiven (v_v::int)" |
20 Given: "boolTestGiven e_e" "intTestGiven (v_v::int)" |
21 (* TODO: drop ^^^^^*) |
21 (* TODO: drop ^^^^^*) |
22 Where: |
22 Where: |
23 Find: "boolTestFind s_s" |
23 Find: "boolTestFind s_s" |