"OMSTR": parse_omstr,
"OMV": parse_var,
}
OMDICTS = defaultdict(dict)
# logic1 http://www.openmath.org/cd/logic1.xhtml
OMDICTS["logic1"]["true"] = True
OMDICTS["logic1"]["false"] = False
# nums1 http://www.openmath.org/cd/nums1.xhtml1
OMDICTS["nums1"]["rational"] = oms_nums1_rational
# complex1 http://www.openmath.org/cd/complex1.xhtml
OMDICTS["complex1"]["complex_cartesian"] = oms_complex1_complex_cartesian
# interval1 http://www.openmath.org/cd/interval1.xhtml
OMDICTS["interval1"]["integer_interval"] = oms_interval1_integer_interval
# list1 http://www.openmath.org/cd/list1.xhtml
OMDICTS["list1"]["list"] = oms_list1_list
CDs = Symbol.__subclasses__()
for class_ in CDs:
print(class_.name())
OMDICTS[class_.dictionary()][class_.name()] = class_
for subclass in class_.__subclasses__():
print(subclass.name())
OMDICTS[subclass.dictionary()][subclass.name()] = subclass
