Maxima ja Maple. millaan lailla sukua muuttujille a ja b. 1 Ohjelmat eivät yleensä pahastu turhista välilyönneistä, joten niitä

Transkriptio

1 Maxima ja Maple Maple on symbolisen matematiikan laskentaohjelma jota käytetään esim. Joensuun yliopistossa; siihen on törmätty mestariluokan laskuharjoituksissa. Koska Maple on kaupallinen ohjelma ja koska mestariluokkahanke on köyhä jne., mainittakoon että internetistä löytyy ilmainen vapaan lähdekoodin ohjelma Maxima, jolla pystyy olennaisesti tekemään sen minkä Maplellakin. Mikäli osallistuja tahtoo tutustua tällaiseen grafiikkalaskinta haastavampaan ja kauniimpaan matematiikkapyörittelyyn, Maxima löytyy netistä seuraavasta osoitteesta: Siitä on saatavilla niin Linux-, Mac- kuin Windows-versiotkin. Ainakin Windows-versio sisältää wxmaxima-nimisen graafisen käyttöliittymän; samasta osoitteesta löytyy myös paljon tätä johdantoa laajempaa ja ammattitaitoisempaa dokumentaatiota ohjelman käyttöä varten. Alla on muutamia yleisimpiä Maplen ja Maximan käskyjä; huomaa että käskyt ovat kussakin ohjelmassa hieman erilaisia. Ohjelmien peruslogiikka on se, että käyttäjä kirjoittaa haluamansa komennon, ja kun hän painaa enter-nappia ohjelma tulkitsee komennon parhaansa mukaan ja sylkee ulos tuloksen. Tämä toistuu käyttäjän kyllästymiseen asti. Ensimmäisenä tärkeänä yksityiskohtana ja esimerkkinä sanottakoon että mikäli tahtoo kertoa kaksi lukua keskenään, niiden väliin on laitettava kertomerkki (*); matemaattikkaohjelmat tulkitsevat nämä syötteet eri lailla: a*b ab Ensimmäinen on niiden mielestä jokin toistaiseksi tarkemmin määrittelemätön muuttuja a kertaa jokin toistaiseksi tarkemmin määrittelemätön muuttuja b ; toinen puolestaan on pelkästään jokin toistaiseksi tarkemmin määrittelemätön muuttuja nimeltään ab, joka ei ole millaan lailla sukua muuttujille a ja b. 1 Ohjelmat eivät yleensä pahastu turhista välilyönneistä, joten niitä voi käyttää syötteen sieventämiseen ja selventämiseen: sekä 2*3 että 2 *3 että 2* 3 että 2 * 3 että 2 *3 tarkoittavat samaa kertolaskua kaksi kertaa kolme. 2 1 Vertaa siihen miten eräs toinen viestiprosessori, nimittäin ihmisaivo, ymmärtää helposti että sanalla muuttuja ei ole mitään tekemistä sanojen muu ja ja kanssa. 2 Huomaa kuitenkin että käsky a b (lainausmerkit selvyyden vuoksi) ei tarkoita mitään; ohjelma kyllä näkee että sille kerrotaan kaksi muuttujaa, mutta ei osaa tulkita mitä ihmettä niiden vierekkäinolon olisi tarkoitus tarkoittaa, välilyönti kun ei ole mikään matemaattinen operaatio. Samaten kirjainyhdistelmä sin johon törmätään alla tarkoittaa sinifunktiota, mutta kirjainyhdistelmä s in on vain enter-napin painallusta odottava virheilmoitus. 1

