Sieds Lykles and GitHub
661e9a2d5d
div_and_mod_folding refactor ( #11585 )
...
* divmod const folding is its own function
* split nested mod optimization out of div and mod folding
* make `fold_binary_numerator` its own function
* factor out `fold_divmod_congruence`
* check sign of numerator
* add tests
* assert int on vmin and vmax
* add type: ignore
* factor out more rules
* remove div_and_mod_folding
* cached_property to property
* remove import
* add returns
* restore old order
* check sign of x.vmin and newx.vmin
* check more signs
* add some test that would have caught bugs
* better test if the div simplified
* shorten line
* replace terms_factors_const with pop_const
* move that back
* minor cleanup
* remove comments
* some cleanup
2025-08-14 11:52:42 +02:00
..
2025-08-13 09:37:12 -07:00
2025-05-26 14:38:28 -07:00
2025-07-12 14:27:46 -04:00
2025-07-09 15:30:34 -07:00
2025-08-14 11:52:42 +02:00
2025-06-17 19:39:34 +03:00
2020-12-15 23:44:08 -08:00
2024-11-11 20:18:04 +08:00
2025-06-27 13:48:48 +03:00
2025-05-16 02:03:20 -04:00
2025-08-07 14:19:17 -07:00
2025-06-08 08:42:22 -07:00
2024-11-15 14:30:52 -05:00
2025-08-13 19:50:16 -04:00
2025-07-24 17:36:19 +03:00
2025-07-27 10:41:57 -07:00
2025-02-18 15:26:58 +08:00
2025-08-11 13:38:48 -04:00
2025-06-09 18:30:04 -04:00
2025-08-02 15:25:00 -04:00
2025-08-11 23:36:35 -04:00
2025-02-02 15:01:24 +02:00
2025-06-18 21:48:04 +03:00
2025-08-02 21:01:19 +03:00
2025-05-07 16:03:35 +03:00
2025-08-07 14:19:17 -07:00
2025-07-17 17:34:18 -04:00
2025-02-25 10:32:00 +03:00
2025-05-28 11:51:27 -07:00
2025-08-11 15:51:22 +03:00
2025-02-20 18:03:09 -05:00
2025-08-13 14:27:55 -04:00
2025-08-07 14:19:17 -07:00
2025-08-07 14:19:17 -07:00
2025-08-07 14:19:17 -07:00
2025-06-18 21:48:04 +03:00
2024-12-04 16:36:48 +08:00
2024-03-14 20:44:34 -07:00
2025-08-03 13:02:44 -07:00
2024-12-19 20:32:59 -08:00
2025-08-09 17:59:23 +02:00
2024-10-01 16:57:22 +08:00
2025-08-13 18:40:48 -04:00
2025-08-07 14:19:17 -07:00
2025-08-13 14:27:55 -04:00
2025-07-02 14:28:44 -07:00
2025-06-08 08:42:22 -07:00
2025-07-21 15:10:38 +03:00
2025-08-07 14:19:17 -07:00
2025-07-12 13:51:59 -04:00
2025-07-21 09:29:44 -07:00
2025-06-08 08:42:22 -07:00
2025-08-03 13:02:44 -07:00
2025-08-10 20:02:38 -04:00
2025-08-07 14:19:17 -07:00
2025-07-30 22:03:41 -04:00
2025-08-07 07:57:58 -07:00
2025-02-16 19:57:29 -05:00
2025-05-04 16:37:26 -07:00
2025-08-06 13:27:51 -07:00
2025-06-29 09:06:10 -07:00
2025-06-09 11:53:02 -07:00
2025-06-11 16:00:38 -04:00
2024-11-24 16:42:57 -05:00
2025-06-08 08:42:22 -07:00
2025-04-24 08:06:08 -04:00
2025-08-05 15:40:24 -07:00
2025-06-23 17:41:16 -07:00
2023-11-27 21:24:06 -08:00
2025-03-22 11:08:18 +08:00
2025-07-29 15:35:51 -07:00
2025-08-07 14:19:17 -07:00
2025-08-10 13:13:16 +02:00
2025-08-06 14:19:59 -07:00
2025-06-08 08:42:22 -07:00