You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be nice if we had a coherent, recursive and Oscar-wide policy on how to copy structs and expose this to the user.
For instance: I'm implementing a mutable struct for morphisms of affine schemes f : X -> Y. This struct has as one of its member variables the pullback homomorphism of the associated rings which is an instance f* of AlgebraHomomorphism.
Now I would like to implement my own copy constructor for morphisms of affine schemes which needs to take care of the internals. Therefore, at some point, I would like to call Base.copy(...) on the stored instance of f*. However, as for now, the copy routine is not implemented for AlgebraHomomorphism.
I'm afraid, this is not only about the FAQ part, but also about the design of Oscar: Which basic methods do we expect the developer to implement for any struct they introduce? So maybe this comment also belongs somewhere else. On the other hand, once such decisions have been taken, they should certainly be communicated somewhere.
@HechtiDerLachs I think in general copy or deepcopy "should" work; but this may not be implemented for an object; in that case perhaps you need to report it as a "missing feature". In any case, I don't think this belongs into the FAQ, at least as I have it in mind.
... which could discuss things like:
\\wsl$
in the address barlibjulia-dev
or something like that)fmpz
The text was updated successfully, but these errors were encountered: