type/zppoly - Maple Programming Help

Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/zppoly

type/zppoly

check for a modp1 or modp2 polynomial

 Calling Sequence type(a, zppoly)

Parameters

 a - expression

Description

 • The  type(a, zppoly) calling sequence checks that a is a modp1 or a modp2 polynomial.
 • The modp1 function provides efficient arithmetic and other operations for univariate polynomials modulo a prime.  The modp2 function provides similar efficiency for bivariate polynomials modulo a prime. They achieve this efficiency by using a dedicated data structure.

Examples

 > $a≔\left({x}^{4}-{x}^{2}+2\right)mod11$
 ${a}{≔}\left({{x}}^{{4}}{+}{10}{}{{x}}^{{2}}{+}{2}\right){mod}{11}$ (1)
 > $\mathrm{type}\left(a,\mathrm{zppoly}\right)$
 ${\mathrm{true}}$ (2)
 > $b≔\left({x}^{4}{y}^{2}-1\right)mod17$
 ${b}{≔}\left({{y}}^{{2}}{}{{x}}^{{4}}{+}{16}\right){mod}{17}$ (3)
 > $\mathrm{type}\left(b,\mathrm{zppoly}\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{type}\left(\mathrm{modp2}\left(\mathrm{Diff}\left(b,1\right),17\right),\mathrm{zppoly}\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{type}\left({x}^{2}+2y,\mathrm{zppoly}\right)$
 ${\mathrm{false}}$ (6)