This commit is contained in:
Glen Whitney 2017-10-22 18:44:51 +02:00
parent c8aedd03c6
commit 763ec873e0
1 changed files with 1 additions and 1 deletions

View File

@ -329,7 +329,7 @@ AddDictionary(OFDir@, "IsMultiplicativeElementWithOne",
AddDictionary(OFDir@, "IsNearAdditiveElement", fail);
AddDictionary(OFDir@, "IsNearAdditiveElementWithInverse", fail);
AddDictionary(OFDir@, "IsNearAdditiveElementWithZero", fail);
AddDictionaty(OFDir@, "IsPerm", fail);
AddDictionary(OFDir@, "IsPerm", fail);
AddDictionary(OFDir@, "IsPosRat", fail);
AddDictionary(OFDir@, "IsRat", fail);
AddDictionary(OFDir@, "IsRightQuotientElement", IsLeftQuotientElement);