Intersect - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

# Online Help

###### All Products    Maple    MapleSim

PolynomialIdeals

 Intersect
 intersect two or more ideals

 Calling Sequence Intersect(J, K, ...)

Parameters

 J, K - polynomial ideals

Description

 • The Intersect command computes the intersection of two or more polynomial ideals.  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.
 • The Intersect command makes extensive use of generators that are common to one or more of the ideals.  Thus for certain applications, such as intersecting prime components, avoid using the Simplify command prior to using Intersect.

Examples

 > $\mathrm{with}\left(\mathrm{PolynomialIdeals}\right):$
 > $J≔⟨x\left(x-1\right),{y}^{2}\left(y-2\right)⟩$
 ${J}{≔}⟨{x}{}\left({x}{-}{1}\right){,}{{y}}^{{2}}{}\left({y}{-}{2}\right)⟩$ (1)
 > $K≔⟨{\left(x-1\right)}^{2}{y}^{3}⟩$
 ${K}{≔}⟨{\left({x}{-}{1}\right)}^{{2}}{}{{y}}^{{3}}⟩$ (2)
 > $L≔\mathrm{Intersect}\left(J,K\right)$
 ${L}{≔}⟨{{x}}^{{3}}{}{{y}}^{{3}}{-}{2}{}{{x}}^{{2}}{}{{y}}^{{3}}{+}{x}{}{{y}}^{{3}}{,}{{x}}^{{2}}{}{{y}}^{{4}}{-}{2}{}{{x}}^{{2}}{}{{y}}^{{3}}{-}{2}{}{x}{}{{y}}^{{4}}{+}{4}{}{x}{}{{y}}^{{3}}{+}{{y}}^{{4}}{-}{2}{}{{y}}^{{3}}⟩$ (3)
 > $\mathrm{map}\left(\mathrm{factor},\mathrm{Generators}\left(L\right)\right)$
 $\left\{{x}{}{{y}}^{{3}}{}{\left({x}{-}{1}\right)}^{{2}}{,}{{y}}^{{3}}{}{\left({x}{-}{1}\right)}^{{2}}{}\left({y}{-}{2}\right)\right\}$ (4)
 > $\mathrm{Trinks}≔⟨45p+35s-165b-36,35p+40z+25t-27s,15w+25ps+30z-18t-165{b}^{2},-9w+15pt+20zs,wp+2zt-11{b}^{3},99w-11sb+3{b}^{2}⟩:$
 > $P≔\mathrm{PrimeDecomposition}\left(\mathrm{Trinks}\right)$
 ${P}{≔}⟨{35}{}{p}{+}{40}{}{z}{+}{25}{}{t}{-}{27}{}{s}{,}{45}{}{p}{+}{35}{}{s}{-}{165}{}{b}{-}{36}{,}{10000}{}{{b}}^{{2}}{+}{6600}{}{b}{+}{2673}{,}{3}{}{{b}}^{{2}}{-}{11}{}{s}{}{b}{+}{99}{}{w}{,}{-}{11}{}{{b}}^{{3}}{+}{w}{}{p}{+}{2}{}{z}{}{t}{,}{15}{}{p}{}{t}{+}{20}{}{z}{}{s}{-}{9}{}{w}{,}{-}{165}{}{{b}}^{{2}}{+}{25}{}{p}{}{s}{-}{18}{}{t}{+}{15}{}{w}{+}{30}{}{z}⟩{,}⟨{35}{}{p}{+}{40}{}{z}{+}{25}{}{t}{-}{27}{}{s}{,}{45}{}{p}{+}{35}{}{s}{-}{165}{}{b}{-}{36}{,}{3}{}{{b}}^{{2}}{-}{11}{}{s}{}{b}{+}{99}{}{w}{,}{-}{11}{}{{b}}^{{3}}{+}{w}{}{p}{+}{2}{}{z}{}{t}{,}{15}{}{p}{}{t}{+}{20}{}{z}{}{s}{-}{9}{}{w}{,}{-}{165}{}{{b}}^{{2}}{+}{25}{}{p}{}{s}{-}{18}{}{t}{+}{15}{}{w}{+}{30}{}{z}{,}{4380800000000000}{}{{b}}^{{8}}{+}{16108202000000000}{}{{b}}^{{7}}{+}{22514571860000000}{}{{b}}^{{6}}{+}{18624678595600000}{}{{b}}^{{5}}{+}{9432310305572000}{}{{b}}^{{4}}{+}{2959977269862580}{}{{b}}^{{3}}{+}{617295990812985}{}{{b}}^{{2}}{+}{80609374775160}{}{b}{+}{3361317558192}⟩$ (5)
 > $\mathrm{Intersect}\left(P\right)$
 $⟨{45}{}{p}{+}{35}{}{s}{-}{165}{}{b}{-}{36}{,}{360}{}{z}{+}{225}{}{t}{-}{488}{}{s}{+}{1155}{}{b}{+}{252}{,}{-}{3}{}{{b}}^{{2}}{+}{11}{}{s}{}{b}{-}{99}{}{w}{,}{720}{}{{b}}^{{2}}{+}{100}{}{{s}}^{{2}}{+}{495}{}{b}{-}{312}{}{s}{+}{189}{}{t}{-}{4320}{}{w}{+}{108}{,}{9780}{}{{b}}^{{3}}{+}{5511}{}{{b}}^{{2}}{+}{2541}{}{b}{}{t}{-}{54780}{}{b}{}{w}{+}{12100}{}{s}{}{w}{+}{1452}{}{b}{-}{37752}{}{w}{,}{31905}{}{{b}}^{{2}}{-}{8250}{}{b}{}{t}{+}{3625}{}{s}{}{t}{+}{20130}{}{b}{-}{10588}{}{s}{+}{5886}{}{t}{-}{87705}{}{w}{+}{4392}{,}{-}{3517910176905}{}{{b}}^{{2}}{-}{1957980036375}{}{b}{}{t}{-}{41699992620000}{}{b}{}{w}{+}{2053884110000}{}{s}{}{w}{+}{6296364000000}{}{t}{}{w}{-}{4270660634130}{}{b}{+}{3051085536688}{}{s}{-}{2793459284586}{}{t}{+}{9307987795080}{}{w}{-}{1203227496792}{,}{1878597945}{}{{b}}^{{2}}{-}{277744500}{}{b}{}{t}{+}{6163080000}{}{b}{}{w}{-}{1364740000}{}{s}{}{w}{+}{132946875}{}{{t}}^{{2}}{+}{1427525220}{}{b}{-}{842211872}{}{s}{+}{617096484}{}{t}{-}{2545409520}{}{w}{+}{349357248}{,}{217116000000}{}{{b}}^{{2}}{}{t}{-}{523021633605}{}{{b}}^{{2}}{-}{231486118875}{}{b}{}{t}{-}{9181541820000}{}{b}{}{w}{+}{1498470710000}{}{s}{}{w}{-}{651341592330}{}{b}{+}{472703393008}{}{s}{-}{432789466626}{}{t}{+}{608907986280}{}{w}{-}{186415527672}{,}{31183768112939065344000000000000}{}{{w}}^{{3}}{-}{4383898761959271072221964848415}{}{{b}}^{{2}}{-}{7903710355804657299210818786625}{}{b}{}{t}{-}{117103813087016017731632275860000}{}{b}{}{w}{+}{12316920319203058988534335330000}{}{s}{}{w}{-}{137137883064576891898454400000000}{}{{w}}^{{2}}{-}{8702178744906158552643521345790}{}{b}{+}{7447021570649738370655533213584}{}{s}{-}{7784271516314849432429864858598}{}{t}{+}{21118050431651645563189897792440}{}{w}{-}{2801807632629602942921244631656}{,}{338965791342080000000000}{}{s}{}{{w}}^{{2}}{+}{221155529291376910543935}{}{{b}}^{{2}}{+}{375421939762061941934625}{}{b}{}{t}{+}{5590055517660268491540000}{}{b}{}{w}{-}{584789005513826862370000}{}{s}{}{w}{+}{6837072534440841600000000}{}{{w}}^{{2}}{+}{422013879012204865685310}{}{b}{-}{356171590884671762712976}{}{s}{+}{370234284729884595453222}{}{t}{-}{1039943191683735694847160}{}{w}{+}{134345134485535123713384}{,}{156602195600040960000000000}{}{b}{}{{w}}^{{2}}{+}{67616116062115359652310385}{}{{b}}^{{2}}{+}{114854703032577754306083375}{}{b}{}{t}{+}{1739802332651675509271340000}{}{b}{}{w}{-}{187872451101953392294270000}{}{s}{}{w}{+}{2062650565630151337600000000}{}{{w}}^{{2}}{+}{130204742924375556672575010}{}{b}{-}{110656861555918546136790896}{}{s}{+}{115092438872369240664523962}{}{t}{-}{304732879233181539528924360}{}{w}{+}{41720006256591398587472664}{,}{649952667840000000}{}{{b}}^{{2}}{}{w}{-}{160178876945916915}{}{{b}}^{{2}}{-}{405324636049414125}{}{b}{}{t}{-}{5542640048550660000}{}{b}{}{w}{+}{467514361356730000}{}{s}{}{w}{-}{9508517058240000000}{}{{w}}^{{2}}{-}{412686923010127590}{}{b}{+}{377102729779293584}{}{s}{-}{403888404899889198}{}{t}{+}{892474508950948440}{}{w}{-}{140557774363306056}⟩$ (6)

References

 Cox, D.; Little, J.; and O'Shea, D. Ideals, Varieties, and Algorithms. 2nd ed. New York: Springer-Verlag, 1997.