A nonunit (nem egység) kulcsszó a Mapleben pl. az algebrai mintaillesztésnél fordul elõ.
Az egység itt az adott matematikai mûvelet egységelemét jelenti (pl. szorzásnál 1-et, összeadásnál 0-át).
Ha pl. azt akarjuk ellenõrizni, hogy egy adott algebrai kifejezés x-nek egész számú hatványa, ahol ki akarjuk zárni azt az esetet amikor csak x szerepel (azaz x az elsõ hatványon), ezt megtehetjük a patmatch paranccsal az alábbi módon.
A patmatch parancs ellenõrzi, hogy az elsõ argumentuma olyan alakú-e, amelyet a másodikban megadtunk , azaz ebben a példában x^egész ,ahol most kizárjuk az egészek közül 1-et:
patmatch(x^2,x^n::(nonunit(integer))); # true-t ad. azaz ilyen alakú
patmatch(x^3,x^n::(nonunit(integer)));# ez is true
patmatch(x^(-3),x^n::(nonunit(integer)));# ez is true
patmatch(x,x^n::(nonunit(integer)));# ez false mert x^1 alakú
Az x^n::(nonunit(integer)) kifejezés definiálja a keresendõ mintát, az n után a ::-nel kezdõdõ rész az n típusát írja le.
Lásd még a súgóban a példákat: ?patmatch
A nonunit a fenti példában azt jelentette, hogy az adott változó nem lehet 1, de az alábbi példában nonunit nem 1-et, hanem 0-át jelent (mert itt már összeadás mûveletrõl van szó):
Itt a+b alakú kifejezéseket akarunk keresni, azaz nem engedjük meg a csak a-t vagy csak b-t sem:.
Informatika és tudomány