2 Lukujen potensseja merkitään hattu-merkillä: luvun a neliö merkitään a^2, sen kolmas potenssi a^3, ja niin edelleen. Tarvittaessa käytetään sulkuja; esimerkiksi luku a potenssiin 1/2 täytyy kirjoittaa a^(1/2) sillä syöte a^1/2 on tietokoneen mielestä muuttuja a potenssiin 1, ja tämä sitten jaettuna kahdella eli (a 1 )/2. Plus- (+), miinus- (-), kerto- (*) ja jakomerkit (/) toimivat ilmeisellä tavalla, ja ohjelmat suorittavat laskutoimitukset (yleensä) luontevassa järjestyksessä: sulkulausekkeet ensin, sitten kerto- ja jakolaskut, sitten yhteen- ja vähennyslaskut. Jos on epävarma siitä miten kone jonkin laskun tulkitsee, voi aina käyttää ylimääräisiä sulkuja aivan kaiken varalta. (2 + 3)/11 4*3-1 Näistä ylläolevasta kahdesta käskystä kumpikaan ei kuitenkaan toimi sellaisenaan, sillä sekä Maplessa että Maximassa koneen laskettavaksi/suoritettavaksi annettu tehtävä pitää päättää puolipisteeseen (;), tai ulos tulee vain virheilmoitus. Esimerkiksi näin: 3*3+1; Tämä antaa tulokseksi laskun kolme kertaa kolme plus yksi tuloksen; puolipiste kertoo ohjelmalle mihin tehtävänanto loppuu, ja mistä alkaa koneen työ. Maxima voi myös toimia ilman puolipistettä; kuten kaikissa muissakin tietokoneohjelmissa näissäkin niiden tarkan toiminnan ja sietokyvyn oppii vain tekemällä kaikki mahdolliset virheet kunnes vain toimiva ratkaisu on jäljellä. Huomaa että Maxima ja Maple ovat yleisesti ottaen samoja asioita tekeviä eri ohjelmia; siksi ne toimivat ajoittain eri lailla, ja suhtautuvat asioihin eri lailla, ja käyttävät samojen asioiden tekemiseen eri komentoja ja erilaista syntaksia; siksi alla on ajoittain annettu saman asian tekemiseksi kaksi eri komentoa. Jos niitä ei ole sen tarkemmin selitelty tai eroteltu, ensimmäinen on Maximan, toinen Maplen, tapa tehdä asia. Jos tätä ei muista, se luultavasti palaa mieleen kun ohjelma herjaa käskyn olevan huonosti muotoiltu tms.; se on koneiden tapa. Ylläolevasta muuttujapuheesta saattoi nousta mieleen se, voiko muuttujille (a, b, jne.) määrätä arvoja; vastaus on, kyllä voi. Jos esimerkiksi joutuu laskemaan laskun ( 2 + 1) 2, voi helposti menettää hermonsa kirjoittaessaan sitä koneeseen, sillä se näyttäisi tältä: (sqrt(2)+1 + 1/(sqrt(2)+1))/((sqrt(2)+1)^2); 2

3 Ihmisen elämä helpottuu, jos määritellään muuttujan a arvoksi 2+1, ja lasketaan lasku käyttäen sitä apuna ensimmäinen kaksi riviä ovat Maximan, toiset Maplen tapa: a : sqrt(2)+1; ( a + 1/a )/(a^2); a := sqrt(2)+1; ( a + 1/a )/(a^2); Tässä voi kompastua omaa oveluuteensa jos unohtaa että tästä lähtien a tarkoittaa ohjelman sammuttamiseen asti lukua 2+1. Tästä pääsee eroon käskyillä kill(a); a := a ; jotka saavat ohjelmat unohtamaan muuttujalle a annetut arvot. Ohjelmoijien ollen sellaisia kuin ovat, Maximassa komento kill(all) unohtaa (mm.) kaikille muuttujille annetut arvot; Maplen samansuuntainen komento on restart. 3 Maple ja Maxima tuntevat jo ennakkoon muutaman yleishyödyllisen vakion, kuten pii eli π (%pi, Pi), Eulerin luku eli e (%e, exp(1)), imaginääriyksikkö eli i (%I, I) ja ääretön eli (inf, infinity). (Maplessa voi kompastua siihen että Pi on ohjelman tietämä vakio, pi puolestaan on vain satunnainen kahden kirjaimen merkitsemä muuttuja jolla ei ole mitään valmista arvoa. Molemmat ohjelmat ovat kirjainkoon suhteen tarkkoja.) Tavallaan muuttuja on myös % (Maplessa ja Maximassa sama), jonka arvo on aina se, minkä kyseinen ohjelma on viimeksi laskenut. Jos Maplea esimerkiksi käsketään näin: sin(pi); %+1; %+2; niin ensimmäisen käskyn ulosanto on sinifunktio arvolla pii, eli nolla; toisen käskyn ulosanto on nolla plus yksi eli yksi; ja kolmannen käskyn tulos on yksi plus kaksi eli kolme. Huomaa erityisesti että %-muuttujan arvo on mitä on viimeksi laskettu, ei mitä on viimeksi kirjoitettu. (Ohjelmien ulostuloja voi myös koettaa maalata hiirellä ja kopioida jos ei tahdo käyttää tätä muuttujaa; tulos riippuu ulostulosta.) 3 Niin, ja tuon murtolausekehirviön syöttäminen ei välttämättä saa ohjelmaa sieventämään sitä; sitä varten on erillinen komento, Maplessa simplify ja Maximassa ratsimp (murtolausekkeen sievennys; rational simplification ). Siis simplify(( a + 1/a )/(a^2)); ja ratsimp(( a + 1/a )/(a^2)); tuloksena voi olla esimerkiksi , riippuen siitä mikä on kyseinen ohjelman käsityskyvyn 2+7 mukaan sievää. 3

4 Suurin osa ohjelmien hyödyllisistä komennoista on erikseen määriteltyjä funktioita, joita yleensä kutsutaan käskyllä joka on tällaista muotoa: funktionnimi(muuttuja,muuttuja,muuttuja); Muuttujia voi olla yksi tai useampia; osa niistä ei välttämättä ole pakollisia. Helppo esimerkki funktiosta on neliöjuuri; esimerkiksi kahden neliöjuuri syötetään molemmissa ohjelmissa laskettavaksi näin: sqrt(2); Tässä sqrt on kontraktio englannin kielen neliöjuurta tarkoittavasta sanasta square root ; koska harvasta näppäimistöstä löytyy neliöjuurimerkkiä ( tätä), on se ja muut matemaattiset oliot ohjelmoitu tavallisilla aakkosilla kutsuttaviksi funktioiksi. 4 Syöttäessään ohjelmaan ylläolevan voi kuitenkin pettyä, sillä Maple ja Maxima ovat symbolisia laskentaohjelmia, eli ne koettavat aina laskea laskettavansa tarkan arvon, ja alentuvat numeeriseen likiarvolaskentaan vain kun ne siihen erikseen pakotetaan. Eräitä tällaisia pakotuskäskyjä ovat Maximan bfloat ja Maplen evalf, ja kahden neliöjuuren numeerisen likiarvon saa ulos käskemällä näin: bfloat(sqrt(2)); evalf(sqrt(2)); Jos niin haluaisi, niin voisi muuttaa ohjelmien asetuksia saadakseen tuloksen mielivaltaisen monen desimaalin tarkkuudella; halukas saa tästä helposti koneelleen raksuttamista useammaksikin viikoksi. (Niin, ja koska komennot on helpompi muistaa kun tietää mistä niiden nimet johtuvat, näiden takana ovat englannin termit floating-point number eli liukuluku tai liukulukulikiarvo jona syötetty luku ilmoitetaan, ja floating-point evaluation eli liukulukulikiarvona arvioiminen.) Raja-arvo: funktion x 7 raja-arvo pisteessä x = 3 lasketaan näin: limit(x-7,x,3); limit(x-7,x=3); Jos raja-arvolaskenta ei ole tuttua, ei kannata stressata asiaa liikaa. Huomaa kuitenkin että tässä tulee esille eräs Maximan ja Maplen ero: Maxima ilmaisee ajatuksen muuttuja x pisteessä 3 tekstillä x,3, siis kahtena erillisenä funktion muuttujana, ja Maple yhtenä, tekstillä x=3. Lausekkeen kirjoittaminen auki sujuu samalla komennolla molemmissa ohjelmissa: expand((a+b)^3); 4 Koska harvasta näppäimistöstä myöskään löytyy kreikkalaisia kirjaimia, Maple tulkitsee kirjainyhdistelmän alpha muuttujaksi aivan yhtä lailla kuin kirjainyhdistelmän a tai norsunjalka, mutta ulosannossaan kirjoittaa sen näin: α. Samaten beta, gamma,..., omega käyttäytyvät kuin mitkä tahansa muutkin mielivaltaiset muuttujat, mutta ovat ohjelmien ulosannossa kirjoitettuna β, γ,..., ω; huomaa vain että kreikkalaisia kirjaimia on kutsuttava niiden englanninkielisessä kirjoitusasussa, siis alpha, ei alfa. 4

