MultiplicativeDependenceΒΆ

muldep.spad line 132

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