This commit is contained in:
Glen Whitney 2017-10-23 03:11:05 +02:00
parent 030ed9d114
commit 03f36dd672

View File

@ -329,14 +329,14 @@ AddDictionary(OFDir@, "IsRSelfDistElement", IsLSelfDistElement);
InstallMethod(OppositeFamily, "for a family",
[IsFamily],
function(fam)
local F, elt, elt_props, opp_props, prop, opp_filt;
local F, elt, elt_props, opp_props, prop, opp_filt, filt;
elt := Representative(fam);
elt_props := CategoriesOfObject(elt);
Append(elt_props, KnownTruePropertiesOfObject(elt));
opp_props := [];
for prop in elt_props do
if KnowsDictionary(OFDir@, prop) then
Add(opp_props, LookupDictionary(OFDir@, prop);
Add(opp_props, LookupDictionary(OFDir@, prop));
fi;
od;
opp_filt := IsMultiplicativeElement;