5 |
5 |
6 use"../smltest/ME/calchead.sml"; |
6 use"../smltest/ME/calchead.sml"; |
7 use"calchead.sml"; |
7 use"calchead.sml"; |
8 *) |
8 *) |
9 |
9 |
10 "-----------------------------------------------------------------"; |
10 "--------------------------------------------------------"; |
11 "table of contents -----------------------------------------------"; |
11 "table of contents --------------------------------------"; |
12 "-----------------------------------------------------------------"; |
12 "--------------------------------------------------------"; |
13 "--------- regression test fun is_copy_named ---------------------"; |
13 "--------- get_interval after replace} other 2 ----------"; |
14 "--------- get_interval after replace} other 2 -------------------"; |
14 "--------- maximum example with 'specify' ---------------"; |
15 "--------- maximum example with 'specify' ------------------------"; |
15 "--------- maximum example with 'specify', fmz <> [] ----"; |
16 "--------- maximum example with 'specify', fmz <> [] -------------"; |
16 "--------- maximum example with 'specify', fmz = [] -----"; |
17 "--------- maximum example with 'specify', fmz = [] --------------"; |
17 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)--"; |
18 "--------- match_ags, is_cp, cpy_nam +with EqSystem (!)-----------"; |
18 "--------- regression test fun is_copy_named ------------"; |
19 "-----------------------------------------------------------------"; |
19 "--------------------------------------------------------"; |
20 "-----------------------------------------------------------------"; |
20 "--------------------------------------------------------"; |
21 "-----------------------------------------------------------------"; |
21 "--------------------------------------------------------"; |
22 |
|
23 |
|
24 "--------- regression test fun is_copy_named ---------------------"; |
|
25 "--------- regression test fun is_copy_named ---------------------"; |
|
26 "--------- regression test fun is_copy_named ---------------------"; |
|
27 val trm = (1, (2, @{term "v_i'''"})); |
|
28 if is_copy_named trm then () else raise error "regr. is_copy_named"; |
|
29 val trm = (1, (2, @{term "e_e"})); |
|
30 if is_copy_named trm then raise error "regr. is_copy_named" else (); |
|
31 val trm = (1, (2, @{term "L'''"})); |
|
32 if is_copy_named trm then () else raise error "regr. is_copy_named"; |
|
33 |
|
34 (* out-comment 'structure CalcHead'... |
|
35 val trm = (1, (2, @{term "v_i'''"})); |
|
36 if is_copy_named_generating trm then () else raise error "regr. is_copy_named"; |
|
37 val trm = (1, (2, @{term "L'''"})); |
|
38 if is_copy_named_generating trm then raise error "regr. is_copy_named" else (); |
|
39 *) |
|
40 |
22 |
41 (*========================================================================== |
23 (*========================================================================== |
42 "--------- get_interval after replace} other 2 -------------------"; |
24 "--------- get_interval after replace} other 2 -------------------"; |
43 "--------- get_interval after replace} other 2 -------------------"; |
25 "--------- get_interval after replace} other 2 -------------------"; |
44 "--------- get_interval after replace} other 2 -------------------"; |
26 "--------- get_interval after replace} other 2 -------------------"; |
430 (* type of Find: [Free ("x_i", "bool List.list")]*) |
412 (* type of Find: [Free ("x_i", "bool List.list")]*) |
431 => () |
413 => () |
432 | _ => raise error "calchead.sml match_ags [univariate,equation,test]--"; |
414 | _ => raise error "calchead.sml match_ags [univariate,equation,test]--"; |
433 |
415 |
434 ==========================================================================*) |
416 ==========================================================================*) |
|
417 |
|
418 "--------- regression test fun is_copy_named ------------"; |
|
419 "--------- regression test fun is_copy_named ------------"; |
|
420 "--------- regression test fun is_copy_named ------------"; |
|
421 val trm = (1, (2, @{term "v'i'"})); |
|
422 if is_copy_named trm then () else raise error "regr. is_copy_named 1"; |
|
423 val trm = (1, (2, @{term "e_e"})); |
|
424 if is_copy_named trm then raise error "regr. is_copy_named 2" else (); |
|
425 val trm = (1, (2, @{term "L'''"})); |
|
426 if is_copy_named trm then () else raise error "regr. is_copy_named 3"; |
|
427 |
|
428 (* out-comment 'structure CalcHead'... |
|
429 val trm = (1, (2, @{term "v'i'"})); |
|
430 if is_copy_named_generating trm then () else raise error "regr. is_copy_named"; |
|
431 val trm = (1, (2, @{term "L'''"})); |
|
432 if is_copy_named_generating trm then raise error "regr. is_copy_named" else (); |
|
433 *) |