make some Singular functions accessible for Oscar objects

[ThomasBreuer]

The functions Singular.substitute_variable, Singular.MaximalIdeal, Singular.satstd, and Singular.permute_variables have no counterparts for wrapped Oscar objects, see the comments in oscar-system/GITFans/issues/8.
(I am not sure whether an issue for Singular.jl is the right place for this request, but I have been advised to open one.)

[wbhart]

I am not sure either @ThomasBreuer

How can Singular.jl fix stuff missing in Oscar.jl?

[wbhart]

Unless perhaps they mean an export is missing here? However, I am not up to speed on what "Oscarification" actually involves.

[fingolfin]

My suggestion yesterday was (at least in my mind, I may not have said it explicitly, sorry) to submit this as an Oscar.jl issue. I'll transfer this issue there.

[fieker]

added to the issue in GitFan - all the functionality is there, but of course not in Singular names. Maybe not optimally wrapped or implemented, but all there

[ThomasBreuer]

Thanks for the hints. This is not an Oscar issue.