'StabChain' looks at 'G.stabChainOptions', but doesn't modify this record.
But since it is one of the records, which are explicitly made public, and
may be changed by the user, it is probably best to unbind that too.
Martin.
-- .- .-. - .. -. .-.. --- ...- . ... .- -. -. .. -.- .- Martin Sch"onert, Martin.Schoenert@Math.RWTH-Aachen.DE, +49 241 804551 Lehrstuhl D f"ur Mathematik, Templergraben 64, RWTH, 52056 Aachen, Germany