PolynomialIdeals - Maple Programming Help

PolynomialIdeals

 compute the sum of ideals
 Multiply
 compute the product of ideals
 Quotient
 compute the quotient of two ideals

 Calling Sequence Add(J, K, ..., options) Multiply(J, K, ..., options) Quotient(J, K, options)

Parameters

 J, K - polynomial ideals, polynomials, or list or sets or polynomials options - (optional) properties of the ideal and polynomial ring of the result

Description

 • The Add, Multiply, and Quotient commands compute ideal sums, products, and quotients respectively.
 • Let $J=<\mathrm{f1},...,\mathrm{fs}>$ and $K=<\mathrm{g1},...,\mathrm{gt}>$ be two polynomial ideals. The ideal sum $J+K$ is the ideal $<\mathrm{f1},...,\mathrm{fs},\mathrm{g1},...,\mathrm{gt}>$.  The ideal product $JK$ is the ideal $<{f}_{i}{g}_{j}:1<=i<=s,1<=j<=t>$.  The ideal quotient $J:K$ is the set of all polynomials $f$ such that $fg\in J$ for all $g$ in $K$.
 • Add and Multiply accept any number of arguments. The set of variables is extended to include the variables of each ideal.  If the ideals cannot be put into a common polynomial ring, then an error is produced.  Add and Multiply do not make any effort to simplify their results. The Simplify command can be used for this purpose.
 • The Quotient command accepts exactly two arguments.  If both arguments are polynomial ideals, then the set of variables is extended to include the variables of both ideals.  If one or more arguments are polynomials $f$, then the Quotient command takes that to mean $⟨f⟩$ in an appropriate polynomial ring.

Examples

 > $\mathrm{with}\left(\mathrm{PolynomialIdeals}\right):$
 > $J≔⟨{x}^{3}-1,{y}^{2}-3⟩$
 ${J}{≔}⟨{{x}}^{{3}}{-}{1}{,}{{y}}^{{2}}{-}{3}⟩$ (1)
 > $K≔⟨{x}^{2}-z⟩$
 ${K}{≔}⟨{{x}}^{{2}}{-}{z}⟩$ (2)
 > $S≔\mathrm{Add}\left(J,K\right)$
 ${S}{≔}⟨{{x}}^{{3}}{-}{1}{,}{{y}}^{{2}}{-}{3}{,}{{x}}^{{2}}{-}{z}⟩$ (3)
 > $\mathrm{IdealInfo}:-\mathrm{Variables}\left(S\right)$
 $\left\{{x}{,}{y}{,}{z}\right\}$ (4)
 > $P≔\mathrm{Multiply}\left(J,K\right)$
 ${P}{≔}⟨\left({{x}}^{{3}}{-}{1}\right){}\left({{x}}^{{2}}{-}{z}\right){,}\left({{y}}^{{2}}{-}{3}\right){}\left({{x}}^{{2}}{-}{z}\right)⟩$ (5)
 > $\mathrm{IdealInfo}:-\mathrm{Variables}\left(P\right)$
 $\left\{{x}{,}{y}{,}{z}\right\}$ (6)
 > $\mathrm{Quotient}\left(J,⟨{x}^{2}+x+1⟩\right)$
 $⟨{x}{-}{1}{,}{{y}}^{{2}}{-}{3}⟩$ (7)
 > $\mathrm{Quotient}\left(J,{x}^{2}+x+1\right)$
 $⟨{x}{-}{1}{,}{{y}}^{{2}}{-}{3}⟩$ (8)
 > $Q≔\mathrm{Quotient}\left({x}^{2}-1,⟨x-1,\mathrm{characteristic}=2⟩\right)$
 ${Q}{≔}⟨{x}{+}{1}⟩$ (9)
 > $\mathrm{IdealInfo}:-\mathrm{Characteristic}\left(Q\right)$
 ${2}$ (10)