Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /trunk/src/compiler/basis/TYPES
ViewVC logotype

Annotation of /trunk/src/compiler/basis/TYPES

Parent Directory Parent Directory | Revision Log Revision Log


Revision 110 - (view) (download)

1 : jhr 60 Generic operator/function types
2 :    
3 :     k -- integer that specifies differentiability
4 :     (d) -- integer dimension (indices range from 0..d-1)
5 :     [d] -- order-1 tensor shape
6 :     [dd] -- tensor shape (sequence of integers; order is sequence length)
7 :    
8 :     //// - : tensor[dd] * tensor[dd] -> tensor[dd]
9 :     //// - : tensor[dd] -> tensor[dd]
10 :     //// @ : field#k(d)[dd] * real(d) -> tensor[dd]
11 :     //// * : real * real -> real
12 :     //// * : real * tensor[dd] -> tensor[dd]
13 :     //// * : tensor[dd] * real -> tensor[dd]
14 :     //// / : tensor[dd] * real -> tensor[dd]
15 :     //// && : bool * bool -> bool
16 :     //// + : int * int -> int
17 :     //// + : tensor[dd] * tensor[dd] -> tensor[dd]
18 :     //// < : real * real -> bool
19 :     //// > : real * real -> bool
20 :     //// |()| : tensor[dd] -> real
21 :     //// || : bool * bool -> bool
22 :     //// CL : tensor[3,3] -> real
23 :     //// D : field#k(d)[dd] -> field#(k-1)(d)[dd,d]
24 : jhr 63 //// convolve : image(d)[dd] * kernel#k -> field#k(d)[dd]
25 : jhr 60 //// dot : tensor[d] * tensor[d] -> real
26 :     //// modulate : vec3 * vec3 -> vec3
27 :     //// pow : real * real -> real
28 :     //// principleEvec : tensor[d,d] -> tensor[d]
29 :    
30 :     Specific type instances
31 :    
32 :     //// principleEvec : tensor[3,3] -> vec3
33 :     //// * : real * vec3 -> vec3
34 :     //// @ : field * vec -> tensor[3,3]
35 :     //// CL : tensor[3,3] -> real
36 :     //// < : real * real -> bool
37 :     //// dot : vec3 * vec3 -> real
38 :     //// - : vec3 -> vec3
39 :     //// * : real * real -> real
40 :     //// * : real * vec3 -> vec3
41 :     //// + : vec3 * vec3 -> vec3
42 :     //// + : int * int -> int
43 :     //// > : real * real -> bool
44 :     //// && : bool * bool -> bool
45 :     //// + : vec3 * vec3 -> vec3
46 :     //// |()| : vec -> real
47 :     //// - : vec3 * vec3 -> vec3
48 :     //// / : vec3 * real -> vec3
49 :     //// @ : field * vec3 -> real
50 :     //// D : field -> field
51 :     //// dot : vec3 * vec3 -> real
52 :     //// * : real * vec3 -> vec3
53 :     //// modulate : vec3 * vec3 -> vec3
54 :     //// + : vec3 * vec3 -> vec3
55 :     //// pow : real * real -> real
56 :     //// * : real * real -> real
57 :     //// - : real * real -> real
58 :     //// > : real * real -> bool
59 :     //// < : real * real -> bool
60 :     //// || : bool * bool -> bool

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