ModularAlgebraicGcd2(PT, MP, MPT, MD, ME, MO)

amodgcd.spad line 206 [edit on github]

• PT: Type

• MP: Type

• MPT: Type

• MD: Type

• ME: ModularEvaluationCategory(PT, MP)

• MO: ModularAlgebraicGcdOperations(MP, MPT, MD)

This package computes gcd over field of algebraic functions over Q using modular method based on M. Monagan and van Hoej paper. Core modular operations are passed as parameter (MO) to this package. Similarly, evaluation functions are passed as parameter ME.

algebraicGcd: (PT, PT, List PT, List Symbol, Symbol, List Symbol) -> Polynomial Integer

algebraicGcd(x, y, lm, lp, v, la) computes gcd of x and y modulo polynomials in lm. la is list of algebraic parameters, lp is a list of transcendental parameters, v is main variable.