Mercurial > repos > alg_tools / file diff

--- a/src/convex.rs	Wed Apr 30 00:23:04 2025 -0500
+++ b/src/convex.rs	Wed Apr 30 00:29:16 2025 -0500
@@ -22,7 +22,7 @@
 ///
 /// The conjugate type has to implement [`ConvexMapping`], but a `Conjugable` mapping need
 /// not be convex.
-pub trait Conjugable<Domain: HasDual<F>, F: Num = f64>: Mapping<Domain> {
+pub trait Conjugable<Domain: HasDual<F>, F: Num = f64>: Mapping<Domain, Codomain = F> {
     type Conjugate<'a>: ConvexMapping<Domain::DualSpace, F>
     where
         Self: 'a;
@@ -39,7 +39,7 @@
     Domain: Space,
     Predual: HasDual<F>,
 {
-    type Preconjugate<'a>: Mapping<Predual>
+    type Preconjugate<'a>: Mapping<Predual, Codomain = F>
     where
         Self: 'a;