11 commits

Author	SHA1	Message	Date
Lev Nachmanson	738084c651	pass pmanager ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:41 -10:00
Lev Nachmanson	0ae7394362	pass anum_manager to levelwise, crash on sign ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:41 -10:00
Lev Nachmanson	53edb0211f	t ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:41 -10:00
Lev Nachmanson	c22b9416ff	more accurate init of the relation between polynomial properties ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:41 -10:00
Lev Nachmanson	b77bf3c97e	use std::map instead of std::unordered_map ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:41 -10:00
Lev Nachmanson	7030832273	t ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:40 -10:00
Lev Nachmanson	0800dd9bc7	define symbolic_interval ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:40 -10:00
Lev Nachmanson	9d5295fa97	more scaffolding ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:40 -10:00
Lev Nachmanson	d41ba603c8	closer to the paper ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:40 -10:00
Lev Nachmanson	0fdbd2cba1	scaffolding ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>	2026-01-31 15:56:40 -10:00
Lev Nachmanson	2ea22b5972	scaffoldin	2026-01-31 15:56:40 -10:00