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.