5 Muuttujan x ratkaiseminen yhtälöstä ax 2 = 4 on myös identtinen komento: solve(a*x^2=4,x); Siinä että muuttujalle on käytetty kirjainta x ei ole mitään erityistä tai perustavanlaatuisen tärkeää; aivan yhtä hyvin voitaisiin antaa laskettavaksi solve(a*b^2=4,b); tai vaikka tämä: solve(a*poroluu^2=4,poroluu); Näissä ohjelmissa ja matematiikassa yleensäkin käytetään tiettyjä kirjaimia (x, y, jne.) vain siksi että a) se on tapana, ja b) saman merkinnän käyttäminen samankaltaiselle olennolle lisää tekstin luettavuutta. Lisäksi huomaa että Maplelle ja Maximalle kirjainrypäs poroluu on yksi ainoa muuttuja; ohjelmassa voivat samalla aikaa pyöriä vaikkapa muuttujat u, p ja o, mutta niillä ja niiden arvoilla ei ole mitään yhteyttä muuttujan poroluu arvoon. Kuvaajia voidaan piirtää plot2d (Maxima) tai plot-komennolla (Maple); huomaa että se mitkä x-akselin arvot piirretään ilmaistaan eri lailla eri ohjelmissa: plot2d(sin(x),[x,-2,2]); plot(sin(x),x=-2..2); Ohjelma osaa itse laskea mitä y-akselin arvoja kuvassa on näytettävä, mutta jos tahtoo kontrolloida sitä itse, sen voi lisätä: plot2d(1/x,[x,0,2],[y,0,2]); plot(1/x,x=0..2,y=0..2); Tämä on ajoittain tarpeen; yllä siksi että funktio 1/x saa lähellä nollaa poskettoman suuria arvoja, ja ellei y-akselia rajoiteta, ohjelma venyttää kuvaan hyödyttömän paljon y-akselia. Kahden muuttujan funktioiden ( kolmiulotteisia ) kuvaajia voidaan piirtää plot3d-komennolla: plot3d(sin(x*y),[x,-2,2],[y,-1,1]); plot3d(sin(x*y),x=-2..2,y=-1..1); Tästä syntyvään kuvaajaan voi tarttua kiinni hiirellä ja käännellä sitä ympäriinsä; Maplessa sitä voi myös tökkiä hiiren oikealla napilla, jolloin valikosta löytyy keinoja kuvan kaunistamiseksi. Kuten yltä voi arvata, ohjelmat ymmärtävät että sin(x) tarkoittaa muuttujan x siniä; samaten cos(x), tan(x), log(x) ja exp(x) vastaavat kosinia, tangenttia, luonnollista logaritmia ja eksponenttifunktiota. Sulkuja on käytettävä että ohjelma tietää mistä osasta sitä seuraavaa rypästä sen täytyy ottaa sini, kosini tai muu sellainen. Huomaa että yleensä molemmat ohjelmat käsittelevät trigonometrisiä funktioita radiaanien, ei asteiden, avulla. 5

