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

amodgcd.spad line 206

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.