Cleanup

julianpeeters · Feb 3, 2024 · 4a9eba9 · 4a9eba9
1 parent 24f08e7
commit 4a9eba9
Showing 1 changed file with 0 additions and 9 deletions.
diff --git a/modules/poly/shared/src/main/scala/polynomial/morphism/PolyMap.scala b/modules/poly/shared/src/main/scala/polynomial/morphism/PolyMap.scala
@@ -36,7 +36,6 @@ object PolyMap:
     case (PolyMap[p, q, Y], Monomial.Interface[a2, b2, Y])                              => Phi[p, Monomial.Interface[a2, b2, _], Y]
     case (PolyMap[o, p, Y], Tensor[q, r, Y])                                            => Phi[o, Tensor[q, r, _], Y]
     case (Monomial.Store[s, Y], Binomial.Interface[a1, b1, a2, b2, Y])                  => (s => b1, s => b2)
-    // case (Monomial.Store[s, Y], Monomial.Interface[a, b, Y])                            => s => b
     case (Monomial.Store[s, Y], Monomial.Interface[a, b, Y])                            => Tambara[s, b]
     case (Monomial.Store[s, Y], Composition[p, q, Y])                                   => (Phi[Monomial.Store[s, _], p, Y], Phi[p, q, Y])
     case (Tensor[p, q, Y], Monomial.Store[s1, Y])                                       => Phi[Tensor.DayConvolution[p, q, _], Monomial.Store[s1, _], Y]
@@ -50,7 +49,6 @@ object PolyMap:
     case (Monomial.Interface[a1, b1, Y], Binomial.Interface[a2, b2, a3, b3, Y])         => ((b1, a2) => a1, (b1, a3) => a1)
     case (Monomial.Interface[a1, b1, Y], Monomial.Interface[a2, b2, Y])                 => (b1, a2) => a1
     case (Monomial.Store[s, Y], Binomial.Interface[a1, b1, a2, b2, Y])                  => ((s, a1) => s, (s, a2) => s)
-    // case (Monomial.Store[s, Y], Monomial.Interface[a, b, Y])                            => (s, a) => s
     case (Monomial.Store[s, Y], Monomial.Interface[a, b, Y])                            => TambaraSharp[s, a]
     case (Monomial.Store[s, Y], Composition[p, q, Y])                                   => (s, Composition.DecomposeSharp[p, q, Y]) => s
     case (PolyMap[p, q, Y], Binomial.Interface[a3, b3, a4, b4, Y])                      => PhiSharp[p, Binomial.Interface[a3, b3, a4, b4, _], Y]
@@ -62,16 +60,9 @@ object PolyMap:
     case (Tensor[o, p, Y], Tensor[q, r, Y])                                             => PhiSharp[Tensor.DayConvolution[o, p, _], Tensor.DayConvolution[q, r, _], Y]
 
   type Tambara[S, B] = (S, B) match
-    // case ((c, t), B) => S => (c, B)
-    // case (Either[c, t], B) => S => Either[t, B]
     case (Id[s], Id[b]) => s => b
     case (Option[s], Id[b]) => Option[s] => b
     case (Option[s], Option[b]) => Option[s] => Option[b]
-    // case (S, B) => S => B
-
 
   type TambaraSharp[S, A] = (S, A) match
-    // case ((c, t), A) => (S, (A, c)) => S
-    // case (Option[s], A) => (S, Option[A]) => Option[s]
-    // case (Either[c, t], A) => (S, Either[t, A]) => t
     case (Id[s], A) => (s, A) => s