put IsPerm on the list of props
This commit is contained in:
parent
1337c5a18f
commit
c8aedd03c6
1 changed files with 1 additions and 0 deletions
|
@ -329,6 +329,7 @@ AddDictionary(OFDir@, "IsMultiplicativeElementWithOne",
|
||||||
AddDictionary(OFDir@, "IsNearAdditiveElement", fail);
|
AddDictionary(OFDir@, "IsNearAdditiveElement", fail);
|
||||||
AddDictionary(OFDir@, "IsNearAdditiveElementWithInverse", fail);
|
AddDictionary(OFDir@, "IsNearAdditiveElementWithInverse", fail);
|
||||||
AddDictionary(OFDir@, "IsNearAdditiveElementWithZero", fail);
|
AddDictionary(OFDir@, "IsNearAdditiveElementWithZero", fail);
|
||||||
|
AddDictionaty(OFDir@, "IsPerm", fail);
|
||||||
AddDictionary(OFDir@, "IsPosRat", fail);
|
AddDictionary(OFDir@, "IsPosRat", fail);
|
||||||
AddDictionary(OFDir@, "IsRat", fail);
|
AddDictionary(OFDir@, "IsRat", fail);
|
||||||
AddDictionary(OFDir@, "IsRightQuotientElement", IsLeftQuotientElement);
|
AddDictionary(OFDir@, "IsRightQuotientElement", IsLeftQuotientElement);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue