muldep.spad line 130 [edit on github]
A package for finding multiplicative dependencies.
logDependenceQ([q1, ..., qn], q0) finds rational constants c1, ...cn such that q1^c1*...*qn^cn=u*q0 where u is a unit
logDependenceQ([q1, ..., qn], q0)
c1, ...cn
q1^c1*...*qn^cn=u*q0
u