Symengine conversion fails due to potentially spurious isinstance check

[gkaissis]

When trying to convert a pymbolic expression containing a call to exp (-> Call(Lookup(math), exp)), this line gets called which checks if the Lookup is a prim.Variable. From my limited understanding this will always fail and crash because the Lookup is a Lookup type and not a Variable. Indeed, skipping this check converts normally both to symengine and to sympy. Is this intentional? Has this something to do with the context that should be passed to the SymEngine mapper?

Thank you!

[inducer]

The code you point to is more geared towards converting functions encoded as Call(Variable("exp"), ...), i.e. not as a dotted name, but just as a bare identifier. If you'd like to change that behavior, you can simply inherit from the mapper and override it to your heart's content.

[gkaissis]

Thanks so much!