equal
deleted
inserted
replaced
332 Also note that the indices are now natural numbers and not from some |
332 Also note that the indices are now natural numbers and not from some |
333 finite type. Finite cartesian products of euclidean spaces, products |
333 finite type. Finite cartesian products of euclidean spaces, products |
334 of euclidean spaces the real and complex numbers are instantiated to |
334 of euclidean spaces the real and complex numbers are instantiated to |
335 be euclidean_spaces. INCOMPATIBILITY. |
335 be euclidean_spaces. INCOMPATIBILITY. |
336 |
336 |
337 * Probability: Introduced pinfreal as real numbers with infinity. Use |
337 * Probability: Introduced pextreal as positive extended real numbers. |
338 pinfreal as value for measures. Introduce the Radon-Nikodym |
338 Use pextreal as value for measures. Introduce the Radon-Nikodym |
339 derivative, product spaces and Fubini's theorem for arbitrary sigma |
339 derivative, product spaces and Fubini's theorem for arbitrary sigma |
340 finite measures. Introduces Lebesgue measure based on the integral in |
340 finite measures. Introduces Lebesgue measure based on the integral in |
341 Multivariate Analysis. INCOMPATIBILITY. |
341 Multivariate Analysis. INCOMPATIBILITY. |
342 |
342 |
343 * Inductive package: offers new command 'inductive_simps' to |
343 * Inductive package: offers new command 'inductive_simps' to |