equal
deleted
inserted
replaced
156 |
156 |
157 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
157 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
158 INCOMPATIBILITY. |
158 INCOMPATIBILITY. |
159 |
159 |
160 * More complex analysis including Cauchy's inequality, Liouville theorem, |
160 * More complex analysis including Cauchy's inequality, Liouville theorem, |
161 open mapping theorem, maximum modulus principle, Schwarz Lemma. |
161 open mapping theorem, maximum modulus principle, Residue theorem, Schwarz Lemma. |
|
162 |
|
163 * Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman |
|
164 Minkowski theorem. |
162 |
165 |
163 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
166 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
164 comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)". |
167 comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)". |
165 |
168 |
166 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |
169 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |