1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Mon Sep 13 18:37:16 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Tue Sep 14 12:12:42 2010 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4  "-----------------------------------------------------------------";
     1.5  "table of contents -----------------------------------------------";
     1.6  "-----------------------------------------------------------------";
     1.7 +"--------- regression test fun is_copy_named ---------------------";
     1.8  "--------- get_interval after replace} other 2 -------------------";
     1.9  "--------- maximum example with 'specify' ------------------------";
    1.10  "--------- maximum example with 'specify', fmz <> [] -------------";
    1.11 @@ -20,6 +21,24 @@
    1.12  "-----------------------------------------------------------------";
    1.13  
    1.14  
    1.15 +"--------- regression test fun is_copy_named ---------------------";
    1.16 +"--------- regression test fun is_copy_named ---------------------";
    1.17 +"--------- regression test fun is_copy_named ---------------------";
    1.18 +val trm = (1, (2, @{term "v_i'''"}));
    1.19 +if is_copy_named trm then () else raise error "regr. is_copy_named";
    1.20 +val trm = (1, (2, @{term "e_e"}));
    1.21 +if is_copy_named trm then raise error "regr. is_copy_named" else ();
    1.22 +val trm = (1, (2, @{term "L'''"}));
    1.23 +if is_copy_named trm then () else raise error "regr. is_copy_named";
    1.24 +
    1.25 +(* out-comment 'structure CalcHead'...
    1.26 +val trm = (1, (2, @{term "v_i'''"}));
    1.27 +if is_copy_named_generating trm then () else raise error "regr. is_copy_named";
    1.28 +val trm = (1, (2, @{term "L'''"}));
    1.29 +if is_copy_named_generating trm then raise error "regr. is_copy_named" else ();
    1.30 +*)
    1.31 +
    1.32 +(*==========================================================================
    1.33  "--------- get_interval after replace} other 2 -------------------";
    1.34  "--------- get_interval after replace} other 2 -------------------";
    1.35  "--------- get_interval after replace} other 2 -------------------";
    1.36 @@ -411,3 +430,5 @@
    1.37      (*         type of Find:             [Free ("x_i", "bool List.list")]*)
    1.38      => ()
    1.39    | _ => raise error "calchead.sml match_ags [univariate,equation,test]--";
    1.40 +
    1.41 +==========================================================================*)