150 Commits

Author	SHA1	Message	Date
Alessandro Gatti	b14d129a16	tests/float/complex1.py: Fix CPython 3.14 deprecation. ... This commit fixes a test exercising complex numbers creation, working around a deprecation introduced in CPython 3.14. Creating complex numbers using a complex number as the real part in the constructor is deprecated in CPython 3.14, but that construction method is still supported by MicroPython and covered by tests. To work around this, the specific constructor is extracted into its own test, providing an expected output file recorded using CPython 3.11. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2026-01-15 21:10:30 +01:00
Alessandro Gatti	eae83df201	tests/float/math_fun: Fix domain error tests with CPython 3.14. ... This commit makes tests exercising certain math functions' limit work when using CPython 3.14 to validate the tests' output. CPython 3.14 introduced more descriptive messages when math domain error conditions are encountered rather than a single generic message. This breaks the tests in question as MicroPython uses a single error message when reporting these conditions (both to closely follow CPython and to save firmware space). The math domain tests now look for an error pattern that is compatible with both CPython 3.14 and previous versions, converting messages in the newer format into the previous one. This makes the tests' behaviour under MicroPython comparable with CPython for the foreseeable future. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2026-01-15 20:53:33 +01:00
Angus Gratton	3ec8b9a77c	all: Replace legacy name with MicroPython and MPy as applicable. ... With the aim of getting consistency, and removing the need to learn an additional term, replace uses of uPy/uPython with MPy/MicroPython. Rule of thumb was to use "MPy" abbreviation where "CPy" is used nearby, but the full word MicroPython otherwise. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-10-04 00:19:40 +10:00
Yoctopuce dev	69ead7d98e	py/parse: Add support for math module constants and float folding. ... Add a new MICROPY_COMP_CONST_FLOAT feature, enabled by in mpy-cross and when compiling with MICROPY_CONFIG_ROM_LEVEL_CORE_FEATURES. The new feature leverages the code of MICROPY_COMP_CONST_FOLDING to support folding of floating point constants. If MICROPY_COMP_MODULE_CONST is defined as well, math module constants are made available at compile time. For example: _DEG_TO_GRADIANT = const(math.pi / 180) _INVALID_VALUE = const(math.nan) A few corner cases had to be handled: - The float const folding code should not fold expressions resulting into complex results, as the mpy parser for complex immediates has limitations. - The constant generation code must distinguish between -0.0 and 0.0, which are different even if C consider them as ==. This change removes previous limitations on the use of `const()` expressions that would result in floating point number, so the test cases of micropython/const_error have to be updated. Additional test cases have been added to cover the new repr() code (from a previous commit). A few other simple test cases have been added to handle the use of floats in `const()` expressions, but the float folding code itself is also tested when running general float test cases, as float expressions often get resolved at compile-time (with this change). Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-08-01 13:35:44 +10:00
Yoctopuce dev	dbbaa959c8	py/formatfloat: Improve accuracy of float formatting code. ... Following discussions in PR #16666, this commit updates the float formatting code to improve the `repr` reversibility, i.e. the percentage of valid floating point numbers that do parse back to the same number when formatted by `repr` (in CPython it's 100%). This new code offers a choice of 3 float conversion methods, depending on the desired tradeoff between code size and conversion precision: - BASIC method is the smallest code footprint - APPROX method uses an iterative method to approximate the exact representation, which is a bit slower but but does not have a big impact on code size. It provides `repr` reversibility on >99.8% of the cases in double precision, and on >98.5% in single precision (except with REPR_C, where reversibility is 100% as the last two bits are not taken into account). - EXACT method uses higher-precision floats during conversion, which provides perfect results but has a higher impact on code size. It is faster than APPROX method, and faster than the CPython equivalent implementation. It is however not available on all compilers when using FLOAT_IMPL_DOUBLE. Here is the table comparing the impact of the three conversion methods on code footprint on PYBV10 (using single-precision floats) and reversibility rate for both single-precision and double-precision floats. The table includes current situation as a baseline for the comparison: PYBV10 REPR_C FLOAT DOUBLE current = 364688 12.9% 27.6% 37.9% basic = 364812 85.6% 60.5% 85.7% approx = 365080 100.0% 98.5% 99.8% exact = 366408 100.0% 100.0% 100.0% Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-08-01 00:47:33 +10:00
Yoctopuce dev	3a72f95919	py/objint_longlong: Fix longlong interoperability with floats. ... Current longlong implementation does not allow a float as RHS of mathematic operators, as it lacks the delegation code present in mpz. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-07-29 01:14:35 +10:00
Damien George	7729e80fdd	all: Go back to using default ruff quote style. ... Commit dc2fcfcc55 seems to have accidentally changed the ruff quote style to "preserve", instead of keeping it at the default which is "double". Put it back to the default and update relevant .py files with this rule. Signed-off-by: Damien George <damien@micropython.org>	2025-07-24 12:48:18 +10:00
Yoctopuce dev	d6876e2273	py/obj: Fix REPR_C bias toward zero. ... Current implementation of REPR_C works by clearing the two lower bits of the mantissa to zero. As this happens after each floating point operation, this tends to bias floating point numbers towards zero, causing decimals like .9997 instead of rounded numbers. This is visible in test cases involving repeated computations, such as `tests/misc/rge_sm.py` for instance. The suggested fix fills in the missing bits by copying the previous two bits. Although this cannot recreate missing information, it fixes the bias by inserting plausible values for the lost bits, at a relatively low cost. Some float tests involving irrational numbers have to be softened in case of REPR_C, as the 30 bits are not always enough to fulfill the expectations of the original test, and the change may randomly affect the last digits. Such cases have been made explicit by testing for REPR_C or by adding a clear comment. The perf_test fft code was also missing a call to round() before casting a log_2 operation to int, which was causing a failure due to a last-decimal change. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-07-24 11:07:30 +10:00
Yoctopuce dev	e57aa7e70a	py/obj: Fix nan handling in object REPR_C and REPR_D. ... CPython math.nan is positive with regards to copysign. The signaling bit (aka sign flag) was incorrectly set. In addition, REPR_C and REPR_D should only use the _true_ nan to prevent system crash in case of hand-crafted floats. For instance, with REPR_C, any nan-like float following the pattern `01111111 1xxxxxxx xxxxxxxx xxxxx1xx` would be switched to an immediate object or a qstr string. When the qstr index is too large, this would cause a crash. This commit fixes the issue, and adds the relevant test cases. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-06-24 00:30:08 +10:00
Jeff Epler	2ce63b1420	py/parsenum: Fix parsing complex literals with negative real part. ... If a complex literal had a negative real part and a positive imaginary part, it was not parsed properly because the imaginary part also came out negative. Includes a test of complex parsing, which fails without this fix. Co-authored-by: ComplexSymbol <141301057+ComplexSymbol@users.noreply.github.com> Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-06-10 15:41:24 +10:00
Damien George	49f81d5046	tests/float/math_constants.py: Test actual e and pi constant values. ... The existing test for `math.e` and `math.pi` constants can fail on certain targets if the functions `math.exp()` and/or `math.cos()` are not accurate enough (eg out by an LSB of float precision). For example this test currently fails on PYBD_SF6 which uses double precision floats (and that's due to the `lib/libm_dbl/exp.c` implementation not being exact). This commit changes this constant test so that it tests the actual constant value, not the evaluation of `exp()` and `cos()` functions. Signed-off-by: Damien George <damien@micropython.org>	2025-05-22 17:19:03 +10:00
Yoctopuce dev	5fdd249c55	py/parsenum: Reduce code footprint of mp_parse_num_float. ... The mantissa parsing code uses a floating point variable to accumulate digits. Using an `mp_float_uint_t` variable instead and casting to `mp_float_t` at the very end reduces code size. In some cases, it also improves the rounding behaviour as extra digits are taken into account by the int-to-float conversion code. An extra test case handles the special case where mantissa overflow occurs while processing deferred trailing zeros. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-02-28 13:35:12 +11:00
Damien George	659113825d	qemu: Rename qemu-arm port to qemu. ... Because this port now supports multiple architectures. Signed-off-by: Damien George <damien@micropython.org>	2024-09-06 11:08:39 +10:00
Damien George	ad6750b22e	tests/float: Use "not" instead of ~ to invert bool value. ... Otherwise CPython gives a deprecation warning. This test is not actually testing inversion of bools, rather that bit of the test is used to compute the pass/fail result. Signed-off-by: Damien George <damien@micropython.org>	2024-05-28 10:49:22 +10:00
Damien George	9d27183bde	tests/float/float_struct_e.py: Add specific test for struct 'e' type. ... Signed-off-by: Damien George <damien@micropython.org>	2024-03-20 14:13:49 +11:00
Matthias Urlichs	e520fa2e0f	py/binary: Support half-float 'e' format in struct pack/unpack. ... This commit implements the 'e' half-float format: 10-bit mantissa, 5-bit exponent. It uses native _Float16 if supported by the compiler, otherwise uses custom bitshifting encoding/decoding routines. Signed-off-by: Matthias Urlichs <matthias@urlichs.de> Signed-off-by: Damien George <damien@micropython.org>	2024-03-20 14:13:49 +11:00
Damien George	b796f1e3f1	tests/float/inf_nan_arith.py: Include -inf in argument combos. ... This adds tests for, eg, -inf + inf which should be nan. Signed-off-by: Damien George <damien@micropython.org>	2023-12-06 14:06:01 +11:00
Damien George	7c88cdda49	tests/float/math_domain.py: Tweak test to also pass with obj-repr-C. ... Signed-off-by: Damien George <damien@micropython.org>	2023-09-29 12:02:21 +10:00
Damien George	3695211576	tests/float/float_format_ints.py: Put power-of-10 test in separate file. ... This test doesn't pass on builds with 30-bit floats (object repr C). Signed-off-by: Damien George <damien@micropython.org>	2023-09-29 12:00:15 +10:00
Damien George	ed962f1f23	tests/float: Test domain errors for more combos of args to math funcs. ... Instead of having a special set of arguments to test for each math-module function, just test all functions with all sets of arguments. This gives improved test cases to prevent regressions. Signed-off-by: Damien George <damien@micropython.org>	2023-06-18 12:45:55 +10:00
Jim Mussared	4216bc7d13	tests: Replace umodule with module everywhere. ... This work was funded through GitHub Sponsors. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>	2023-06-08 17:54:24 +10:00
Damien George	2e4dda3c20	py/modmath: Fix two-argument math function domain check. ... Prior to this fix, pow(1.5, inf) and pow(0.5, -inf) (among other things) would incorrectly raise a ValueError, because the result is inf with the first argument being finite. This commit fixes this by allowing the result to be infinite if the first or second (or both) argument is infinite. This fix doesn't affect the other three math functions that have two arguments: - atan2 never returns inf, so always fails isinf(ans) - copysign returns inf only if the first argument x is inf, so will never reach the isinf(y) check - fmod never returns inf, so always fails isinf(ans) Signed-off-by: Damien George <damien@micropython.org>	2023-02-24 15:55:12 +11:00
Damien George	177ae2f346	tests/float: Make output of math function tests more readable. ... By explicitly naming the function, its arguments, and result. Signed-off-by: Damien George <damien@micropython.org>	2023-02-16 10:38:38 +11:00
Damien George	799d888182	tests/float: Add domain checks for log and also -inf. ... Signed-off-by: Damien George <damien@micropython.org>	2023-02-16 10:26:33 +11:00
Damien George	5c3c1c737e	tests/float: Skip new complex tests if complex unavailable. ... These complex tests were recently added. Signed-off-by: Damien George <damien@micropython.org>	2023-02-09 15:20:00 +11:00
Dan Ellis	6f4d424f46	py/formatfloat: Use pow(10, e) instead of pos/neg_pow lookup tables. ... Rework the conversion of floats to decimal strings so it aligns precisely with the conversion of strings to floats in parsenum.c. This is to avoid rendering 1eX as 9.99999eX-1 etc. This is achieved by removing the power- of-10 tables and using pow() to compute the exponent directly, and that's done efficiently by first estimating the power-of-10 exponent from the power-of-2 exponent in the floating-point representation. Code size is reduced by roughly 100 to 200 bytes by this commit. Signed-off-by: Dan Ellis <dan.ellis@gmail.com>	2022-08-12 23:53:34 +10:00
Dan Ellis	f9cbe6bc47	py/formatfloat: Format all whole-number floats exactly. ... Formerly, py/formatfloat would print whole numbers inaccurately with nonzero digits beyond the decimal place. This resulted from its strategy of successive scaling of the argument by 0.1 which cannot be exactly represented in floating point. The change in this commit avoids scaling until the value is smaller than 1, so all whole numbers print with zero fractional part. Fixes issue #4212. Signed-off-by: Dan Ellis dan.ellis@gmail.com	2022-07-26 22:23:47 +10:00
Damien George	4fe3e493b1	py/obj: Make mp_obj_get_complex_maybe call mp_obj_get_float_maybe first. ... This commit simplifies mp_obj_get_complex_maybe() by first calling mp_obj_get_float_maybe() to handle the cases corresponding to floats. Only if that fails does it attempt to extra a full complex number. This reduces code size and also means that mp_obj_get_complex_maybe() now supports user-defined classes defining __float__; in particular this allows user-defined classes to be used as arguments to cmath-module function. Furthermore, complex_make_new() can now be simplified to directly call mp_obj_get_complex(), instead of mp_obj_get_complex_maybe() followed by mp_obj_get_float(). This also improves error messages from complex with an invalid argument, it now raises "can't convert <type> to complex" rather than "can't convert <type> to float". Signed-off-by: Damien George <damien@micropython.org>	2022-07-25 16:11:26 +10:00
Andrew Leech	1e87b56219	py/obj: Add support for __float__ and __complex__ functions.	2022-07-25 14:23:34 +10:00
Damien George	61ce260ff7	py/parsenum: Fix parsing of complex "j" and also "nanj", "infj". ... Prior to this commit, complex("j") would return 0j, and complex("nanj") would return nan+0j. This commit makes sure "j" is tested for after parsing the number (nan, inf or a decimal), and also supports the case of "j" on its own. Signed-off-by: Damien George <damien@micropython.org>	2022-06-23 11:46:47 +10:00
Jim Mussared	0172292762	py/parsenum: Support parsing complex numbers of the form "a+bj". ... To conform with CPython. Signed-off-by: Jim Mussared <jim.mussared@gmail.com>	2022-06-23 11:46:47 +10:00
Damien George	ab2923dfa1	all: Update Python formatting to latest Black version 22.1.0. ... Signed-off-by: Damien George <damien@micropython.org>	2022-02-02 16:49:55 +11:00
stijn	dd6967202a	py/modmath: Add math.tau, math.nan and math.inf constants. ... Configurable by the new MICROPY_PY_MATH_CONSTANTS option.	2022-01-23 09:28:33 +11:00
Damien George	adf35cbab0	tests/float: Make bytes/bytearray construct tests work with obj repr C. ... 2.5 can be represented correctly in object representation C, but 2.3 cannot (it is slightly truncated). Signed-off-by: Damien George <damien@micropython.org>	2021-06-18 14:16:07 +10:00
Damien George	dc86e04476	tests: Make float and framebuf tests skip or run on big-endian archs. ... Signed-off-by: Damien George <damien@micropython.org>	2021-05-26 16:33:18 +10:00
stijn	2e54d9d146	py: Fix handling of NaN in certain pow implementations. ... Adds a new compile-time option MICROPY_PY_MATH_POW_FIX_NAN for use with toolchains that don't handle pow-of-NaN correctly.	2020-09-11 10:04:57 +10:00
Damien George	8d5a40c86e	py/objfloat: Fix handling of negative float to power of nan. ... Prior to this commit, pow(-2, float('nan')) would return (nan+nanj), or raise an exception on targets that don't support complex numbers. This is fixed to return simply nan, as CPython does. Signed-off-by: Damien George <damien@micropython.org>	2020-09-11 10:03:57 +10:00
stijn	40ad8f1666	all: Rename "sys" module to "usys". ... This is consistent with the other 'micro' modules and allows implementing additional features in Python via e.g. micropython-lib's sys. Note this is a breaking change (not backwards compatible) for ports which do not enable weak links, as "import sys" must now be replaced with "import usys".	2020-09-04 00:10:24 +10:00
Damien George	06659077a8	all: Update Python code to conform to latest black formatting. ... Updating to Black v20.8b1 there are two changes that affect the code in this repository: - If there is a trailing comma in a list (eg [], () or function call) then that list is now written out with one line per element. So remove such trailing commas where the list should stay on one line. - Spaces at the start of """ doc strings are removed. Signed-off-by: Damien George <damien@micropython.org>	2020-08-29 15:18:01 +10:00
Damien George	0c7354afaf	tests: Split out complex reverse-op tests to separate test file. ... So they can be skipped if __rOP__'s are not supported on the target. Also fix the typo in the complex_special_methods.py filename. Signed-off-by: Damien George <damien@micropython.org>	2020-08-29 14:12:20 +10:00
Damien George	9f911d822e	py/objcomplex: Add mp_obj_get_complex_maybe for use in complex bin-op. ... This allows complex binary operations to fail gracefully with unsupported operation rather than raising an exception, so that special methods work correctly. Signed-off-by: Damien George <damien@micropython.org>	2020-06-27 01:03:10 +10:00
stijn	81db22f693	py/modmath: Work around msvc float bugs in atan2, fmod and modf. ... Older implementations deal with infinity/negative zero incorrectly. This commit adds generic fixes that can be enabled by any port that needs them, along with new tests cases.	2020-05-28 09:54:54 +10:00
stijn	f31f9a8b70	py/objint: Do not use fpclassify. ... For combinations of certain versions of glibc and gcc the definition of fpclassify always takes float as argument instead of adapting itself to float/double/long double as required by the C99 standard. At the time of writing this happens for instance for glibc 2.27 with gcc 7.5.0 when compiled with -Os and glibc 3.0.7 with gcc 9.3.0. When calling fpclassify with double as argument, as in objint.c, this results in an implicit narrowing conversion which is not really correct plus results in a warning when compiled with -Wfloat-conversion. So fix this by spelling out the logic manually.	2020-04-18 22:42:24 +10:00
stijn	7fb9edf436	tests/float: Fix cmath_fun_special for MICROPY_FLOAT_IMPL_FLOAT. ... When the unix and windows ports use MICROPY_FLOAT_IMPL_FLOAT instead of MICROPY_FLOAT_IMPL_DOUBLE, the test output has for example complex(-0.15052, 0.34109) instead of the expected complex(-0.15051, 0.34109). Use one decimal place less for the output printing to fix this.	2020-04-18 22:36:49 +10:00
David Lechner	6110cd3078	tests/float: Add new lexer test to test parsing of float without prefix. ... Since automatically formatting tests with black, we have lost one line of code coverage. This adds an explicit test to ensure we are testing the case that is no longer covered implicitly.	2020-03-30 13:23:05 +11:00
David Lechner	3dc324d3f1	tests: Format all Python code with black, except tests in basics subdir. ... This adds the Python files in the tests/ directory to be formatted with ./tools/codeformat.py. The basics/ subdirectory is excluded for now so we aren't changing too much at once. In a few places `# fmt: off`/`# fmt: on` was used where the code had special formatting for readability or where the test was actually testing the specific formatting.	2020-03-30 13:21:58 +11:00
Damien George	27465e6b24	tests/basics: Add tests for equality between bool and int/float/complex. ... False/True should be implicitly converted to 0/1 when compared with numeric types.	2020-02-11 11:06:17 +11:00
Yonatan Goldschmidt	cb4472df42	tests: Add boolean-as-integer formatting tests for fixed regression. ... As suggested by @dpgeorge in #5538.	2020-01-24 10:57:17 +11:00
Damien George	30e25174bb	tests: Rename "array" module to "uarray".	2019-10-22 19:16:54 +11:00
stijn	af5c998f37	py/modmath: Implement math.isclose() for non-complex numbers. ... As per PEP 485, this function appeared in for Python 3.5. Configured via MICROPY_PY_MATH_ISCLOSE which is disabled by default, but enabled for the ports which already have MICROPY_PY_MATH_SPECIAL_FUNCTIONS enabled.	2019-08-17 23:23:17 +10:00