Some options in Singular are local to the "current ring" (OPT_INTSTRATEGY,OPT_REDTHROUGH,OPT_REDTAIL,OPT_REDTAIL_SYZ). In Singular.jl there is no "current ring": modified ring change to keep tghe current (global) setting of options except the needed changes due to the properties of a ring.
Some options in Singular are local to the "current ring" (OPT_INTSTRATEGY,OPT_REDTHROUGH,OPT_REDTAIL,OPT_REDTAIL_SYZ). In Singular.jl there is no "current ring": modified ring change to keep tghe current (global) setting of options except the needed changes due to the properties of a ring.