cargo fmt

src/circuit/quotient.rs

@@ -1,12 +1,12 @@
-use crate::poly::{flat::Poly,var::Var};
-use super::dag::Circuit;
+use super::dag::{Circuit, NodeId};
+use crate::poly::{flat::Poly, var::Var};
 
 use itertools::Itertools;
 
-use std::fmt::{self,Display};
+use std::fmt::{self, Display};
 
 #[derive(Clone, Debug)]
-pub struct Quotient<V:Var>{
+pub struct Quotient<V: Var> {
     basis: Vec<Poly<V>>,
     circuit: Circuit<V>,
 }
@@ -14,15 +14,31 @@ pub struct Quotient<V:Var>{
 impl<V: Var> FromIterator<Poly<V>> for Quotient<V> {
     fn from_iter<T: IntoIterator<Item = Poly<V>>>(iter: T) -> Self {
         Quotient {
-            basis:iter.into_iter().collect(),
-            circuit:Default::default()
+            basis: iter.into_iter().collect(),
+            circuit: Default::default(),
         }
     }
 }
 
-impl<V:Var> Display for Quotient<V>{
-    fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> Result<(),fmt::Error>{
-        write!(fmt, "C/<{}>", self.basis.iter().map(|p| format!("{p}")).join(","))
+impl<V: Var> Display for Quotient<V> {
+    fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> Result<(), fmt::Error> {
+        write!(
+            fmt,
+            "C/<{}>",
+            self.basis.iter().map(|p| format!("{p}")).join(",")
+        )
     }
 }
 
+impl<V: Var> Quotient<V> {
+    pub fn node(&mut self, n: Node<V>) -> NodeId {
+        self.circuit.node(n)
+    }
+
+    pub fn add(left: NodeId, right: NodeId) {
+        self.circuit.add(left, right)
+    }
+    pub fn mul(left: NodeId, right: NodeId) {
+        self.circuit.mul(left, right)
+    }
+}