p_Invers: is only a helper routine for the 3-argument forms of jet

(see

https://www.singular.uni-kl.de/Manual/4 ... ng_265.htm).

It should not be used otherwise: is a static routine in newer releases

Furthermore, the coefficients must be from a field.

p_IsUnit: is currently only used to simplify ideals,

and currently defined as: p is a constant polynomial and the constant is a unit.

I will try to extend that.....but it is of low priority.