109 |
109 |
110 * Rules inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no |
110 * Rules inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no |
111 simp rules by default any longer. The same applies to |
111 simp rules by default any longer. The same applies to |
112 min_max.inf_absorb1 etc.! INCOMPATIBILITY. |
112 min_max.inf_absorb1 etc.! INCOMPATIBILITY. |
113 |
113 |
|
114 * sup_Int_eq and sup_Un_eq are no default pred_set_conv rules any longer. |
|
115 INCOMPATIBILITY. |
|
116 |
114 * Power operations on relations and functions are now one dedicate |
117 * Power operations on relations and functions are now one dedicate |
115 constant "compow" with infix syntax "^^". Power operations on |
118 constant "compow" with infix syntax "^^". Power operation on |
116 multiplicative monoids retains syntax "^" and is now defined generic |
119 multiplicative monoids retains syntax "^" and is now defined generic |
117 in class power. INCOMPATIBILITY. |
120 in class power. INCOMPATIBILITY. |
118 |
121 |
119 * Relation composition "R O S" now has a "more standard" argument |
122 * Relation composition "R O S" now has a "more standard" argument |
120 order, i.e., "R O S = {(x,z). EX y. (x,y) : R & (y,z) : S }". |
123 order, i.e., "R O S = {(x,z). EX y. (x,y) : R & (y,z) : S }". |