gap_julia should check if julia_obj is an MPtr

[oscar-system]

gap_julia should check if julia_obj is an MPtr

[sebasguts]

I would guess this should be an error then. Maybe try to convert it using the conversion function __ConvertedFromJulia_internal? Or would you think this is too implicit?

[fingolfin]

Well, that goes back to the question I had yesterday: Why is ConvertedToJulia called automatically, but ConvertedFromJulia is not? What you are proposing seems to suggest to call that automatically, too.

Personally, I'd rather go the other way: I would not perform any conversion except the bare minimum (i.e. dealing with T_INT / T_FFE when going from GAP to Julia) in both directions; at least in the lowest level code. If automatic conversions are deemed desirable in some or all cases, then this could be implemented in a higher level. This way, at least the user a chance to bypass the automatic conversion in situations where this is beneficial.

[sebasguts]

Yep, this seems reasonable.

[fingolfin]

Ah, to clarify and finish that thought: if the input is a Julia object which is not an MPtr, or an T_FFE wrapper (or perhaps also a machine integer), then there is a choice between producing an error, or automatically wrapping it into a T_JULIA.

I think the latter is harmless and strictly superior to an error, as it is the bare minimum one needs to do.

A third option is to provide two functions: one which produces an error resp. wraps into a T_JULIA; the other automatically calls ConvertedFromJulia, for convenience

[fingolfin]

All in all though, this is just theoretical wanking, it's best to start writing more complex code, and then seeing what one ends up needing. I.e. be ready to revise whatever decision is made now ;-)

[sebasguts]

Currently, this function is really just used in a single case: Calling GAP functions from Julia. I think making the object a T_JULIA is the most sensible option here (just did not think about it beforehand). That way, one can actually somehow pass Julia Objects itself to GAP functions.

[sebasguts]

This also means that we might want to use a different pattern in other places.

[fingolfin]

indeed, and based on that, one can easily write a Julia function which first passes all arguments through ConvertedFromJulia, if so desired.