(* deprecated 2013-08-17. removed from Function_list.function_list: Functional_equation.x1cube; Functional_equation.functional_arclength_234; Functional_equation.functional_arclength_126; Functional_equation.functional_dih3_x_div_sqrtdelta_posbranch; Functional_equation.functional_dih5_x_div_sqrtdelta_posbranch; Functional_equation.functional_dih_x_126_s2; Functional_equation.functional_dih2_x_126_s2; Functional_equation.functional_dih3_x_126_s2; Functional_equation.functional_dih4_x_126_s2; Functional_equation.functional_dih5_x_126_s2; Functional_equation.functional_dih6_x_126_s2; Functional_equation.functional_dih_x_135_s2; Functional_equation.functional_dih2_x_135_s2; Functional_equation.functional_dih3_x_135_s2; Functional_equation.functional_dih4_x_135_s2; Functional_equation.functional_dih5_x_135_s2; Functional_equation.functional_dih6_x_135_s2; Functional_equation.functional_ldih_x_126_s2; Functional_equation.functional_ldih2_x_126_s2; Functional_equation.functional_ldih6_x_126_s2; Functional_equation.functional_ldih_x_135_s2; Functional_equation.functional_ldih3_x_135_s2; Functional_equation.functional_ldih5_x_135_s2; Functional_equation.functional_edge_flat2_x; Functional_equation.functional_euler_3flat_x; Functional_equation.functional_euler_2flat_x; Functional_equation.functional_euler_1flat_x; Functional_equation.functional_taum_3flat_x; Functional_equation.functional_taum_2flat_x; Functional_equation.functional_taum_1flat_x; Functional_equation.functional_delta_x_126_s2; Functional_equation.functional_delta_x_135_s2; Functional_equation.functional_delta_pent_x; Functional_equation.functional_vol3_x_135_s2; Functional_equation.functional_ldih_x_n; Functional_equation.functional_ldih_x_126_n; Functional_equation.functional_ldih2_x_126_n; Functional_equation.functional_ldih6_x_126_n; Functional_equation.functional_ldih_x_135_n; Functional_equation.functional_ldih3_x_135_n; Functional_equation.functional_ldih5_x_135_n; Functional_equation.functional_taum_x1; Functional_equation.functional_taum_x2; Functional_equation.functional_taum_x1_x2; Functional_equation.functional_delta_sub1_x; Functional_equation.functional_taum_sub1_x; Functional_equation.functional_taum_sub246_x; Functional_equation.functional_taum_sub345_x; let legacy = ["unit", "x1", "x2", "x3", "x4", "x5", "x6", "y1", "y2", "y3", "y4", "y5", "y6", "delta_x", "delta_x4", "x1_delta_x", "delta4_squared_x", "vol_x", "sol", "rad2", "dih", "dih2", "dih3", "dih4", "dih5", "dih6", "ldih_x", "ldih2_x", "ldih3_x", "ldih5_x", "ldih6_x", "upper_dih_x", "eulerA_x", "rhazim_x", "rhazim2_x", "rhazim3_x", "gchi1_x", "gchi2_x", "gchi3_x", "gchi4_x", "gchi5_x", "gchi6_x", "x1cube", "x1square", "num1", "num2", "num_combo1", "rat1", "rat2", "den2", "edge_flat2_x", "edge_flat_x", "flat_term_x", "taum_x", "halfbump_x1", "halfbump_x4", "eta2_126", "eta2_135", "eta2_234", "eta2_456", "vol3_x_sqrt", "vol3f_x_lfun", "vol3f_x_sqrt2_lmplus", "arclength_x_123", "arclength_x_234", "arclength_x_126", "arclength_x_345", "norm2hh_x", "asn797k", "asnFnhk", "lfun_y1", "acs_sqrt_x1_d4", "acs_sqrt_x2_d4", "sol_euler_x_div_sqrtdelta", "sol_euler345_x_div_sqrtdelta", "sol_euler156_x_div_sqrtdelta", "sol_euler246_x_div_sqrtdelta", "dih_x_div_sqrtdelta_posbranch", "dih2_x_div_sqrtdelta_posbranch", "dih3_x_div_sqrtdelta_posbranch", "dih4_x_div_sqrtdelta_posbranch", "dih5_x_div_sqrtdelta_posbranch", "dih6_x_div_sqrtdelta_posbranch", "ldih_x_div_sqrtdelta_posbranch", "ldih2_x_div_sqrtdelta_posbranch", "ldih3_x_div_sqrtdelta_posbranch", "ldih4_x_div_sqrtdelta_posbranch", "ldih5_x_div_sqrtdelta_posbranch", "ldih6_x_div_sqrtdelta_posbranch", "surf_x", "vol3r_126_x", "dih_x_126_s2", "dih2_x_126_s2", "dih3_x_126_s2", "dih4_x_126_s2", "dih5_x_126_s2", "dih6_x_126_s2", "ldih_x_126_s2", "ldih2_x_126_s2", "ldih6_x_126_s2", "dih_x_135_s2", "dih2_x_135_s2", "dih3_x_135_s2", "dih4_x_135_s2", "dih5_x_135_s2", "dih6_x_135_s2", "ldih_x_135_s2", "ldih3_x_135_s2", "ldih5_x_135_s2", "lfun_sqrtx1_div2", "delta_x_135_s2", "delta_x_126_s2", "vol3_x_135_s2", "gamma3f_x_vLR_lfun", "gamma3f_x_vLR0", "gamma3f_x_vL_lfun", "gamma3f_x_vL0", "gamma3f_x_v_lfun", "gamma3f_x_v0", "ldih_x_126_n", "ldih2_x_126_n", "ldih6_x_126_n", "ldih_x_135_n", "ldih3_x_135_n", "ldih5_x_135_n", "gamma3f_126_x_s_n", "gamma3f_135_x_s_n", "gamma3f_vLR_x_nlfun", "gamma3f_vLR_x_n0", "gamma3f_vL_x_nlfun", "gamma3f_vL_x_n0", "tau_lowform_x", "tau_residual_x", "mdtau_y_LC", "mdtau2uf_y_LC", "euler_3flat_x", "euler_2flat_x", "euler_1flat_x", "taum_3flat_x", "taum_2flat_x", "taum_1flat_x", "delta_pent_x", "ell_uvx", "ell_vx2", "selling_volume2", "selling_surface_nn", "selling_surface_nn2_013", "selling_surface_nn01_23", "selling_homog", "fcc_ineq", "taum_x1(&&)", "taum_x2(&&)", "taum_x1_x2(&)", "arclength_x1(&&)", "arclength_x2(&&)", "surfR126d(&)", "lindih(&)", "delta_126_x(&&&)", "delta_234_x(&&&)", "delta_135_x(&&&)", "taum_sub1_x(&)", "delta_sub1_x(&)", "taum_sub246_x(&&&)", "taum_sub345_x(&&&)"];; *) (* removed from parse_ineq.hl: removed from autogen: surfR;surfRy;surfRdyc2;surfy;dih4_y; (* deprecated: arclength_x_345; solRy;dihRy; *) removed from macros: (* deprecated: delta_template_B_x_alt; taum_template_B_x_alt; dih_template_B_x_alt; dih_hexall_x; dih1_hexall_x; upper_dih_hexall_x; delta_hexall_x; delta4_hexall_x; taum_hexall_x; eulerA_hexall_x; factor345_hexall_x; law_cosines_234_x; law_cosines_126_x; tau_lowform_x_alt; *) upper_dih_y; gamma3f_135_n;gamma3f_126_n;gamma23f_n;gamma23f_126_03_n; taum_sub1_x; taum_sub246_x; taum_sub345_x; taum_3flat_x_alt; taum_2flat_x_alt; taum_1flat_x_alt; euler_3flat_x_alt; euler_2flat_x_alt; euler_1flat_x_alt; delta_pent_x; lmdih_x_div_sqrtdelta_posbranch; lmdih2_x_div_sqrtdelta_posbranch; lmdih3_x_div_sqrtdelta_posbranch; lmdih5_x_div_sqrtdelta_posbranch; lmdih6_x_div_sqrtdelta_posbranch; ell_vx2; upper_dih_x; *) (* removed from optimize.hl: (* generate function defs for these. *) (* let idem_assoc = map (fun a -> (a,a)) [ "delta_x4";"delta4_squared_x";"x1_delta_x"; "halfbump_x1";"halfbump_x4"; "dih_x_div_sqrtdelta_posbranch";"dih2_x_div_sqrtdelta_posbranch"; "dih3_x_div_sqrtdelta_posbranch";"dih4_x_div_sqrtdelta_posbranch"; "dih5_x_div_sqrtdelta_posbranch";"dih6_x_div_sqrtdelta_posbranch"; "ldih_x_div_sqrtdelta_posbranch";"ldih2_x_div_sqrtdelta_posbranch"; "ldih3_x_div_sqrtdelta_posbranch";"ldih4_x_div_sqrtdelta_posbranch"; "ldih5_x_div_sqrtdelta_posbranch";"ldih6_x_div_sqrtdelta_posbranch"; "dih_x_126_s2"; "dih2_x_126_s2"; "dih3_x_126_s2"; "dih4_x_126_s2"; "dih5_x_126_s2"; "dih6_x_126_s2"; "ldih_x_126_s2"; "ldih2_x_126_s2"; "ldih6_x_126_s2"; "dih_x_135_s2"; "dih2_x_135_s2"; "dih3_x_135_s2"; "dih4_x_135_s2"; "dih5_x_135_s2"; "dih6_x_135_s2"; "ldih_x_135_s2"; "ldih3_x_135_s2"; "ldih5_x_135_s2"; "delta_x_126_s2"; "delta_x_135_s2"; "vol3_x_sqrt";"vol3_x_135_s2"; "sol_euler_x_div_sqrtdelta";"sol_euler345_x_div_sqrtdelta"; "sol_euler156_x_div_sqrtdelta";"sol_euler246_x_div_sqrtdelta"; "taum_x1";"taum_x2";"taum_x1_x2";"arclength_x1";"arclength_x2"; "arclength_x_123";"arclength_x_234";"arclength_x_126"; (* "arclength_x_345"; *) "acs_sqrt_x1_d4";"acs_sqrt_x2_d4"; "gchi2_x";"gchi3_x";"gchi4_x";"gchi5_x";"gchi6_x"; "ldih_x";"ldih2_x";"ldih3_x";"ldih6_x"; "vol3f_x_lfun"; "vol3f_x_sqrt2_lmplus"; "gamma23f_126_w1"; "gamma23f_red"; "asn797k"; "asnFnhk"; "lfun_y1";"surf_x";"surfR126d"; "sol"; "vol_x"; "gchi1_x";"eta2_126";"eta2_135"; "gamma3f_x_vLR_lfun"; "gamma3f_x_vLR0"; "gamma3f_x_vL_lfun"; "gamma3f_x_vL0"; "gamma3f_x_v_lfun"; "gamma3f_x_v0"; "monomial"; "num1"; (* deprecated: "dih_template_B_x";"taum_template_B_x";"delta_template_B_x"; "dih_hexall_x";"dih1_hexall_x";"upper_dih_hexall_x"; "delta_hexall_x";"delta4_hexall_x"; "eulerA_hexall_x";"factor345_hexall_x"; "law_cosines_234_x";"law_cosines_126_x"; "delta_top_x"; "taum_hexall_x"; "tau_lowform_x"; *) "delta_126_x";"delta_234_x";"delta_135_x"; "taum_x"; "ldih_x_135_n"; "ldih3_x_135_n"; "ldih5_x_135_n"; "ldih_x_126_n"; "ldih6_x_126_n"; "gamma3f_vLR_x_nlfun";"gamma3f_vL_x_nlfun"; "gamma3f_vLR_x_n0";"gamma3f_vL_x_n0"; "gamma3f_135_x_s_n";"gamma3f_126_x_s_n"; "eulerA_x"; (* added may 2011 *) "tau_residual_x"; "edge_flat_x"; "taum_sub1_x"; "delta_sub1_x"; "delta_pent_x"; "taum_sub246_x"; "taum_sub345_x"; "taum_3flat_x"; "taum_2flat_x"; "taum_1flat_x"; "euler_3flat_x"; "euler_2flat_x"; "euler_1flat_x"; (* 2D hex perimeter problem *) "ell_uvx"; "ell_vx2"; (* selling parameters for Phelan-Weaire workshop 2012 *) "selling_surface_nn"; "selling_surface_nn2_013"; "selling_surface_nn01_23"; "selling_homog"; "selling_volume2"; "fcc_ineq"; ];; *) removed from cpp_assoc: (* ("norm2hh_x","norm2hhx"); ("ldih2_x_126_n","ldih2_x_126_n"); (* was n_ in fst *) ("unit6","unit"); ("proj_x1","x1");("proj_x2","x2");("proj_x3","x3"); ("proj_x4","x4");("proj_x5","x5");("proj_x6","x6"); ("sqrt_x1","y1"); ("sqrt_x2","y2"); ("sqrt_x3","y3"); ("sqrt_x4","y4"); ("sqrt_x5","y5"); ("sqrt_x6","y6"); ("dih_x","dih"); ("dih2_x","dih2");("dih3_x","dih3"); ("dih4_x","dih4"); ("dih5_x","dih5");("dih6_x","dih6"); ("rad2_x","rad2"); ("delta_x","delta"); ("rhazim_x","rhazim");("rhazim2_x","rhazim2"); ("rhazim3_x","rhazim3"); ("upper_dih_x","upper_dih"); *) *) (* removed from optimize.hl removed from X_FROZEN_COMPOUND: GSYM dih_x_126_s2); (GSYM dih2_x_126_s2); GSYM dih3_x_126_s2; GSYM dih4_x_126_s2; GSYM dih5_x_126_s2; GSYM dih6_x_126_s2; GSYM ldih_x_126_s2; GSYM ldih2_x_126_s2;GSYM ldih6_x_126_s2; (GSYM dih_x_135_s2); (GSYM dih2_x_135_s2); GSYM dih3_x_135_s2; GSYM dih4_x_135_s2; GSYM dih5_x_135_s2; GSYM dih6_x_135_s2; GSYM ldih_x_135_s2; GSYM ldih3_x_135_s2;GSYM ldih5_x_135_s2; GSYM delta_x_126_s2;GSYM delta_x_135_s2; GSYM vol3_x_135_s2; GSYM gamma3f_x_vLR_lfun;GSYM gamma3f_x_vLR0; GSYM gamma3f_x_v_lfun;GSYM gamma3f_x_v0; GSYM gamma3f_x_vL_lfun;GSYM gamma3f_x_vL0; GSYM gamma3f_vLR_x_nlfun; GSYM gamma3f_vL_x_nlfun; GSYM gamma3f_vLR_x_n0; GSYM gamma3f_vL_x_n0; GSYM gamma3f_135_x_s_n; GSYM gamma3f_126_x_s_n; GSYM ldih_x_126_n; GSYM ldih2_x_126_n; GSYM ldih6_x_126_n; GSYM ldih_x_135_n;GSYM ldih3_x_135_n;GSYM ldih5_x_135_n; removed from X_COMPOUND_DEF: GSYM Sphere.taum_x1_x2;GSYM Sphere.taum_x1;GSYM Sphere.taum_x2; GSYM Sphere.surf_x; GSYM Sphere.surfR126d; removed from macro_expand: (* Oct 20: Sphere.vol3f; *) (* Sphere.pathL;Sphere.pathR; -- removed May 24, 2011. for ineqdata cases to work. *) gamma23f';gamma23f_126_03';gamma23f_v' ; gamma23f_n_alt;gamma23f_126_03_n_alt; gamma3f_135_n_alt;gamma3f_126_n_alt; removed from BRANCH_TAC (* vol3f_palt; *) gamma3f_126_expand;gamma3f_135_expand; gamma3f_vLR0_case;gamma3f_vLR_lfun_case; gamma3f_vL0_case;gamma3f_vL_lfun_case; gamma3f_v0_case;gamma3f_v_lfun_case; (* dec 29 *) gamma3f_vL_nlfun_case;gamma3f_vL_n0_case; gamma3f_vLR_n0_case;gamma3f_vLR_nlfun_case; lmdih_ldih_n;lmdih2_ldih2_n;lmdih3_ldih3_n; lmdih5_ldih5_n;lmdih6_ldih6_n; lmdih_n0;lmdih2_n0;lmdih3_n0;lmdih5_n0;lmdih6_n0; removed from X_SQRT_COMPOUND_ORDER : `upper_dih_y (sqrt x1) (sqrt x2) (sqrt x3) (sqrt x4) (sqrt x5) (sqrt x6) = upper_dih_x x1 x2 x3 x4 x5 x6 `; removed from X_SQRT_COMPOUND_ORDER_TAC: upper_dih_x_y; *)