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

Parent Directory | Revision Log

---

Revision 63 - (view) (download)
Original Path: trunk/src/basis/TYPES

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