Searched refs:scaleIdBy (Results 1 – 4 of 4) sorted by relevance
59 transferPolyIdInfo, scaleIdBy, scaleVarBy,204 scaleIdBy :: Mult -> Id -> Id205 scaleIdBy m id = setIdMult id (m `mkMultMul` idMult id) function211 | isId id = scaleIdBy m id
60 transferPolyIdInfo, scaleIdBy, scaleVarBy,210 scaleIdBy :: Mult -> Id -> Id211 scaleIdBy m id = setIdMult id (m `mkMultMul` idMult id) function217 | isId id = scaleIdBy m id
1100 ; let rep_ids' = map (scaleIdBy r_mult) rep_ids
1120 ; let rep_ids' = map (scaleIdBy r_mult) rep_ids