equal
deleted
inserted
replaced
35 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
35 * Renamed split_if -> if_split and split_if_asm -> if_split_asm to |
36 resemble the f.split naming convention, INCOMPATIBILITY. |
36 resemble the f.split naming convention, INCOMPATIBILITY. |
37 |
37 |
38 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
38 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now. |
39 INCOMPATIBILITY. |
39 INCOMPATIBILITY. |
|
40 |
|
41 * More complex analysis including Cauchy's inequality, Liouville theorem, |
|
42 open mapping theorem, maximum modulus principle, Schwarz Lemma. |
40 |
43 |
41 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
44 * "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional |
42 comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)". |
45 comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)". |
43 |
46 |
44 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |
47 * Class semiring_Lcd merged into semiring_Gcd. INCOMPATIBILITY. |