Another property of elements that comes up, probably more to come
This commit is contained in:
parent
d30824247d
commit
b749798764
@ -321,6 +321,7 @@ AddDictionary(OFDir@, "IsExtRElement", IsExtLElement);
|
||||
AddDictionary(OFDir@, "IsFiniteOrderElement", IsFiniteOrderElement);
|
||||
AddDictionary(OFDir@, "IsInt", fail);
|
||||
AddDictionary(OFDir@, "IsLeftQuotientElement", IsRightQuotientElement);
|
||||
AddDictionary(OfDir@, "IsList", fail);
|
||||
AddDictionary(OFDir@, "IsLSelfDistElement", IsRSelfDistElement);
|
||||
AddDictionary(OFDir@, "IsMultiplicativeElement", fail);
|
||||
AddDictionary(OFDir@, "IsMultiplicativeElementWithInverse",
|
||||
|
Loading…
Reference in New Issue
Block a user