diff options
| -rw-r--r-- | src/act4e_solutions/maps.py | 3 | ||||
| -rw-r--r-- | src/act4e_solutions/relations.py | 3 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py index acba84e..8f161f4 100644 --- a/src/act4e_solutions/maps.py +++ b/src/act4e_solutions/maps.py @@ -23,6 +23,3 @@ class SolFiniteMapOperations(I.FiniteMapOperations): def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]: raise NotImplementedError() - - def as_relation(self, f: I.FiniteMap[A, B]) -> I.FiniteRelation[A, B]: - raise NotImplementedError() diff --git a/src/act4e_solutions/relations.py b/src/act4e_solutions/relations.py index 048b500..26f90a7 100644 --- a/src/act4e_solutions/relations.py +++ b/src/act4e_solutions/relations.py @@ -30,6 +30,9 @@ class SolFiniteRelationOperations(I.FiniteRelationOperations): def transpose(self, fr: I.FiniteRelation[A, B]) -> I.FiniteRelation[B, A]: raise NotImplementedError() + def as_relation(self, f: I.FiniteMap[A, B]) -> I.FiniteRelation[A, B]: + raise NotImplementedError() + class SolFiniteEndorelationProperties(I.FiniteEndorelationProperties): def is_reflexive(self, fr: I.FiniteRelation[Any, Any]) -> bool: |