equal
deleted
inserted
replaced
58 |
58 |
59 (** evaluation of numerals and special predicates on the meta-level **) |
59 (** evaluation of numerals and special predicates on the meta-level **) |
60 (*-------------------------functions---------------------*) |
60 (*-------------------------functions---------------------*) |
61 local (* rlang 09.02 *) |
61 local (* rlang 09.02 *) |
62 (*.a 'c is coefficient of v' if v does occur in c.*) |
62 (*.a 'c is coefficient of v' if v does occur in c.*) |
63 fun coeff_in v c = member op = v (vars c); |
63 fun coeff_in v c = member op = (vars c) v; |
64 in |
64 in |
65 fun occurs_in v t = coeff_in v t; |
65 fun occurs_in v t = coeff_in v t; |
66 end; |
66 end; |
67 |
67 |
68 (*("occurs_in", ("Atools.occurs'_in", eval_occurs_in ""))*) |
68 (*("occurs_in", ("Atools.occurs'_in", eval_occurs_in ""))*) |