CachedPowerScaled S

cachedpow.spad line 107 [edit on github]

• S: SemiGroup with

  multiplyExponents: (%, PositiveInteger) -> %

CachedPowerScaled implements a cache for powers with additional scaling.

coerce: S -> %

from CoercibleFrom S

elt: (%, PositiveInteger, Integer) -> S if S has MagmaWithUnit

If x=s::CachedPowerScaled, then x(d,e) returns s^e followed by replacing the variable q of s by q^d.

elt: (%, PositiveInteger, PositiveInteger) -> S

If x=s::CachedPowerScaled, then x(d,e) returns s^e followed by replacing the variable q of s by q^d.

CoercibleFrom S