MAPLE SCHEDE SINTETICHE

Introduzione
Maple `e un Computer Algebra System sviluppato inizialmente in ambito accademico e attualmente
prodotto dalla MapleSoft (www.maplesoft.com), che fornisce un ambiente integrato per il calcolo
simbolico e numerico, il trattamento di dati strutturati, la programmazione, la visualizzazione
grafica, le presentazioni multimediali interattive.
Possiede una sofisticata interfaccia amichevole con un elevato grado di interattivit`
a per la manipolazione di espressioni e grafici, e un linguaggio di alto livello basato su una sintassi relativamente
semplice, anche se non sempre pulita e coerente, che consente la rappresentazione di oggetti matematici con notazioni simili a quelle standard.
Dispone di strumenti per lesportazione/importazione di dati in parecchi formati e per lintegrazione
con altri software/linguaggi, che ne consentono un utilizzo immediato a diversi livelli e in diversi
ambiti (didattico, scientifico, applicativo).
In particolare, mentre ha funzioni di calcolo simbolico molto sviluppate, per il calcolo numerico, oltre alle funzioni proprie, consente di utilizzare quelle di MatLab, sistema prodotto dalla MathWorks
(www.mathworks.com) specializzato negli aspetti modellistico-numerici e diuso soprattutto in ambito ingegneristico.
Laltro Computer Algebra System commerciale con prestazioni analoghe `e Mathematica, prodotto
dalla Wolfram (www.worlfram.com). Ci sono poi diversi Computer Algebra System non commerciali sviluppati in ambito accademico, tra i quali: Maxima (www.maxima.sourceforge.net), Sage
(www.sagemath.org), SciLab (www.scilab.org).

Principi generali
Ambienti di lavoro
Maple consente due diverse modalit`
a di lavoro: Worksheet e Document. Quando si crea un nuovo
documento (usando il comando New del men`
u File), si sceglie quale modalit`
a usare per quel
documento. In entrambi i casi vi sono due tipologie di input principali disponibili nella barra dei
comandi: Text e Math.
Nella modalit`
a Worksheet, Text serve per immettere comandi alfanumerici nel formato Maple
originario, mentre Math consente limmissione nel formato grafico 2D-Math di simboli e formule
(come per esempio frazioni, radici, esponenti e indici). Nella modalit`
a Document, Text serve invece
per inserire eettivamente del testo (non comandi o espressioni da valutare), mentre Math ha
esattamente la stessa funzionalit`
a detta sopra.
Indipendentemente dalla modalit`
a scelta `e comunque possibile usare il men`
u Insert per inserire:
testi (Text), comandi/espressioni in formato Maple (Maple Input), comandi/espressioni in formato
` inoltre possibile
2D-Math (2D Math), disegni (Canvas), immagini (Image), grafici (Plot) e altro. E
organizzare tutto il materiale in sezioni e pi`
u livelli di sottosezioni, ciascuna collassabile al solo
testo iniziale (titolo ed eventuale sommario).
I comandi/espressioni (sia nel formato Maple che in quello 2D-Math) possono essere distribuiti su
pi`
u righe (usando il tasto Return con opportuno modificatore per andare a capo), nel qual caso
i ritorni a capo sono interpretati come spazi. In ciascuna riga `e possibile inserire un commento
preceduto dal simbolo # . Lesecuzione/valutazione del comando/espressione si ottiene digitando
un semplice Return. Nel formato Maple ogni comando/espressione deve terminare con ; (punto e
virgola).

Per limmissione di comandi/espressioni in formato 2D-Math si pu`

o usare il tasto esc dopo i singoli
comandi testuali per convertirli in grafica (per esempio sqrt esc per ottenere la radice quadrata),
dopo di che i tasti tab e frecce consentono di spostarsi da un elemento allaltro. In alternativa
si possono usare numerose Palette, visualizzabili nella barra laterale sinistra usando lapposito
comando nel men`
u View.
Calcoli algebrici e grafici
Luso pi`
u elementare di Maple consiste nellesecuzione immediata di calcoli algebrici (come la
semplificazione di espressioni, la soluzione di equazioni, la determinazione di limiti, derivare e
integrali).
Il modo standard di procedere `e quello di immettere e far valutare lespressione iniziale e applicare
poi a questa in sequenza gli operatori necessari allesecuzione di ogni singolo passo del calcolo da
eseguire. Ci`
o consente di visualizzare e controllare anche tutti i risultati intermedi.
In questo caso si ottiene una sequenza alternata di input e di output: a ogni espressione in input
segue la corrispondente espressione in output ottenuta dalla sua valutazione. Le espressioni in
output vengono automaticamente contraddistinte da unetichetta numerica progressiva.
In ciascun input ci si pu`
o riferire agli ultimi tre output precedenti usando %, %% e %%% rispettivamente
per lultimo, il penultimo e il terzultimo output. Se si usa il formato di immissione 2D-Math,
`e possibile richiamare anche gli output precedenti usando letichetta corrispondente, che si pu`
o
inserire con il comando Label del men`
u Insert (o con la corripondente combinazione di tasti).
Altrimenti, gli output intermedi possono essere associati a nomi simbolici usando loperatore di
assegnazione := e quindi richiamati negli input successivi per nome.
Un modo alternativo di manipolare espressioni algebriche `e quello di utilizzare il men`
u pop-up che
appare cliccando su unespressioni di output (con il tasto destro del mouse o con un opportuno
tasto modificatore). Tale men`
u presenta diversi comandi relativi alle possibili trasformazioni applicabili allespressione considerata. Selezionando uno di questi comandi si ottiene un ulteriore output
preceduto da ! o = (a seconda dei casi) con sopra indicata la trasformazione eseguita.
Nelle espressioni di output Maple usa le seguenti convenzioni: 1) _C1, _C2, . . . per le costanti arbitrarie (se le costanti variano in insiemi numerici particolari, al posto della lettera C c`e il riferimento
a tali insiemi, come per esempio N per i naturali, NN per gli interi non negativi, Z per gli interi);
2) un nome seguito da ~ significa che il simbolo con quel nome `e soggetto ad assunzioni (per esempio `e assunto intero, positivo, ecc.); 3) %1, %2, . . . per indicare sottoespressioni rappresentate per
convenienza in modo simbolico.
Nel valutare le espressioni algebriche, incluse quelle numeriche, tutti i calcoli sono eseguiti in modo
simbolico fin dove possibile e lascianti indicati altrimenti.
Per quanto riguarda la rappresentazione grafica di dati, funzioni, curve, superfici e altri oggetti
geometrici, si pu`
o usare il comando generale plot. Altri comandi specifici sono contenuti nei
Package plots, plottools, geometry e geom3d. Nel men`
u Plot e nella barra degli strumenti sono
disponibili molti strumenti per modificare interattivamente le propriet`
a dei grafici generati.
Valutazione delle espressioni
Pi`
u in generale quanto detto sopra pu`
o essere esteso alla manipolazione di qualunque tipo di
espressioni, incluse quelle che rappresentano dati strutturati (come liste, insiemi, vettori, matrici,
tabelle), quelle che definiscono funzioni e procedure, e quelle che esprimono comandi.
Ogni espressione Maple `e atomica (numero o simbolo) o ha la struttura head(op1,op2,...), dove
sia lintestazione head che gli (eventuali) operandi op1,op2,... sono a loro volta espressioni.
Ci`
o vale anche per espressioni contenenti operatori infissi, che vanno considerate con la corrispondente notazione prefissa (per esempio lespressione a + b + c va considerata come +(a,b,c)).
Il passaggio alla notazione infissa viene eettuato tenendo conto della priorit`
a determinata dalle

parentesi (solo tonde) e, in assenza di parentesi, secondo un ordine standard di priorit`

a degli
operatori. Per esempio lespressione a + b * c viene interpretata come a + (b * c) (in quanto
* ha priorit`
a maggiore di +) e quindi considerata come +(a,*(b,c)) .
La definizione ricorsiva delle espressioni `e alla base dellalgoritmo generale di valutazione.
La valutazione di unespressione atomica numerica da come risultato il numero stesso, mentre la
valutazione di un simbolo pu`
o dare come risultato qualunque altra espressione precedentemente
assegnata ad esso come valore o, in assenza di assegnazioni, il simbolo stesso.
La valutazione di unespressione del tipo head(op1,op2,...) consiste nei seguenti passi ricorsivi:
1) si valuta lespressione head; 2) si valutano nellordine tutte le espressioni op1,op2,..., tenendo conto delle eventuali direttive e/o eccezioni dipendenti dal valore di head; 3a) se il valore di
head `e una funzione/procedura applicabile agli argomenti/parametri op1,op2,..., si applica (e si
eseguono le eventuali azioni collaterali che essa comporta, come assegnazioni, operazioni di lettura/scrittura, visualizzazioni di grafici), ottenendo cos` una nuova espressione; 3b) se head non ha
un tale valore, allora lespressione mantiene la forma head(op1,op2,...), dove head resta come
etichetta che determina il tipo dellespressione; 4) dopo 3a si itera il processo di valutazione a partire dallespressione ottenuta, mentre dopo 3b la valutazione ha termine e lespressione ottenuta `e
il risultato finale della valutazione.
` possibile modificare il processo standard di valutazione appena descritto usando le virgoletE
te '' per racchiudere una espressione di cui si voglia impedire la valutazione (per esempio per
passarla non valutata come argomento/parametro di una funzione/procedura). La valutazione di
unespressione tra virgolette pu`
o essere ottenuta con la funzione speciale eval.
Alcune funzioni di sistema ammettono anche una versione inerte (che si comporta cio`e come se fosse
racchiusa tra virgolette ''), denominata nello stesso modo della corrispondete funzione attiva, ma
con liniziale maiuscola invece che minuscola. Per le funzioni di sistema elencate pi`
u avanti, queste
sono le versioni inerti esistenti: Sum, Product, Irreduc, Factor, Factors, Divide, Quo, Rem, Gcd,
Lcm, Roots, Interp, Randpoly, Expand, Normal, Limit, Diff, Int, Eval.
Programmazione
La manipolazione/valutazione di espressioni (algebriche e non) consente di eseguire un calcolo
specifico e/o risolvere un problema particolare. Programmare in Maple significa definire nuove funzioni/procedure, che consentano invece si eseguire unintera classe di calcoli e/o risolvere unintera
classe di problemi, al variare di certi parametri. Analogamente eseguire un programma significa
applicare una tale funzione/procedura a certi valori specifici dei parametri.
In generale la distinzione tra funzione e procedura `e legata al fatto che nel primo caso lattenzione `e
rivolta allespressione risultato finale della valutazione, mentre nel secondo caso `e rivolta alle azioni
collaterali prodotte dalla valutazione. Va detto per`
o che sia le funzioni che le procedure possono
dar luogo ad entrambi gli eetti.
Nellambito di Maple funzioni e procedure si dierenziano sia nella definizione che nella valutazione.
Le funzioni sono definite con una sintassi simile alla notazione matematica sia nella forma implicita (per esempio f(x) := sin(x)/x ) che in quella esplicita (per esempio f := x -> sin(x)/x )
e ammettono anche definizioni in stile dichiarativo mediante loperatore define . Le procedure
adottano invece una sintassi analoga a quella dei linguaggi di programmazione di tipo imperativo (come il linguaggio C). Sia per le funzioni (solo nella forma esplicita) che per le procedure si
pu`
o dichiarare il tipo degli argomenti/parametri. Inoltre loperatore define permette di associare
diverse definizioni a seconda dei tipi degli argomenti.
Per quanto riguarda la valutazione, le funzioni consentono la manipolazione simbolica, anche con
argomenti simbolici per cui non `e possibile la determinazione del valore, mentre ci`
o vale solo in
parte per le procedure. Daltra parte le procedure, a dierenza delle funzioni, consentono una

gestione flessibile dei parametri e luso delloperatore di assegnazione (a variabili locali o globali)
nei calcoli intermedi e/o per lesecuzione di azioni collaterali alla valutazione.
La palette Components consente di inserire nel foglio di lavoro elementi interattivi con i quali si
pu`
o realizzare facilmente una semplice interfaccia grafica per i propri programmi.
Interfacce grafiche pi`
u sofisticate in grado di funzionare anche come applicazioni indipendenti
(chiamate Maplet) possono essere realizzate utilizzando il package Maplets. In questo caso per`
o
linserimento degli elementi interattivi e la defininizione delle loro propriet`
a (caratteristiche e azioni
ad essi associati) deve essere fornita in modo testuale con il formato di input Maple.
Strumenti
Maple `e dotato di un Help in linea molto esteso. In particolare `e possibile ottenere informazioni su
tutte le funzioni di sistema mediante il comando ?nomefunz .
Il men`
u Tools contiene diversi strumenti utili: Tasks, Assistants, Math Apps e Tutor.
I Tasks sono template da incollare nel foglio di lavoro, per lo svolgimento di una grande variet`
a
di calcoli. Gli Assistants sono invece Maplet che forniscono interfacce interattive per eettuare diverse attivit`
a, come lapprossimazione analitica (Curve fitting) e lanalisi statistica (Data
Analysis) di dati numerici, la manipolazione di equazioni (Equation manipulator), la ricerca
di massimi/minimi vincolati di funzioni reali (Optimization), la realizzazione di grafici (Plot
Builder).
Math Apps e Tutor sono rispettivamente documenti Maple con componenti interattive e Maplet
finalizzati ad illustrare concetti matematici a scopo didattico.
Infine lo stesso nem`
u Tools contiene i sottomen`
u Load Package e Unload Package, per caricare
e scaricare estensioni del sistema Maple dedicate ad aspetti specifici. Quelli menzionati di seguito
sono solo alcuni dei numerosi package disponibili.
combinat
funzioni combinatorie, permutazioni e combinazioni, partizioni di interi
CurveFitting
approssimazione analitica di dati numerici
geometry
costruzione e visualizzazione di oggetti geometrici nel piano euclideo
GraphTheory
costruzione, analisi e visualizzazione di grafi
LinearAlgebra manipolazione di vettori e matrici
ListTools
manipolazione di liste
Maplets
strumenti per la creazione di Maplet
Optimization
determinazione numerica di massimi/minimi vincolati di funzioni reali
plots
generazione di diversi tipi di grafici
plottools
generazione e manipolazione di oggetti grafici
StringTools
manipolazione delle stringhe
Statistics
analisi statistica di dati
Student
collezione di package didattici

Oggetti
Numeri
Ci sono diversi tipi di oggetti numerici: integer, rational, float e complex. Il tipo integer
rappresenta i numeri interi con un numero arbitrario di cifre. Il tipo rational `e codificato
come frazione nella forma +n/m.
Il tipo float, per i numeri in virgola mobile, si suddivide in due
sottotipi: sfloat (software float, con precisione arbitraria) e hfloat (hardware float, rappresentato
in 8 byte). I tipi integer, rational e float formano il tipo numeric. Il tipo complex `e
rappresentato nella forma x + yI, dove x e y sono di tipo numeric.

Simboli
Tutti gli oggetti simbolici sono inclusi nel tipo name, che si divide in due sottotipi: symbol per
gli oggetti simbolici atomici e indexed per gli oggetti simbolici con (multi)indici. In entrambi i
casi loggetto `e rappresentato da un nome formato da una parola contenente caratteri alfanumerici
(con distinzione tra lettere maiuscole e minuscole), soggetto alle sole considizioni di iniziare con
una lettera e di non contenere spazi e caratteri speciali riservati agli operatori (+ - * / _ , ;
: . ^ ' " ` % ! ? # $ & @ < > ~ \). Ogni oggetto di tipo symbol pu`
o essere usato come
variabile, associandogli un valore (altrimenti il valore `e lui stesso). Analogamente a un oggetto
di tipo indexed possono essere associati pi`
u valori, uno per ogni scelta del (multi)indice.
Strutture
Le strutture fondamentali sono i tipi set, list, table e rtable. Il tipo set `e usato per rappresentare insiemi finiti. Gli elementi sono ordinati in modo standard (in base alla complessit`
a
e poi allordine numerico/alfabetico) e le ripetizioni sono eliminate. Ogni elemento `e accessibile
mediante un indice intero che ne rappresenta la posizione. Il tipo list `e usato per rappresentare liste di oggetti, cio`e insiemi finiti ordinati, con possibili ripetizioni. Le liste possono avere una
struttura gerarchica ad albero, nel senso che gli elementi di una lista possono a loro volta essere
liste. Ogni elemento `e accessibile mediante un (multi)indice intero che ne rappresenta la posizione.
` analogo al tipo list, con la dierenza che
Il tipo table `e usato per rappresentate tabelle. E
i (multi)indici non sono necessariamente interi, ma possono essere oggetti arbitrari. Il tipo
rtable rappresenta in modo efficiente tabelle rettangolari con (multi)indici interi. Le strutture
Vector, Matrix e Array, che rappresentano vettori, matrici e array multidimensionali, sono implementate come sottotipi di rtable. Le analoghe strutture vector, matrix e array sono invece
implementate come table, ma restano solo per compatibilit`
a con le versioni precedenti.

Espressioni
Costanti numeriche
I
Pi
exp(1)
infinity

e
1

unit`
a immaginaria
pi greco
numero di Nepero
infinito positivo

a + b + ...

addizione

ab ...

moltiplicazione

a b
a/b

sottrazione
divisione

ab

potenza

a mod b
n!

modulo
fattoriale

a=b
a b
ab

uguaglianza
maggiore o uguale
minore o uguale

Operatori aritmetici
a + b + ...
a * b * ...
a b ...
a - b
a / b
a ** b
a ^ b
a mod b
n!

o
o

Relazioni aritmetiche
a = b
a >= b
a <= b

a > b
a < b
a <> b

a>b
a<b
a 6= b

maggiore
minore
disuguaglianza

T
F

vero
falso

p
p ^ q ^ ...
p _ q _ ...
p Y q Y ...
p)q

negazione
congiunzione
disgiunzione
disgiunzione esclusiva
implicazione

A[B
A\B
A B

unione
intersezione
dierenza

a2A
AB

appartenenza
inclusione

Costanti logiche
true
false
Operatori logici
not p
p and q and ...
p or q or ...
p xor q xor ...
p implies q
Operatori insiemistici
A union B
A intersect B
A minus B
Relazioni insiemistiche
a in A
A subset B
Operatori funzionali
x -> fx
g @ f
f @@ n
f', f'', ...

g f
fn = f f
f 0 , f 00 , . . .

...

funzione che associa a x lespressione f (x)

composizione
iterazione n-esima
funzioni derivate

Operatori vettoriali
V1 + V2

somma di vettori

aV

prodotto di uno scalare per un vettore

V1 V2

prodotto scalare tra vettori

MV

prodotto tra una matrice e un vettore (colonna)

M1 + M2

somma di matrici

aM

prodotto di uno scalare per una matrice

M1 M2

prodotto righe per colonne tra matrici

Mn
M 1
M+

matrice potenza
matrice inversa
matrice trasposta

(A|B)

A
B

concatenazione orizzontale di vettori e matrici

V1 + V2
a * V
a V
V1 . V2
V1 V2

M . V
M V
M1 + M2
a * M
a M
M1 . M2
M1 M2
M ^ n
M^(-1)
M^+
hA | Bi
hA , Bi

concatenazione verticale di vettori e matrici

Operatore sequenza
$ n..m
a $ n
ai $ i = m..n

m, . . . , n
a, . . . , a
am , . . . , an

sequenza numerica
sequenza costituita da n volte lespressione a
sequenza di espressioni per i da m a n

Operatore assegnazione
name := expr
name[i,j,...] := expr

assegnazione a un simbolo
assegnazione a un elemento di una struttura

f(x,y,...) := expr
f := (x,y,...) -> expr

definizione implicita di una funzione

definizione esplicita di una funzione

Unit`
a di misura
[[m]]
[[s]]
[[kg]]
[[K]]
[[A]]

metro
secondo
kilogrammo
kelvin
ampere

Parentesi
( )
per
per
[ ]
per
per
{ }
per
h i
per

gli argomenti di funzioni o procedure

indicare la precedenza nelle espressioni
rappresentare le liste e le tabelle
gli indici degli elementi di insiemi, liste, tabelle, vettori e matrici
rappresentare gli insiemi
rappresentare i vettori e le matrici

Punteggiatura
,
tra gli elementi di insiemi (dentro parentesi grae)
tra gli elementi di liste e tabelle (dentro parentesi quadre)
tra gli elementi di vettori colonna e di righe di matrici (dentro parentesi angolari)
tra gli indici di insiemi liste, tabelle, vettori e matrici (dentro parentesi quadre)
tra gli argomenti di funzioni (dentro parentesi tonde)
tra gli elementi di sequenze (senza parentesi)
;
per separare le righe di una matrice (dentro parentesi angolari)
per terminare e concatenare diverse espressioni ...
:
... sopprimendo loutput di quelle precedute dai due punti
::
per specificare il tipo di un simbolo
.
per separare la parte decimale di un numero (senza spazi)
per indicare il prodotto tra array (per esempio prodotto scalare e righe per colonne)
..
per indicare un intervallo di valori
Virgolette
f'
'expr'
`name`
"string"

per
per
per
per

indicare la funzione derivata

ritardare la valutazione dei nomi di un passo
simboli il cui nome contenga spazi o caratteri speciali
rappresentare le stringhe

Spaziatura
Spazi consecutivi valgono come uno solo. Uno spazio tra due espressioni vale come moltiplicazione, eccetto il caso in cui la seconda sia un numero. Gli spazi prima e dopo gli operatori,
le parentesi e la punteggiatura sono trascurati, tranne che prima e dopo il punto (nessuno spazio
per il punto decimale, altrimenti vale come operatore dot) e prima delle parentesi tonde aperte

( f(x,y...) significa applicare la funzione f a x, y, . . ., mentre f (x,y...) vale come prodotto

f (x, y, . . .) ). Unespressione pu`
o essere scritta su pi`
u righe (i ritorni a capo valgono come spazi).

Funzioni di sistema
Numeri interi
isprime(n)
ifactor(n)
ifactors(n)
isqrfree(n)
ithprime(i)
iquo(a,b)
irem(a,b)
igcd(a,b,...)
(a, b, . . . )
ilcm(a,b,...)
[a, b, . . .]
igcdex(a,b,x,y)
isqrt(n)
issqr(n)
n mod m
mod(n,m)
chrem([n1,...,nk],[m1,...,mk])

Numeri razionali
Fraction(n,m)
numer(q)
denom(q)

surd(x,n)

n modulo m (a valori in 0, . . . , m

1)

n t.c. n = ni mod mi (teorema cinese del resto)

frazione n/m
numeratore del numero razionale q
denominatore del numero razionale q

Numeri reali
xen
xEn
Float(x,n)
SFloat(x,n)
HFloat(x,n)
HFloat(x,n,2)
round(x)
trunc(x)
frac(x)
frem(x,y)
fnormal(expr)
fnormal(expr,n)
Numeri complessi
Complex(x,y)
Re(z)
Im(z)
abs(z)
argument(z)

n `e un numero primo?
fattorizzazione del numero intero n
lista dei fattori primi di n
n non ha fattori primi multipli?
i-esimo numero primo
quoziente della divisione tra interi a : b
resto della divisione tra interi a : b (con segno)
massimo comune divisore
minimo comune multiplo
assegna a x e y valori interi t.c. ax + by = (a, b)
radice quadrata intera (approssimata)
n `e un quadrato perfetto?

o
o

x+yi
Re z
Im z
|z |
arg z
p
n
z

numero reale x 10n

numero sfloat x 10n
numero hfloat x 10n
numero hfloat x 2n
arrotondamento intero di x
parte intera di x
parte frazionaria di x
resto della divisione x : y con quoziente intero
normalizza i numeri float nellespressione expr
... valutandoli con n cifre decimali

numero complesso
parte reale del numero complesso z
parte immaginaria del numero complesso z
modulo del numero complesso z
argomento del numero complesso z
radice complessa di z

Conversioni numeriche
convert(x,rational)
convert(x,rational,n)
convert(x,rational,exact)
identify(x)
convert(x,float)
convert(x,float,n)
Float(x)
SFloat(x)
HFloat(x)
Funzioni aritmetiche
Pn
add(ai,i = m..n)
a
o Pi=m i
add(ai,i = S)
i2S ai
add(ai,i in S)
sum(ai,i = m..n)
Qn
mul(ai,i = m..n)
a
o Qi=m i
mul(ai,i = S)
i2S ai
mul(ai,i in S)
product(ai,i = m..n)
factorial(n)
n!
max(a,b,...)
max{a, b, . . .}
min(a,b,...)
min{a, b, . . .}
Polinomi
ispoly(p,n,x)
ispoly(p,n,x,a0,a1,...,an)
degree(p,x)
ldegree(p,x)
coeff(p,x,n)
sort(p,opts)
irreduc(p)
irreduc(p,K)
factor(p)
factor(p,K)
factors(p)
factors(p,K)
quo(p,q,x)
rem(p,q,x)
divide(p,q)
gcd(p,q,...)
lcm(p,q,...)
discrim(p,x)
compoly(p,x)
roots(p,x)
roots(p,x,K)
RootOf(p,x)
interp([x1,...,xn],[y1,...yn],x)
randpoly(x,y,...,opts)

approssimazione razionale di x
approssimazione razionale di x con n cifre
approssimazione razionale di x con tutte le cifre
approssimazione di x in forma chiusa
conversione di x in float
conversione di x in float con n cifre decimali
conversione di x in sfloat
conversione di x in hfloat

sommatoria per i da m a n (con m e n numeri)

sommatoria al variare di i in S (insieme o lista finiti)
sommatoria anche con limiti simbolici o infiniti
produttoria per i da m a n
produttoria al variare di i in S (insieme o lista)
produttoria anche con limiti simbolici o infiniti
fattoriale
massimo
minimo

p `e un polinomio di grado n in x?
... se s`, assegna i coefficienti alle variabili a0 , . . . , an
grado del polinomio p rispetto ad x
minimo esponente di x del polinomio p
coefficiente di xn nel polinomio p
ordina i termini del polinomio p
il polinomio p `e irriducibile?
p `e irriducibile sul campo K?
fattorizzazione del polinomio p
fattorizzazione di p sul campo K
lista dei fattori irriducibili del polinomio p
lista dei fattori irriducibili di p sul campo K
quoziente della divisione p(x) : q(x)
resto della divisione p(x) : q(x)
il polinomio p `e divisibile per il polinomio q?
massimo comune divisore di polinomi
minimo comune multiplo di polinomi
discriminante del polinomio p(x)
cerca q e r polinomi t.c. p(x) = q(r(x))
lista delle radici del polinomio p(x)
lista delle radici di p(x) sul campo K
radici formali del polinomio p(x)
polinomio interpolante p(x) t.c. p(xi ) = yi
polinomio random nelle indeterminate x, y, . . .

Espressioni algebriche
indets(expr)
indets(expr,type)
depends(expr,x)
numer(expr)
denom(expr)
normal(expr)
normal(expr,expanded)
radnormal(expr,opts)
rationalize(expr)
expand(expr)
expand(expr,expr1,...,exprn)
collect(expr,x)
collect(expr,{x1,...,xn})
combine(expr)
combine(expr,type)
combine(expr,type,symbolic)
algsubs(a = b,expr,opts)
subsindets(expr,type,f)
simplify(expr)
simplify(expr,r1,r2,...)
simplify(expr,a1 = b1,a2 = b2,...)
simplify(expr,assume = prop)
simplify(expr,symbolic)
match(expr = pat,{v1,v2,...},opts)
expr assuming p1,p2,...

insieme delle indeterminate in expr

insieme delle indeterminate in expr di tipo type
expr dipende dallindeterminata x?
numeratore dellespressione expr
denominatore dellespressione expr
forma normale di expr come espressione razionale
... con numeratore e denominatore espansi
forma normale di expr espressione con radicali
razionalizza il denominatore di expr
espande lespressione expr (in particolare i prodotti)
espande expr, ma non le sottoespressioni expri
raccoglie le potenze di x nellespressione expr
raccoglie le potenze di x1 , . . . , xn in expr
combina termini nellespressione expr
combina termini di tipo type in expr
... consente combinazioni simboliche
sostituzione algebrica di a con b in expr
applica f alle occorrenze di tipo type in expr
semplifica expr usando regole di sistema
... usando solo le regole di sistema r1 , r2 , . . .
... usando le equazioni ai = bi
... assumendo la propriet`
a prop per le indeterminate
... consentendo semplificazioni simboliche
tenta di identificare lespressione expr con il pattern
pat assumendo v1 , v2 , . . . come variabili libere
valuta lespressione expr assumendo le propriet`
a pi

Funzioni elementari
abs(x)
signum(x)
floor(x)
ceil(x)

funzione valore assoluto

funzione segno
massimo intero x
minimo intero x

|x|
sgn(x)
bxc
dxe
p
x
op
n
x

sqrt(x)
root(x,n)
root[n](x)
exp(x)
ex
a^x
ax
o
ln(x)
log x
log(x)
log[a](x)
loga x
sin(x) cos(x) tan(x)
sec(x) csc(x) cot(x)
arcsin(x) arccos(x) arctan(x)
arcsec(x) arccsc(x) arccot(x)
arctan(y,x)
sinh(x) cosh(x) tanh(x)
sech(x) csch(x) coth(x)
arcsinh(x) arccosh(x) arctanh(x)
arcsech(x) arccsch(x) arccoth(x)

radice quadrata
radice n-esima
funzione esponenziale naturale
funzione esponenziale con base a
logaritmo naturale
o

logaritmo in base a
funzioni goniometriche

funzioni goniometriche inverse

funzioni goniometriche iperboliche

arcotangente di y/x a valori in ( , + ]

funzioni goniometriche iperboliche inverse

Operatori funzionali
vars -> expr
unapply(expr,vars,opts)
apply(f,vars)
define(f,r1,r2,...)
definemore(f,r1,r2,...)
undefine(f)

funzione data dallespressione expr con variabili vars

applica la funzione f alle variabili vars
definisce la funzione f mediante le regole r1 , r2 , . . .
... aggiunge alla definizione le ulteriori regole r1 , r2 , . . .
elimina tutte le regole associate a f

Calcolo
limit(expr,x = a)
limx!a expr
limit(expr,x = a,dir)
limx!a expr
iscont(expr,x = a..b)
iscont(expr,x = a..b,closed)
discont(expr,x)

limite per x ! a dellespressione expr

limiti destro e sinistro di expr
lespressione expr `e continua rispetto a x in (a, b)?
lespressione expr `e continua rispetto a x in [a, b]?
insieme delle discontinuit`
a di expr rispetto a x

isdifferentiable(expr,x,k)
isdifferentiable(expr,x,k,s)

lespressione expr `e di classe C k rispetto a x?

... se no, assegna a s la classe h < k e le singolarit`
a

diff(expr,x1,...,xk)
abs(k,x)
signum(k,x)
floor(k,x)
ceil(k,x)

@ kexpr/@xk . . .@x1
dk |x| /dxk
dk sgn(x)/dxk
dk bxc/dxk
dk dxe/dxk

derivata
derivata
derivata
derivata
derivata

parziale di expr rispetto a x1 , . . . , xk

k-esima della funzione valore assoluto
k-esima della funzione segno
k-esima della funzione b c
k-esima della funzione d e

D[i1,...,ik](f)
@ kf/@xik . . .@xi1
D[i1,...,ik](f)(x1,...,xn)
minimize(expr,vars,opts)
maximize(expr,vars,opts)
extrema(expr,{eq1,...,eqm},vars)
extrema(expr,{eq1,...,eqm},vars,p)
taylor(expr,x = a,n)
coeftayl(expr,x = a,k)
order(s)
R
int(expr,x,opts)
R bexpr dx
int(expr,x = a..b,opts) a expr dx
int(expr,[x,y,...],opts)
int(expr,[x = a..b,y = c..d,...],opts)

funzione derivata di f rispetto a xi1 , . . . , xik

... applicata al punto (x1 , . . . , xn )
minimizza expr rispetto alle variabili vars
massimizza expr rispetto alle variabili vars
estremi vincolati di expr rispetto alle variabili vars
... assegna i corrispondenti punti del dominio a p
serie di Taylor di expr in x = a fino allordine n
k-esimo coefficiente della serie di Taylor
ordine di troncamento della serie s
integrale indefinito di expr rispetto a x
integrale definito di expr rispetto a x in [a, b]
integrale indefinito multiplo di expr
integrale definito multiplo di expr

Vettori e matrici
Vector([x1,...,xn])
Vector(n,init,opts)
Matrix([[x11,...],...,[...,xnm]])
Matrix(n,m,init,opts)
v[i]
v[i..j]
m[i,j]
m[i1..i2,j1..j2]

vettore (x1 , . . . , xn )
vettore di dimensione n inizializzato con init
matrice (xi,j )i=1,...,n,j=1,...,m
matrice n m inizializzata con init
i-esima componente del vettore v
componenti del vettore v dalli-esima alla j-esima
elemento di indice (i, j) nella matrice m
sottomatrice di m con indici da (i1 , j1 ) a (i2 , j2 )

Package LinearAlgebra
Dimension(V)
DotProduct(V1,V2)
CrossProduct(V1,V2)

dimensione del vettore V

prodotto scalare
prodotto vettoriale

V1 V2
V1 V2

Dimension(M)
Determinant(M)
DotProduct(M1,M2)
DotProduct(M,V)

det M
M1 M2
MV

Equazioni
lhs(eqn)
rhs(eqn)
isolate(eqn,expr,opts)
eliminate(eqns,vars)
solve(eqns,vars,opts)
fsolve(eqns,vars,opts)
isolve(eqns)
msolve(eqns,m)
rsolve(eqns,vars,opts)
dsolve(eqns,y(x),opts)
odetest(sol,eqns,y(x),opts)
intsolve(eqns,y(x),opts)
Equate(a,b)
Grafica
plot(fx,x = a..b,opts)
plot(hx1,...,xni,hy1,...,yni,opts)
plot([x,y,t = a..b],opts)
plot([[x1,y1],...,[xn,yn]],opts)
plot3d(fxy,x = a..b,y = c..d,opts)
plot3d([x,y,z],t = a..b,s = c..d,opts)
Package plots
display(gr1,gr2,...,opts)
animate(p,args,t = a..b,opts)
contourplot(expr,x = a..b,y = c..d,opts)
contourplot3d(expr,...,opts)
fieldplot([vx,vy],vars,opts)
fieldplot3d([vx,vy,vz],vars,opts)
implicitplot(eq,vars,opts)
implicitplot3d(eq,vars,opts)
spacecurve([x,y,z],t = a..b,opts)
tubeplot(c,opts)

dimensioni della matrice M

determinante
prodotto righe per colonne
prodotto matrice vettore

primo membro dellequazione eqn

secondo membro dellequazione eqn
isola expr al primo membro dellequazione eqn
elimina le variabili vars dalle equazioni eqns
soluzioni delle equazioni eqns nelle incognite vars
ricerca le soluzioni mediante metodi numerici
soluzioni intere delle equazioni eqns
soluzioni intere modulo m delle equazioni eqns
soluzione delle equazioni eqns per ricorrenza
soluzione delle equazioni dierenziali eqns
... verifica della soluzione sol per eqns
soluzione delle equazioni integrali eqns
uguaglia le componenti di liste/vettori/matrici/array

grafico di f (x) al variare di x in [a, b]

grafico per punti (x1 , y1 ), . . . , (xn , yn )
curva piana (x(t), y(t)) al variare di t in [a, b]
curva piana per punti (x1 , y1 ), . . . , (xn , yn )
grafico di f (x, y) al variare di (x, y) in [a, b] [c, d]
superficie nello spazio (x(t, s), y(t, s), z(t, s))
al variare di (t, s) in [a, b] [c, d]
visualizza i plot o oggetti grafici gr1 , gr2 , . . .
animazione del plot p(args) al variare di t 2 [a, b]
curve di livello di expr con (x, y) 2 [a, b] [c, d]
... versione 3D (con valori nella terza dimensione)
campo di vettori (vx, vy) nel piano
campo di vettori (vx, vy, vz) nello spazio
curva di equazione eq nel piano
superficie di equazione eq nello spazio
curva (x(t), y(t), z(t)) al variare di t in [a, b]
superficie tubolare della curva c nello spazio

Package plottools
point([x,y],opts)
punto nel piano di coordinate (x, y)
point([x,y,z],opts)
punto nello spazio di coordinate (x, y, z)
curve([[x1,y1],...,[xn,yn]],opts)
poligonale nel piano di vertici (xi , yi )
curve([[x1,y1,z1],...,[xn,yn,zn]],opts poligonale nello spazio di vertici (xi , yi , zi )
polygon([[x1,y1],...,[xn,yn]],opts)
poligono nel piano di vertici (xi , yi )
polygon([[x1,y1,z1],...,[xn,yn,zn]],opts) poligono nello spazio di vertici (xi , yi , zi )
line([x1,y1],[x2,y2],opts)
segmento di estremi (x1 , y1 ) e (x2 , y2 )

rettangolo di vertici (x1 , y1 ) e (x2 , y2 )

circonferenza di centro (x0 , y0 ) e raggio r
cerchio di centro (x0 , y0 ) e raggio r
arco circolare di centro (x0 , y0 ) e raggio r
settore circolare di centro (x0 , y0 ) tra i raggi r1 e r2
applica la trasformazione f alloggetto grafico gr

rectangle([x1,y1],[x2,y2],opts)
circle([x0,y0],r,opts)
disk([x0,y0],r,opts)
arc([x0,y0],r,a..b,opts)
sector([x0,y0],r1..r2,a..b,opts)
transform(f)(gr)
Simboli
cat(a,b,...)
assign(s1 = expr1,s2 = expr2,...)
unassign('s1','s2',...)
assigned(s)
anames();
anames(user);
anames(type);
protect(s1,s2,...)
unprotect(s1,s2,...)
setattribute(s,a1,a2,...)
attributes(s)
assume(x1,p1,x2,p2,...)
assume(x1::t1,x2::t2,...)
assume(rel1,rel2,...)
additionally(x1,p1,x2,p2,...)
additionally(x1::t1,x2::t2,...)
additionally(rel1,rel2,...)
about(s)
hasassumptions(s)
getassumptions(s)
AndProp(p1,p2,...)
OrProp(p1,p2,...)
Non(p)
Tabelle e array
table([v1,v2,...])
table([i1 = v1,i2 = v2,...])
rtable(dims,init,opts)
Array(dims,init,opts)
a[i]
a[i..j]
a[i,j,...]
copy(t)
numelems(t)
indices(t)
entries(t,opts)
lowerbound(a,n)
upperbound(a,n)
ArrayNumDims(a)
ArrayDims(a)
ArrayNumElems(a,opts)

simbolo ab . . . ottenuto per concatenazione

eettua le assegnazioni si := expri
rimuove le assegnazioni ai simboli s1 , s2 , . . .
il simbolo s ha assegnato un valore?
sequenza dei simboli ai quali `e associato un valore
sequenza dei simboli definiti dallutente
sequenza dei simboli definiti di tipo type
protegge i simboli s1 , s2 , . . . da modifiche
elimina la protezione dei simboli s1 , s2 , . . .
associa al simbolo s gli attributi a1 , a2 , . . .
sequenza degli attributi del simbolo s
assume che il simbolo xi soddisfi la propriet`
a pi
assume che il simbolo xi sia del tipo ti
assume le relazioni reli valide per i simboli presenti
9
>
=
>
;

ulteriori assunzioni (come sopra)

informazioni sulle assunzioni associate al simbolo s

il simbolo s ha assunzioni associate?
insieme delle assunzioni associate al simbolo s
propriet`
a data dalla congiunzione di p1 , p2 , . . .
propriet`
a data dalla come disgiunzione di p1 , p2 , . . .
propriet`
a data dalla negazione di p

table con valore iniziale v1 , v2 , . . .

table con valore iniziale vi1 , vi2 , . . .
rtable di dimensioni dims con valori iniziali inits
array di dimensioni dims con valori iniziali inits
valore di indice i nellarray/rtable/table a
valori di indici i a j nellarray/rtable a
valore di indice (i, j, . . . ) nellarray/rtable a
genera una copia della table/rtable/array t
numero degli elementi della table/rtable/array t
sequenza degli indici della table/rtable/array t
sequenza dei valori della table/rtable/array t
indice minimo nella n-esima dimensione dellarray a
indice massimo nella n-esima dimensione dellarray a
numero delle dimensioni dellarray a
range di variabilit`
a degli indici i dellarray a
numero degli valori vi dellarray a

ArrayElems(a)
comparray(a,b,opts)
Sequenze, liste e insiemi
x1,x2,...
x1 , x2 , . . .
seq(m..n)
m, . . . , n
seq(f,i = m..n)
f (m), . . . , f (n)
o
seq(f,i = S)
f (i) | i 2 S
seq(f,i in S)
[x1,x2,...]
(x1 , x2 , . . . )
{x1,x2,...}
{x1 , x2 , . . .}
l[i]
l[i..j]
l[i,j,...]
sort(l)
sort(l,ord)
zip(f,l1,l2)
union(S1,S2,...)
S1 [ S2 [ . . .
intersect(S1,S2,...)
S1 \ S2 \ . . .
symmdiff(S1,S2,...)
minus(S1,S2)
S1 S2
subset(S1,S2)
S1 S2
x in S
x2S
x in SetOf(t)
Espressioni
NULL
length(expr)
op(expr)
nops(expr)
op(i,expr)
op(i..j,expr)
op([i,j,...],expr)
member(x,expr)
membertype(t,expr)
has(expr,x)
hasfun(expr,f)
hasfun(expr,f,x)
numboccur(expr,x)
select(p,expr,t1,t2,...)
remove(p,expr,t1,t2,...)
subsop(i1 = x1,i2 = x2,...,expr)
applyop(f,i,expr,opts)
map(f,expr)
map(f,expr,x1,x2,...)
map[i](f,x1,...,expr,xi,...)

insieme degli elementi di a nella forma {i = vi }i

confronta i valori degli array/rtable/table a e b

sequenza ordinata
sequenza di interi da m a n
sequenza di espressioni f (i) al variare di i da m a n
sequenza di espressioni f (i) al variare di i in S
lista (= insieme ordinato) degli elementi x1 , x2 , . . .
insieme degli elementi x1 , x2 , . . .
i-esimo elemento della lista/insieme/sequenza l
elementi di l dalli-esimo al j-esimo
elemento di posizione (i, j, . . . ) nella lista l
ordina la lista l rispetto allordine standard
ordina la lista l rispetto allordine ord
lista [f (xi , yi )] con xi nella lista l1 e yi nella lista l2
unione degli insiemi S1 , S2 , . . .
intersezione degli insiemi S1 , S2 , . . .
dierenza simmetrica degli insiemi S1 , S2 , . . .
dierenza tra gli insiemi S1 e S2
S1 `e sottoinsieme di S2 ?
x appartiene allinsieme/lista S?
x appartiene allinsieme degli oggetti di tipo t?

espressione nulla
lunghezza (= complessit`
a) dellespressione expr
sequenza degli operando dellespressione expr
numero degli operandi dellespressione expr
i-esimo operando dellespressione expr
operandi di expr dalli-esimo allo j-esimo
operando di expr nella posizione (i, j, . . . )
expr ha x tra i suoi operandi?
expr ha un operando di tipo t?
expr contiene x?
expr contiene f come funzione?
expr contiene f funzione con x nellargomento?
numero di occorrenze di x nellespressione expr
elimina dallespressione expr gli operandi x
che non soddisfano la propriet`
a p(x, t1 , t2 , . . . )
elimina dallespressione expr gli operandi x
che soddisfano la propriet`
a p(x, t1 , t2 , . . . )
sostituisce lik -esimo operando di expr con xk
applica la funzione f alli-esimo operando di expr
applica la funzione f agli operandi di expr
applica x ! f (x, x1 , x2 , . . .) agli operandi di expr
applica x ! f (x1 , . . . , x, xi , . . .) agli operandi di expr

sostituisce ogni occorrenza di ai in expr con bi

applica iterativamente le regole ai ! bi in expr
expr1 o expr2 a seconda che cond sia vera o falsa
espressione con valore expri se vale la condizione ci
p(x, x1 , x2 , . . . ) vale per ogni operando x di expr?
p(x, x1 , x2 , . . . ) vale per qualche operando x di expr?
converte lespressione expr nella forma form

subs(a1 = b1,a2 = b2,...,expr)

applyrule(a1 = b1,a2 = b2,...,expr)
if(cond,expr1,expr2)
piecewise(c1,expr1,c2,expr2,...,exprn)
andmap(p,expr,x1,x2,...)
ormap(p,expr,x1,x2,...)
convert(expr,form,opts)
Tipi e pattern
x::t
subtype(s,t)
whattype(expr)
type(expr,t)
hastype(expr,t,opts)
patmatch(expr,pat,opts)
typematch(expr,pat,opts)

simbolo x di tipo t
s `e un sottotipo del tipo t?
tipo principale dellespressione expr
lespressione expr `e di tipo t?
expr contiene una sottoespressione di tipo t?
lespressione expr corrisponde al pattern pat?
expr corrisponde al pattern pat in base ai tipi?
In base alle assunzioni sulle indeterminate ...
... lespressione expr soddisfa la propriet`
a p?
... lespressione expr `e di tipo t?
... la relazione rel `e soddisfatta?
Per qualche valore delle indeterminate ...
... lespressione expr pu`
o soddisfare la propriet`
a p?
... lespressione expr pu`
o essere di tipo t?
... la relazione rel pu`
o essere soddisfatta?

is(expr,p)
is(expr::t)
is(rel)
coulditbe(expr,p)
coulditbe(expr::t)
coulditbe(rel)
Valutazione
expr assuming p1,p2,...
eval(expr)
eval(expr,{a1 = b1,a2 = b2,...})
evalb(expr)
evalf(expression)
evalf[n](expression)
evalhf(expr)
evalc(expr)
evalindets(expr,t,f,x1,x2,...)

expr valutata assumendo le propriet`

a pi
valutazione completa dellespressione expr
valutazione dellespressione expr ponendo ai = bi
valutazione di expr come espressione booleana
valutazione di expr usando laritmetica float
... con n cifre decimali
valutazione di expr usando laritmetica hfloat
valutazione simbolica di expr sui complessi
valuta lespressione expr sostituendo
le sottoespressioni x di tipo t con f (x, x1 , x2 , . . . )
valuta expr rendendo attive le funzioni inerti
versione congelata dellespressione expr
valuta expr scongelando le parti congelate

value(expr)
freeze(expr)
thaw(expr)
Stringhe
length(s)
cat(s1,s2,...)
s[m..n]
substring(s,m..n)
searchtext(t,s)
SearchText(t,s)
parse(s,opts)

lunghezza della stringa s

concatenazione delle stringhe s1 , s2 , . . .
sottostringa di s dalla posizione m alla posizione n
cerca il testo t nella stringa s (maiuscole = minuscole)
cerca il testo t nella stringa s (maiuscole 6= minuscole)
converte la stringa s in espressione

Package StringTools
Char(n)
Ord(c)
Search(t,s)
SearchAll(t,s)
Substitute(s,t1,t2)
SubstituteAll(s,t1,t2)
Select(p,s)
Remove(p,s)
Split(s,opts)
LengthSplit(s,n,opts)
Strutture dati
stack[new](x1,x2,...)
stack[push](x,s)
stack[pop](s)
stack[top](s)
stack[depth](s)
stack[empty](s)
heap[new](ord,x1,x2,...)

carattere con codice ASCII n

codice ASCII del carattere c
prima posizione della stringa t come sottostringa di s
posizioni della stringa t come sottostringa di s
sostituisce la prima sottostringa t1 con t2 in s
sostituisce tutte le sottostringhe t1 con t2 in s
sottostringa dei caratteri di s con la propriet`
ap
... sottostringa degli altri caratteri di s
lista delle sottostringhe parole di s
spezza s in sottostringhe di lunghezza n

heap[insert](x,h)
heap[extract](h)
heap[max](h)
heap[size](h)
heap[empty](h)
queue[new](x1,x2,...)
queue[enqueue](q,x)
queue[dequeue](q)
queue[front](q)
queue[clear](q)
queue[reverse](q)
queue[length](q)
queue[empty](q)

genera un nuovo stack inzializzato con x1 , x2 , . . .

aggiunge lelemento x allo stack s
estrae lelemento in cima allo stack s
elemento in cima allo stack s
altezza dello stack s
lo stack s `e vuoto?
genera un nuovo heap inzializzato con x1 , x2 , . . .
che utilizza la relazione dordine totale ord
inserisce lelemento x allheap h
estrae lultimo elemento dallheap h
ultimo elemento dellheap h
numero di elementi nellheap h
lheap h `e vuoto?
genera una nuova queue inzializzata con x1 , x2 , . . .
inserisce x in fondo alla queue q
astrae il primo elemento dalla queue q
primo elemento della queue q
svuota la queue q
inverte lordine della queue q
lunghezza della queue q
la queue q `e vuota?

Input-Output
currentdir()
currentdir(dir)
open(f,READ)
open(f,WRITE)
close(f1,f2,...)
fopen(f,RAED,opts)
fopen(f,WRITE,opts)
fopen(f,APPEND,opts)
fflush(f1,f2,...)
fclose(f1,f2,...)
fremove(f1,f2,...)
feof(f)
readbytes(f,n,opts)
readbytes(f,rtable)

directory corrente
imposta dir come directory corrente
apre il file f in lettura senza buer
apre il file f in scrittura senza buer
chiude i file f1 , f2 , . . .
apre il file f in lettura con buer
apre il file f in scrittura con buer
apre il file f in scrittura con buer
scrive il contenuto dei buer nei file f1 , f2 , . . .
chiude i file f1 , f2 , . . .
rimuove i file f1 , f2 , . . .
la posizione corrente nel file f `e terminale?
legge n byte dal file f
legge il contenuto della struttura rtable dal file f

readline(f)

legge una riga dal file f

fscanf(f,fmt)
sscanf(s,fmt)

legge dal file f secondo il formato fmt

legge dalla stringa s secondo il formato fmt

fprintf(f,fmt,a,b,...)
sprintf(fmt,a,b,...)

scrive a, b, . . . nel file f secondo il formato fmt

scrive a, b, . . . come stringa secondo il formato fmt

ImportVector(f,opts)
ImportMatrix(f,opts)
ExportVector(f,V,opts)
ExportMatrix(f,M,opts)

importa un vettore dal file f

importa una matrice dal file f
esporta il vettore V nel file f
esporta la matrice M nel file f

read f
save a,b,...,f

legge comandi dal file f

salva i valori delle variabili a, b, ... nel file f

Procedure
procedura di tipo t con argomenti descritti dalla sequenza paramSeq
variabili locali descritte dalla sequenza localSeq
variabili global descritte dalla sequenza globalSeq
sequenza delle opzioni (remember per generare una remember table)
descrizione opzionale della procedura
usesSeq `e la sequenza dei moduli e package usati dalla procedura
comandi che formano il corpo eseguibile della procedura

proc(paramSeq)::t;
local localSeq;
global globalSeq;
option optionSeq;
description descrSeq;
uses usesSeq;
statements
end proc;
if expr1 then
statments1
elif expr2 then
statments2
...
else
statementn
end if
while expr
do statements end do;
for i from m by j to n
do statements end do;
for i in I
do statements end do;
break

9
>
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
>
;

struttura if

struttura while

ciclo con i che varia in I (insieme o lista)

ciclo con i che varia da m a n con incremento j (opzionale)

per uscire da un ciclo prima della fine

next

per saltare al passo successivo del ciclo

return expr1,expr2,...

per uscire dalla procedura con la sequenza di valori expr1 , expr2 , . . .

Moduli
module()
export s1,s2,...;
local localSeq;
global globalseq;
option optionSeq;
description descrSeq;
uses usesSeq;
statements
end module
exports(mod)
mod:-fp

modulo ( = contenitore di definizioni)

s1 , s2 , . . . sono i simboli le cui definizioni sono visibili allesterno
variabili locali descritte dalla sequenza localSeq
variabili global descritte dalla sequenza globalSeq
sequenza delle opzioni (remember per generare una remember table)
descrizione opzionale della procedura
usesSeq `e la sequenza dei moduli e package usati dalla procedura
corpo eseguibile del modulo contenente le definizioni di s1 , s2 , . . .
sequenza dei simboli definiti ed esportati dal modulo mod
funzione/procedura esportata dal modulo mod

Package
packages()
with(pack)
with(pack,fp1,fp2,...)
unwith(pack)
pack[fp]

lista dei package caricati

carica il package pack
carica le funzioni/procedure fp1 , fp2 , . . . del package pack
rimuove le definizioni caricate dal package pack
funzione/procedura fp del package pack
(richiamata anche senza aver caricato il package pack)