1.1 --- a/doc-isac/mlehnfeld/master/ordered-mets.Unsynchronized Thu Jun 26 17:19:30 2014 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,102 +0,0 @@
1.4 -Ptyp ("Berechnung", ["met_algein"], [
1.5 -Ptyp ("erstNumerisch", ["met_algein_numsym"], []),
1.6 -Ptyp ("erstSymbolisch", ["met_algein_symnum"], [])])--1
1.7 -
1.8 -Ptyp ("Biegelinien", ["met_biege2"], [
1.9 -Ptyp ("ausBelastung", ["met_biege_ausbelast"], []),
1.10 -Ptyp ("setzeRandbedingungenEin", ["met_biege_setzrand"], [])])--2
1.11 -
1.12 -Ptyp ("DiffApp", ["met_diffapp"], [
1.13 -Ptyp ("find_values", ["met_diffapp_findvals"], []),
1.14 -Ptyp ("make_fun_by_explicit", ["met_diffapp_funexp"], []),
1.15 -Ptyp ("make_fun_by_new_variable", ["met_diffapp_funnew"], []),
1.16 -Ptyp ("max_by_calculus", ["met_diffapp_max"], []),
1.17 -Ptyp ("max_on_interval_by_calculus", ["met_diffapp_max_oninterval"], [])])--3
1.18 -
1.19 -Ptyp ("EqSystem", ["met_eqsys"], [
1.20 -Ptyp ("normalize", ["met_eqsys_norm"], [
1.21 -Ptyp ("2x2", ["met_eqsys_norm_2x2"], []),
1.22 -Ptyp ("4x4", ["met_eqsys_norm_4x4"], [])]),
1.23 -Ptyp ("top_down_substitution", ["met_eqsys_topdown"], [
1.24 -Ptyp ("2x2", ["met_eqsys_topdown_2x2"], []),
1.25 -Ptyp ("4x4", ["met_eqsys_topdown_4x4"], [])])])--4
1.26 -
1.27 -Ptyp ("Equation", ["met_equ"], [
1.28 -Ptyp ("fromFunction", ["met_equ_fromfun"], []),
1.29 -Ptyp ("solve_log", ["met_equ_log"], [])])--5
1.30 -
1.31 -Ptyp ("IntegrierenUndKonstanteBestimmen", ["met_biege"], [
1.32 -Ptyp ("1xIntegrieren", ["met_biege_intconst_1"], []),
1.33 -Ptyp ("2xIntegrieren", ["met_biege_intconst_2"], []),
1.34 -Ptyp ("4x4System", ["met_biege_intconst_4"], [])])--6
1.35 -
1.36 -Ptyp ("IntegrierenUndKonstanteBestimmen2", ["met_biege_2"], [])--7
1.37 -
1.38 -Ptyp ("LinEq", ["met_eqlin"], [
1.39 -Ptyp ("solve_lineq_equation", ["met_eq_lin"], [])])--8
1.40 -
1.41 -Ptyp ("PolyEq", ["met_polyeq"], [
1.42 -Ptyp ("complete_square", ["met_polyeq_complsq"], []),
1.43 -Ptyp ("normalize_poly", ["met_polyeq_norm"], []),
1.44 -Ptyp ("solve_d0_polyeq_equation", ["met_polyeq_d0"], []),
1.45 -Ptyp ("solve_d1_polyeq_equation", ["met_polyeq_d1"], []),
1.46 -Ptyp ("solve_d2_polyeq_abc_equation", ["met_polyeq_d2_abc"], []),
1.47 -Ptyp ("solve_d2_polyeq_bdvonly_equation", ["met_polyeq_d2_bdvonly"], []),
1.48 -Ptyp ("solve_d2_polyeq_equation", ["met_polyeq_d22"], []),
1.49 -Ptyp ("solve_d2_polyeq_pq_equation", ["met_polyeq_d2_pq"], []),
1.50 -Ptyp ("solve_d2_polyeq_sqonly_equation", ["met_polyeq_d2_sqonly"], []),
1.51 -Ptyp ("solve_d3_polyeq_equation", ["met_polyeq_d3"], [])])--9
1.52 -
1.53 -Ptyp ("RatEq", ["met_rateq"], [
1.54 -Ptyp ("solve_rat_equation", ["met_rat_eq"], [])])--10
1.55 -
1.56 -Ptyp ("RootEq", ["met_rooteq"], [
1.57 -Ptyp ("norm_sq_root_equation", ["met_rooteq_norm"], []),
1.58 -Ptyp ("solve_left_sq_root_equation", ["met_rooteq_sq_left"], []),
1.59 -Ptyp ("solve_right_sq_root_equation", ["met_rooteq_sq_right"], []),
1.60 -Ptyp ("solve_sq_root_equation", ["met_rooteq_sq"], [])])--11
1.61 -
1.62 -Ptyp ("RootRatEq", ["met_rootrateq"], [
1.63 -Ptyp ("elim_rootrat_equation", ["met_rootrateq_elim"], [])])--12
1.64 -
1.65 -Ptyp ("SignalProcessing", ["met_SP"], [
1.66 -Ptyp ("Z_Transform", ["met_SP_Ztrans"], [
1.67 -Ptyp ("Inverse", ["met_SP_Ztrans_inv"], []),
1.68 -Ptyp ("Inverse_sub", ["met_SP_Ztrans_inv_sub"], [])])])--13
1.69 -
1.70 -Ptyp ("Test", ["met_test"], [
1.71 -Ptyp ("intsimp", ["met_test_intsimp"], []),
1.72 -Ptyp ("norm_univar_equation", ["met_test_norm_univ"], []),
1.73 -Ptyp ("solve_diophant", ["met_test_diophant"], []),
1.74 -Ptyp ("solve_linear", ["met_test_solvelin"], []),
1.75 -Ptyp ("solve_plain_square", ["met_test_eq_plain"], []),
1.76 -Ptyp ("sqrt-equ-test", ["met_test_sqrt"], []),
1.77 -Ptyp ("squ-equ-test-subpbl1", ["met_test_squ_sub"], []),
1.78 -Ptyp ("squ-equ-test-subpbl2", ["met_test_squ_sub2"], []),
1.79 -Ptyp ("squ-equ-test2", ["met_test_sqrt2"], []),
1.80 -Ptyp ("square_equation", ["met_test_squeq"], []),
1.81 -Ptyp ("square_equation...notTerminating", ["met_test_squ_nonterm"], []),
1.82 -Ptyp ("square_equation1", ["met_test_eq1"], []),
1.83 -Ptyp ("square_equation2", ["met_test_squ2"], [])])--14
1.84 -
1.85 -Ptyp ("diff", ["met_diff"], [
1.86 -Ptyp ("after_simplification", ["met_diff_after_simp"], []),
1.87 -Ptyp ("diff_simpl", ["met_diff_simpl"], []),
1.88 -Ptyp ("differentiate_equality", ["met_diff_equ"], []),
1.89 -Ptyp ("differentiate_on_R", ["met_diff_onR"], []),
1.90 -Ptyp ("integration", ["met_diffint"], [
1.91 -Ptyp ("named", ["met_diffint_named"], [])])])--15
1.92 -
1.93 -Ptyp ("e_metID", ["met_empty"], [])--16
1.94 -
1.95 -Ptyp ("probe", ["met_probe"], [
1.96 -Ptyp ("fuer_bruch", ["met_probe_bruch"], []),
1.97 -Ptyp ("fuer_polynom", ["met_probe_poly"], [])])--17
1.98 -
1.99 -Ptyp ("simplification", ["met_tsimp"], [
1.100 -Ptyp ("for_polynomials", ["met_simp_poly"], [
1.101 -Ptyp ("with_minus", ["met_simp_poly_minus"], []),
1.102 -Ptyp ("with_parentheses", ["met_simp_poly_parenth"], []),
1.103 -Ptyp ("with_parentheses_mult", ["met_simp_poly_parenth_mult"], [])]),
1.104 -Ptyp ("of_rationals", ["met_simp_rat"], [
1.105 -Ptyp ("to_partial_fraction", ["met_partial_fraction"], [])])])--18
1.106 \ No newline at end of file