The current definition of (say) rescaleCyc Pow for a tuple in the Dec basis may convert the entire tuple to Dec basis. The offending code is (b - reduce z): reduce z would be in the Dec basis, while each b is in the Pow basis. It is up to (-) to determine which term gets converted. To ensure the most efficient rescaling, we should "adviseBasis" to attempt to put z into the basis of b (before reducing). This will make the case above more efficient, while not impacting the efficiency of rescaling a CRT input.
The current definition of (say)
rescaleCyc Powfor a tuple in the Dec basis may convert the entire tuple to Dec basis. The offending code is(b - reduce z):reduce zwould be in the Dec basis, while eachbis in the Pow basis. It is up to(-)to determine which term gets converted. To ensure the most efficient rescaling, we should "adviseBasis" to attempt to putzinto the basis ofb(before reducing). This will make the case above more efficient, while not impacting the efficiency of rescaling a CRT input.