20 lines
666 B
Plaintext
20 lines
666 B
Plaintext
SIGNATURE Sequences
|
|
|
|
IMPORT Nat COMPLETELY
|
|
IMPORT Seq[nat] COMPLETELY
|
|
IMPORT Real COMPLETELY
|
|
IMPORT Seq[real] COMPLETELY
|
|
|
|
/* Berechnet das Skalarprodukt zweier als Sequenzen uebergebener Vektoren
|
|
Die beiden Sequenzen sollten die gleiche Laenge haben */
|
|
FUN scalar : seq[nat]**seq[nat] -> nat
|
|
|
|
|
|
/* Erzeugt eine Sequenz mit den Elementen 1..n oder eine leere Sequenz, wenn 0 uebergeben wird */
|
|
FUN genList : nat -> seq[nat]
|
|
|
|
/* Berechnet ein Polynom unter Verwendung des Horner-Schemas
|
|
Uebergeben werden hierbei die Koeffizienten (((a)*x+b)*x+c)*x+d als Sequenz <a,b,c,d> und x als
|
|
zweiter Parameter */
|
|
FUN horner : seq[real]**real -> real
|