MultiplicativeDependence

muldep.spad line 130 [edit on github]

undocumented

logDependenceQ : (List(Fraction(Integer)), Fraction(Integer)) -> Union(Vector(Fraction(Integer)), "failed")

logDependenceQ([q1, ..., qn], q0) finds rational constants c1, ...cn such that q1^c1*...*qn^cn=u*q0 where u is a unit