NormalizeRegularChainDim0(rc, R)

We solve a system in 3 variables and 3 unknowns

Its triangular decomposition consists of only one regular chain

Each initial is not equal to 1, hence this regular chain is not normalized

We compute here a regular chain which is normalized and which describes the same solution as the previous one

We check that it is normalized

We check that the two regular chains describe the set of solutions

NormalForm, NormalFormDim0, NormalizePolynomialDim0, ReduceCoefficientsDim0, RegularChains