1 Ptyp ("Berechnung", ["met_algein"], [ |
|
2 Ptyp ("erstNumerisch", ["met_algein_numsym"], []), |
|
3 Ptyp ("erstSymbolisch", ["met_algein_symnum"], [])])--1 |
|
4 |
|
5 Ptyp ("Biegelinien", ["met_biege2"], [ |
|
6 Ptyp ("ausBelastung", ["met_biege_ausbelast"], []), |
|
7 Ptyp ("setzeRandbedingungenEin", ["met_biege_setzrand"], [])])--2 |
|
8 |
|
9 Ptyp ("DiffApp", ["met_diffapp"], [ |
|
10 Ptyp ("find_values", ["met_diffapp_findvals"], []), |
|
11 Ptyp ("make_fun_by_explicit", ["met_diffapp_funexp"], []), |
|
12 Ptyp ("make_fun_by_new_variable", ["met_diffapp_funnew"], []), |
|
13 Ptyp ("max_by_calculus", ["met_diffapp_max"], []), |
|
14 Ptyp ("max_on_interval_by_calculus", ["met_diffapp_max_oninterval"], [])])--3 |
|
15 |
|
16 Ptyp ("EqSystem", ["met_eqsys"], [ |
|
17 Ptyp ("normalize", ["met_eqsys_norm"], [ |
|
18 Ptyp ("2x2", ["met_eqsys_norm_2x2"], []), |
|
19 Ptyp ("4x4", ["met_eqsys_norm_4x4"], [])]), |
|
20 Ptyp ("top_down_substitution", ["met_eqsys_topdown"], [ |
|
21 Ptyp ("2x2", ["met_eqsys_topdown_2x2"], []), |
|
22 Ptyp ("4x4", ["met_eqsys_topdown_4x4"], [])])])--4 |
|
23 |
|
24 Ptyp ("Equation", ["met_equ"], [ |
|
25 Ptyp ("fromFunction", ["met_equ_fromfun"], []), |
|
26 Ptyp ("solve_log", ["met_equ_log"], [])])--5 |
|
27 |
|
28 Ptyp ("IntegrierenUndKonstanteBestimmen", ["met_biege"], [ |
|
29 Ptyp ("1xIntegrieren", ["met_biege_intconst_1"], []), |
|
30 Ptyp ("2xIntegrieren", ["met_biege_intconst_2"], []), |
|
31 Ptyp ("4x4System", ["met_biege_intconst_4"], [])])--6 |
|
32 |
|
33 Ptyp ("IntegrierenUndKonstanteBestimmen2", ["met_biege_2"], [])--7 |
|
34 |
|
35 Ptyp ("LinEq", ["met_eqlin"], [ |
|
36 Ptyp ("solve_lineq_equation", ["met_eq_lin"], [])])--8 |
|
37 |
|
38 Ptyp ("PolyEq", ["met_polyeq"], [ |
|
39 Ptyp ("complete_square", ["met_polyeq_complsq"], []), |
|
40 Ptyp ("normalize_poly", ["met_polyeq_norm"], []), |
|
41 Ptyp ("solve_d0_polyeq_equation", ["met_polyeq_d0"], []), |
|
42 Ptyp ("solve_d1_polyeq_equation", ["met_polyeq_d1"], []), |
|
43 Ptyp ("solve_d2_polyeq_abc_equation", ["met_polyeq_d2_abc"], []), |
|
44 Ptyp ("solve_d2_polyeq_bdvonly_equation", ["met_polyeq_d2_bdvonly"], []), |
|
45 Ptyp ("solve_d2_polyeq_equation", ["met_polyeq_d22"], []), |
|
46 Ptyp ("solve_d2_polyeq_pq_equation", ["met_polyeq_d2_pq"], []), |
|
47 Ptyp ("solve_d2_polyeq_sqonly_equation", ["met_polyeq_d2_sqonly"], []), |
|
48 Ptyp ("solve_d3_polyeq_equation", ["met_polyeq_d3"], [])])--9 |
|
49 |
|
50 Ptyp ("RatEq", ["met_rateq"], [ |
|
51 Ptyp ("solve_rat_equation", ["met_rat_eq"], [])])--10 |
|
52 |
|
53 Ptyp ("RootEq", ["met_rooteq"], [ |
|
54 Ptyp ("norm_sq_root_equation", ["met_rooteq_norm"], []), |
|
55 Ptyp ("solve_left_sq_root_equation", ["met_rooteq_sq_left"], []), |
|
56 Ptyp ("solve_right_sq_root_equation", ["met_rooteq_sq_right"], []), |
|
57 Ptyp ("solve_sq_root_equation", ["met_rooteq_sq"], [])])--11 |
|
58 |
|
59 Ptyp ("RootRatEq", ["met_rootrateq"], [ |
|
60 Ptyp ("elim_rootrat_equation", ["met_rootrateq_elim"], [])])--12 |
|
61 |
|
62 Ptyp ("SignalProcessing", ["met_SP"], [ |
|
63 Ptyp ("Z_Transform", ["met_SP_Ztrans"], [ |
|
64 Ptyp ("Inverse", ["met_SP_Ztrans_inv"], []), |
|
65 Ptyp ("Inverse_sub", ["met_SP_Ztrans_inv_sub"], [])])])--13 |
|
66 |
|
67 Ptyp ("Test", ["met_test"], [ |
|
68 Ptyp ("intsimp", ["met_test_intsimp"], []), |
|
69 Ptyp ("norm_univar_equation", ["met_test_norm_univ"], []), |
|
70 Ptyp ("solve_diophant", ["met_test_diophant"], []), |
|
71 Ptyp ("solve_linear", ["met_test_solvelin"], []), |
|
72 Ptyp ("solve_plain_square", ["met_test_eq_plain"], []), |
|
73 Ptyp ("sqrt-equ-test", ["met_test_sqrt"], []), |
|
74 Ptyp ("squ-equ-test-subpbl1", ["met_test_squ_sub"], []), |
|
75 Ptyp ("squ-equ-test-subpbl2", ["met_test_squ_sub2"], []), |
|
76 Ptyp ("squ-equ-test2", ["met_test_sqrt2"], []), |
|
77 Ptyp ("square_equation", ["met_test_squeq"], []), |
|
78 Ptyp ("square_equation...notTerminating", ["met_test_squ_nonterm"], []), |
|
79 Ptyp ("square_equation1", ["met_test_eq1"], []), |
|
80 Ptyp ("square_equation2", ["met_test_squ2"], [])])--14 |
|
81 |
|
82 Ptyp ("diff", ["met_diff"], [ |
|
83 Ptyp ("after_simplification", ["met_diff_after_simp"], []), |
|
84 Ptyp ("diff_simpl", ["met_diff_simpl"], []), |
|
85 Ptyp ("differentiate_equality", ["met_diff_equ"], []), |
|
86 Ptyp ("differentiate_on_R", ["met_diff_onR"], []), |
|
87 Ptyp ("integration", ["met_diffint"], [ |
|
88 Ptyp ("named", ["met_diffint_named"], [])])])--15 |
|
89 |
|
90 Ptyp ("e_metID", ["met_empty"], [])--16 |
|
91 |
|
92 Ptyp ("probe", ["met_probe"], [ |
|
93 Ptyp ("fuer_bruch", ["met_probe_bruch"], []), |
|
94 Ptyp ("fuer_polynom", ["met_probe_poly"], [])])--17 |
|
95 |
|
96 Ptyp ("simplification", ["met_tsimp"], [ |
|
97 Ptyp ("for_polynomials", ["met_simp_poly"], [ |
|
98 Ptyp ("with_minus", ["met_simp_poly_minus"], []), |
|
99 Ptyp ("with_parentheses", ["met_simp_poly_parenth"], []), |
|
100 Ptyp ("with_parentheses_mult", ["met_simp_poly_parenth_mult"], [])]), |
|
101 Ptyp ("of_rationals", ["met_simp_rat"], [ |
|
102 Ptyp ("to_partial_fraction", ["met_partial_fraction"], [])])])--18 |
|