From 81ef3b7d4926d0da08519a8a6165151183e87d99 Mon Sep 17 00:00:00 2001 From: Ramon Fernandez Mir Date: Sat, 9 Mar 2024 13:26:52 +0000 Subject: [PATCH] fix: adjust `pre_dcp` to updated atom library --- CvxLean/Tactic/PreDCP/Egg/FromMinimization.lean | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CvxLean/Tactic/PreDCP/Egg/FromMinimization.lean b/CvxLean/Tactic/PreDCP/Egg/FromMinimization.lean index 4818b2ed..db38573d 100644 --- a/CvxLean/Tactic/PreDCP/Egg/FromMinimization.lean +++ b/CvxLean/Tactic/PreDCP/Egg/FromMinimization.lean @@ -57,7 +57,11 @@ def opMap : HashMap String (String × Array EggTreeOpArgTag) := ("mul", ("mul", #[.arg, .arg])), ("mul1", ("mul", #[.arg, .arg])), ("mul2", ("mul", #[.arg, .arg])), + ("mul3", ("mul", #[.arg, .arg])), + ("mul4", ("mul", #[.arg, .arg])), ("div", ("div", #[.arg, .arg])), + ("div1", ("div", #[.arg, .arg])), + ("div2", ("div", #[.arg, .arg])), ("quadOverLin", ("qol", #[.arg, .arg])), ("geoMean", ("geo", #[.arg, .arg])), ("logSumExp₂", ("lse", #[.arg, .arg])),