10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
# Copyright (c) P.J.Gawthrop, 1991, 1993, 1994.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.1 1996/08/25 10:09:55 peter
## Initial revision
##
###############################################################
#Inform user
echo Creating $1_tf.r
# Remove the old log file
rm -f dm2tf_r.log
# Use reduce to accomplish the transformation
$SYMBOLIC >dm2tf_r.log << EOF
%ON FLOAT;
IN "$1_def.r";
IN "$1_dm.r";
OFF Echo;
OFF Nat;
%create sE-A
%MTT_SEA := s*MTTE-MTTA;
|
>
>
>
>
|
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
# Copyright (c) P.J.Gawthrop, 1991, 1993, 1994.
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1998/03/27 15:00:23 peterg
## reduce ---> symbolic
##
## Revision 1.1 1996/08/25 10:09:55 peter
## Initial revision
##
###############################################################
#Inform user
echo Creating $1_tf.r
# Remove the old log file
rm -f dm2tf_r.log
# Use reduce to accomplish the transformation
$SYMBOLIC >dm2tf_r.log << EOF
%ON FLOAT;
IN "$1_def.r";
IN "$1_dm.r";
IN "$1_subs.r";
OFF Echo;
OFF Nat;
%create sE-A
%MTT_SEA := s*MTTE-MTTA;
|