(* 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;
*)