fix: adjust pre_dcp to updated atom library

verified-optimization · Mar 9, 2024 · 81ef3b7 · 81ef3b7
1 parent 3281a89
commit 81ef3b7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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])),