sympy象征表达的类型

Question

我的函数只能接受类型类型的参数，就像您打电话时一样，

type(type)

而

type(type(sympy.symbols("a"))

不是type，而是sympy.core.core.assumptions.manavedproperties。

我想知道是否有一种方法可以使类型（符号（“ A”））抛出type。

Answer 1

ManagedProperties类本身是类型的子类：

In [7]: type(type(symbols("a"))).__mro__
Out[7]: 
(sympy.core.assumptions.ManagedProperties,
 sympy.core.core.BasicMeta,
 type,
 object)

从这个意义上说，它已经是type ，或者不必有任何理由来将其与类型：

In [8]: isinstance(type(symbols("a")), type)
Out[8]: True

In [9]: issubclass(type(type(symbols("a"))), type)
Out[9]: True