From b4484700a2fbf4a569ab9e2789d6ea3d24956731 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Wed, 23 Feb 2022 11:54:02 +0100 Subject: more comments --- src/act4e_solutions/relations.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/act4e_solutions/relations.py') 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: -- cgit v1.2.1