Initial work on constant propagation

Relates to #141

So far, it is possible to detect a constant propagation. Now, it is just left to do something other than just printing it...

b_asic/core_operations.py

@@ -290,6 +290,12 @@ class AddSub(AbstractOperation):
         if any(c == 0.0 for c in constants):
             print("One input is 0!")
 
+    def _propagate_constant_parameters(
+        self, valid_operations: Optional[Set["Operation"]] = None
+    ) -> None:
+        print(f"Can turn into {'Addition' if self.is_add else 'Subtraction'}")
+        return
+
 
 class Multiplication(AbstractOperation):
     r"""
@@ -354,6 +360,8 @@ class Multiplication(AbstractOperation):
     ) -> None:
         if any(c == 0.0 for c in constants):
             print("One input is 0!")
+        if any(c == 1.0 for c in constants):
+            print("One input is 1!")
         print("Can turn into ConstantMultiplication")
 
 
@@ -648,6 +656,15 @@ class ConstantMultiplication(AbstractOperation):
         """Set the constant value of this operation."""
         self.set_param("value", value)
 
+    def _propagate_constant_parameters(
+        self, valid_operations: Optional[Set["Operation"]] = None
+    ) -> None:
+        if self.value == 0.0:
+            print("Constant is zero!")
+        if self.value == 1.0:
+            print("Constant is zero!")
+        return
+
 
 class Butterfly(AbstractOperation):
     r"""
@@ -690,6 +707,14 @@ class Butterfly(AbstractOperation):
     def evaluate(self, a, b):
         return a + b, a - b
 
+    def _propagate_some_constants(
+        self,
+        constants: Iterable[Optional[Number]],
+        valid_operations: Optional[Set["Operation"]] = None,
+    ) -> None:
+        if any(c == 0.0 for c in constants):
+            print("One input is 0!")
+
 
 class MAD(AbstractOperation):
     r"""
@@ -729,6 +754,19 @@ class MAD(AbstractOperation):
     def evaluate(self, a, b, c):
         return a * b + c
 
+    def _propagate_some_constants(
+        self,
+        constants: Iterable[Optional[Number]],
+        valid_operations: Optional[Set["Operation"]] = None,
+    ) -> None:
+        a, b, c = constants
+        if a == 0.0 or b == 0.0:
+            print("One multiplier input is zero!")
+        if a == 1.0 or b == 1.0:
+            print("One multiplier input is one!")
+        if any(c == 0.0):
+            print("Adder input is zero!")
+
 
 class SymmetricTwoportAdaptor(AbstractOperation):
     r"""
@@ -780,3 +818,18 @@ class SymmetricTwoportAdaptor(AbstractOperation):
     def value(self, value: Number) -> None:
         """Set the constant value of this operation."""
         self.set_param("value", value)
+
+    def _propagate_some_constants(
+        self,
+        constants: Iterable[Optional[Number]],
+        valid_operations: Optional[Set["Operation"]] = None,
+    ) -> None:
+        if any(c == 0.0 for c in constants):
+            print("One input is 0!")
+
+    def _propagate_constant_parameters(
+        self, valid_operations: Optional[Set["Operation"]] = None
+    ) -> None:
+        if self.value == 0.0:
+            print("Constant is zero!")
+        return