8 commits

Author	SHA1	Message	Date
Lev Nachmanson	ab9f3307d6	change the default of running dio to true, and running gcd to false, remove branching in dio ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-04-18 18:24:50 -07:00
Lev Nachmanson	972f80188a	throttle dio for big numbers ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-04-18 18:24:50 -07:00
Lev Nachmanson	7c12a029e2	detect non integral terms in dio ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-03-24 07:44:13 -10:00
Lev Nachmanson	8aeba62802	remove more warnings ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-02-11 12:23:00 -10:00
Lev Nachmanson	59e2dab69a	create a conflict explanation ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-02-11 12:23:00 -10:00
Lev Nachmanson	52653e6e43	a version with less pointers: got a conflict ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-02-11 12:23:00 -10:00
Lev Nachmanson	3b22d3b19d	fix the crash	2025-02-11 12:23:00 -10:00
Lev Nachmanson	abf29b57aa	crash ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2025-02-11 12:23:00 -10:00