The command DahanSchostTransform(rc, R) returns the regular chain obtained by applying the Dahan and Schost transform to rc.

The output regular chain has the same saturated ideal as the input rc. Moreover, the size of the coefficients of the output regular chain is very likely to be much smaller than that of rc.

This function assumes that rc is zero-dimensional and normalized, and that the saturated ideal of rc is radical.

This command is part of the RegularChains[ChainTools] package, so it can be used in the form DahanSchostTransform(..) only after executing the command with(RegularChains[ChainTools]). However, it can always be accessed through the long form of the command by using RegularChains[ChainTools][DahanSchostTransform](..).

Dahan, X., and Schost, E. "Sharp Estimates for Triangular Sets." In Proc. ISSAC 2004, Santander, Spain, ACM Press, 2004.