diff options
| author | Andrea Censi <acensi@ethz.ch> | 2022-02-23 11:54:02 +0100 |
|---|---|---|
| committer | Andrea Censi <acensi@ethz.ch> | 2022-02-23 11:54:02 +0100 |
| commit | b4484700a2fbf4a569ab9e2789d6ea3d24956731 (patch) | |
| tree | b50cf3aa206c3fd28a1d5365583e20cbfcccdf26 /src/act4e_solutions | |
| parent | merge (diff) | |
| download | act4e-b4484700a2fbf4a569ab9e2789d6ea3d24956731.tar.gz act4e-b4484700a2fbf4a569ab9e2789d6ea3d24956731.zip | |
more comments
Diffstat (limited to 'src/act4e_solutions')
| -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: |