6 Luentoihin liittyen voidaan myös laskea kahdelle kokonaisluvulle niiden suurin yhteinen tekijä (syt), eli englanniksi greatest common divisor (gcd); komento on molemmissa ohjelmissa sama: gcd(16,20); Tai voidaan jakaa luku alkutekijöihinsä: factor(24); ifactor(24); Tai kysyä onko jokin luku alkuluku (false on epätosi, true on tosi): primep(16); isprime(16); Näillä ohjelmilla voi laskea melkein mitä tahansa symbolisia matemaattisia laskutoimituksia; molemmissa on omat aputiedostonsa, ja netistä löytyy apuja kummankin käyttämiseen, sekä kattavia listoja kaikista ohjelmien tuntemista funktioista. Viimeisinä esimerkkeinä sanottakoon että summan eli 1 + 1/2 + 1/3 + 1/4 + 1/5 + 1/6 + 1/7 + 1/8 + 1/9 + 1/10 10 t=1 laskeminen ja sieventäminen yhdesti murtoluvuksi ensin käsin ja sitten koneella sum(1/t,t,1,10); sum(1/t,t=1..10); antaa kuvan siitä miksi matemaattinen ajattelutapa eikä suinkaan kylmä laskurutiini on sitä, mitä matemaatikolta vaaditaan. Samalla lailla voi myös kertoa lukuja keskenään: Tulo voidaan laskea product((t+3)/t^2,t,1,3); product((t+3)/t^2,t=1..3); ja funktioita voidaan derivoida: diff(sin(x)/x,x); 1 t ja integroida niin epämääräisenä ( sin x dx) x integrate(sin(x)/x,x); int(sin(x)/x,x); kuin määrättynäkin integraalina ( sin x dx) 0 x integrate(sin(x)/x,x,0,inf); int(sin(x)/x,x=0..infinity); 6

7 vailla pelkoa siitä että kirjoitusvirhe rivillä 3 saisi koko loppusivun laskun menemään metsään. (Se mitä tietokonealgebrassa pitää puolestaan pelätä on se, että mielikuvitukseton ja äärettömän kirjaimellinen kone tulkitsee jotain väärin jos ihminen kirjoittaa a^2+2*ab+b^2 tietokone ei osaa tulkita että ihminen tietenkin tarkoitti a^2+2*a*b+b^2 mutta ajan ja lukuisien erehdysten kautta ihminen oppii tuntemaan senkin, miten tietokone asioita tulkitsee.) Yleisesti ottaen sekä Maple että Maxima ovat helppoja käyttää, kunhan niiden käytössä vain pääsee alkuun ja saa jonkinlaisen kuvan niiden toiminnasta; tarkempia kuvauksia komentojen yksityiskohdista ja tietoja muista erikoisemmista komennoista voi etsiä itse; esimerkiksi matriisilaskenta, Maplen (ja mahdollisesti myös Maximan) ohjelmointi, omien funktioiden määritteleminen ja monet muut alueet on tässä lyhyessä johdatuksessa ohitettu täysin. 5 Jos on kokemusta ohjelmoinnista, seuraavien komentosarjojen tulkitsemisen ei pitäisi olla kovinkaan vaikeaa. 6 Maple: k := 0: for i from 1 to 10 do k := k + sin(i); end do: k; evalf(k); Maxima: k : 0; for i from 1 thru 10 do k : k+sin(i); k; bfloat(k); 5 Puhumattakaan tilastollisista funktioista, polynomiapproksimaatioista, Gröbnerkannoista ja lukuisista aiheista joista edes keskiviisas matematiikan jatko-opiskelija ei ymmärrä yhtään mitään. Omien funktioiden määrittelystä esimerkkinä sanottakoon että komentojen (ensimmäinen Maximan, toinen Maplen) f(x) := x^2; f := x -> x^2; jälkeen syötteet f(2); ja f(x+1); antavat tulokseksi 4 ja (x + 1) 2. 6 Niiden syöttäminen koneeseen voi olla vaikeaa, ellei tiedä että Maplessa shift-enteryhdistelmällä saa rivinvaihdon ilman että ohjelma alkaa vielä laskemaan käskyjä; Maximassa (tai ainakin wxmaximassa) tätä varten on syöttörivin oikeassa reunassa multiline input-nappi. Lisähuomautuksena ohjelmanpätkästä sanottakoon että kaksoispiste (:) on toiminnaltaan aivan sama kuin puolipiste (;), mutta ei näytä laskun tulosta ruudulla. 7