Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/benchmarks/programs/b-hut/vector-sig.sml
ViewVC logotype

Annotation of /sml/trunk/benchmarks/programs/b-hut/vector-sig.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 193 - (view) (download)

1 : monnier 193 (* vector-sig.sml
2 :     *
3 :     * COPYRIGHT (c) 1993, AT&T Bell Laboratories.
4 :     *
5 :     * The abstract interface of vectors and matrices in some dimension.
6 :     *)
7 :    
8 :     signature VECTOR =
9 :     sig
10 :     type 'a vec
11 :    
12 :     val dim : int (* dimension of the vectors *)
13 :    
14 :     val tabulate : (int -> 'a) -> 'a vec
15 :    
16 :     val equal : real vec * real vec -> bool
17 :     val zerov : real vec
18 :     val addv : (real vec * real vec) -> real vec
19 :     val subv : (real vec * real vec) -> real vec
20 :     val dotvp : (real vec * real vec) -> real
21 :     val crossvp : (real vec * real vec) -> real vec
22 :     val addvs : (real vec * real) -> real vec
23 :     val mulvs : (real vec * real) -> real vec
24 :     val divvs : (real vec * real) -> real vec
25 :    
26 :     val mapv : ('a -> 'b) -> 'a vec -> 'b vec
27 :     val map3v : (('a * 'b * 'c) -> 'd) -> ('a vec * 'b vec * 'c vec) -> 'd vec
28 :     val foldv : ('a * 'b -> 'b) -> 'a vec -> 'b -> 'b
29 :     val format : {lp : string, sep : string, rp : string, cvt : 'a -> string}
30 :     -> 'a vec -> string
31 :     val explode : 'a vec -> 'a list
32 :     val implode : 'a list -> 'a vec
33 :    
34 :     type matrix (* matrices are always real valued *)
35 :    
36 :     val zerom : matrix
37 :     val addm : (matrix * matrix) -> matrix
38 :     val outvp : (real vec * real vec) -> matrix
39 :    
40 :     end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0