ChineseRemainderToolsForIntegralBases(K, R, UP)ΒΆ

padiclib.spad line 88

Author: Clifton Williamson Date Created: 9 August 1993 Basic Operations: chineseRemainder, factorList Related Domains: PAdicWildFunctionFieldIntegralBasis(K, R, UP, F) Also See: WildFunctionFieldIntegralBasis, FunctionFieldIntegralBasis AMS Classifications: Keywords: function field, finite field, integral basis Examples: References: Description:

chineseRemainder: (List UP, List Record(basis: Matrix R, basisDen: R, basisInv: Matrix R), NonNegativeInteger) -> Record(basis: Matrix R, basisDen: R, basisInv: Matrix R)
chineseRemainder(lu, lr, n) undocumented
factorList: (K, NonNegativeInteger, NonNegativeInteger, NonNegativeInteger) -> List SparseUnivariatePolynomial K
factorList(k, n, m, j) undocumented
listConjugateBases: (Record(basis: Matrix R, basisDen: R, basisInv: Matrix R), NonNegativeInteger, NonNegativeInteger) -> List Record(basis: Matrix R, basisDen: R, basisInv: Matrix R)
listConjugateBases(bas, q, n) returns the list [bas, bas^Frob, bas^(Frob^2), ...bas^(Frob^(n-1))], where Frob raises the coefficients of all polynomials appearing in the basis bas to the qth power.